TCP Puzzlers (2016)
TCP Puzzlers | Triton DataCenter TCP Puzzlers It’s been said that we don’t really understand a system until we understand how it fails. Despite having written a (toy) TCP implementation in college and then working for several years in industry, I’m continuing to learn more deeply how TCP works — and how it fails. What’s […]
Winteracter – The Fortran GUI Toolset
Error: Javascript not enabled. This web site relies on support for Javascript. Either your browser does not support Javscript or it has Javascript support disabled. Please upgrade your browser or enable Javascript support. Welcome to the Winteracter home page. Developed in the UK by Interactive Software Services Ltd., Winteracter is a GUI toolset for the […]
A collection of learning resources for curious software engineers
{{ message }} This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository. You can’t perform that action at this time.
GALA3D: Towards Text-to-3D Complex Scene Generation
A bedroom with a bed, two wooden nightstands, a square wooden table with a table lamp on it, and a wooden wardrobe A cat lies on a plank of wood suspended from two balloons Chess is on the table next to two stones A Victorian style wooden chair on an oak floor with a Ficus […]
Patent Absurdity
Kode Vicious – @kode_vicious September 29, 2021Volume 19, issue 4 PDF Kode Vicious A case when ignorance is the best policy Dear KV, I had been reading through a bunch of patents related to some code I’m writing so I could avoid coding up something that was known to be patented. This seemed to […]
Why is Prettier rock solid?
I’ve always wondered why Prettier is so good. Yes, it learnt from gofmt what to do (note that gofmt doesn’t indent, which is the hard part). Yes, it was announced in a real life conference, which helped get the initial momentum behind it. All that is fine, but what was a bit inexplicable to me […]
Pulsar, the best code editor since Atom
The key to being productive as a programmer is to have a great code editor. I have been an avid user of Atom since 2014, and its successor Pulsar since now in 2023. The best code editor came from GitHub Atom the code editor was created by Nathan Sobo, who joined GitHub in 2011 specifically […]
Towards memory safety with ownership checks for C
Last Updated 27/12/2023 This is a work in progress, both design and implementation. Cake source itself is being used to validate the concepts. Abstract The objective is to statically check code and prevent bugs, including memory bugs. For this task, the compiler needs information that humans typically gather from the context. For example, names like […]
Tiny, tamper-proof ID tag can authenticate almost anything
A few years ago, MIT researchers invented a cryptographic ID tag that is several times smaller and significantly cheaper than the traditional radio frequency tags (RFIDs) that are often affixed to products to verify their authenticity. This tiny tag, which offers improved security over RFIDs, utilizes terahertz waves, which are smaller and travel much faster […]
E2EE on the web: is the web that bad?
In my last blog post, I discussed why people often view the web as a uniquely unsuited platform for implementing end-to-end encryption (E2EE). This view is that the web doesn’t offer a long-term trustable notion of what the application is. In that earlier post, I explored the idea of treating the application as untrustworthy and […]