Notes on Idris (2017)
In a bid to expand my programming brain by learning something about “dependent types”, I recently bought the Idris book. (Idris is a pure functional programming language that is mostly …
The latest blog posts to take off on Hacker News. 2,330 posts.
In a bid to expand my programming brain by learning something about “dependent types”, I recently bought the Idris book. (Idris is a pure functional programming language that is mostly …
Homepage of Jochen Hoenicke
I could write a lot of things about the Github acquisition by Microsoft. About Github's embrace and extend of git, and how it passed unnoticed by people who now fear the same thing now that Microsoft is in the picture. About the stultifying effects of Github's centralization, and its retardant effect on general…
Most C programmers also know to avoid the legacy strcpy() and strcat() functions, as these commonly introduce buffer-overflow problems. Instead, C programmers should use the newer strncpy() and strncat() functions, which check the size of the buffer they're copying data into.
Ranking the lines by reliability, the anatomy of a delay, and a case for the $19 billion subway plan
Blog about anti-virus software vulnerabilities.
ServiceFabric: a distributed platform for building microservices in the cloud Kakivaya et al., EuroSys’18 (If you don’t have ACM Digital Library access, the paper can be accessed either by fo…
Being an introvert doesn’t mean you lack great management potential—but you need to play to your strengths
Microsoft paid a lot for GitHub, because it had to pay directly for access to developers. It doesn’t have the leverage of users the way that Apple does on the App Store.
SOLVED: The last known unidentified marking on the Saturn V S-IC. For a hair over twenty years, I have been chasing the markings on the ...
We are clearly not in a steady-state situation. Is this a bubble or a revolution? The answer surely includes a bit of revolution—the fields of vision and speech recognition have been turned over by great empirical successes created by deep neural architectures and more generally machine learning has found plentiful…
Shutting down an S-Corp is complicated.
@natfriedman
GitLab’s open-source version is missing several features present in its proprietary one.
In the last week of October 1998, a confidential Microsoft memorandum on Redmond's strategy against Linux and Open Source software was leaked to me by a source who shall remain nameless. I annotated this memorandum with explanation and commentary over Halloween Weekend and released it to the national press. Microsoft…
According to Bloomberg Microsoft is said to have agreed to buy GitHub . GitHub which reportedly has been losing money being acquired is a major development because of its central role in the development of many open and closed source projects.
Paper presented at the 14 th Rhodes Forum: Dialogue of Civilisations Research Institute, Panel 2: Economic Alternatives when Conventional Models Fail, Rhodos, Greece, on 1 October 2016
CORS (Cross-Origin Resource Sharing) is subject tinged with dread for many web developers. Like tales of a mythical sea beast, every developer has a story to tell about the day CORS seized upon one of their web requests, dragging it down into the inexorable depths, never to be seen again.
Is such a thing possible? Turns out it is, and it’s called a Monoscope. I recently got a Raytheon CK1414 Monoscope with a good getter and a working filament–naturally, I decided to fire…
DNS over HTTPS (DOH) is a feature where a client shortcuts the standard native resolver and instead asks a dedicated DOH server to resolve names. Compared to regular unprotected DNS lookups done over UDP or TCP, DOH increases privacy, security and sometimes even performance. It also makes it easy to use a name server…
An in-depth exploration of a new class of expressive, performant, and intuitive CRDTs, together with macOS and iOS sample code.
Blog of Jonas Bernoulli
Some of my points are a bit naughty. But I maintain that they're based in fact and fairly widely known. So well-known, in fact, that I'm surprised to have never read it somewhere else.
It’s now nearly a year that I started writing non-trivial amounts of C codeagain (the first sokol_gfx.h commit was on the 14-Jul-2017), so I guess it’stime f...
These days most of the focus in Web development is on code - JavaScript code in particular. By comparison, the Web UI - HTML and CSS and the browser DOM and support features - feels like it has been stuck in the mud and stagnating for a long time. We now have all the advanced coding tools to do cool stuff, but it…