Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,842 posts.
I used to obsess about code quality earlier in my career. My experience indicates that I'm in good company here; a lot of us developers spend so much time growing our programming skills, and that kind of drive comes from intrinsic motivation. We care about what we do, and we want to do it well.
Today is a big day for us – IntelliJ IDEA 2021.1, our first release of the year, is available! Download it from our website or using the Toolbox App. You can also upgrade from inside the IDE or use sn
A practical introduction to TLA+, why it matters for agentic coding, and how AI could take formal verification from models to machine-checked proofs and ultimately to verified software.
Design-by-Contract's invariant attribute allows you to enforce important properties of systems and data structures, making it an incredibly useful tool for developers. In this blog post, we'll be exploring the development of a GCC plugin that adds support for [[invariant]] conditions in C++ classes and structs. We'll…
I delivered a talk at the well attended ClojuTRE conference in Tampere, Finland this past September titled "The Next Five Years of ClojureScript". The Clojur...
August 27th marks five years since diaspora*, the open, privacy-oriented social network, was placed into the hands of its community by its founders. One year ago the community released diaspora* version 0.6, the result of a huge effort of refactoring the old code to make it perform better, as well as redesigning…
To assist with job interviews at the NRAO we recently wrote a small “contest” program. Without giving away the details, the crux of the problem is
I use about.me to show people what matters most to me.
So that the app does not reset to zero after page refresh.
Rhombus version 1.1 is now available! We are pleased to announce Rhombus 1.1 is now available from https://rhombus-lang.org/. _Rhombus is a general-purpose programming language that is easy to use and uniquely customizable._ As of this release:: A...
A tale of debugging hardware with unconventional methods. How I perfected the firmware of BrakeBright (a motorcycle safety device) using a vibrator.
In July 2017, I received a call from a former colleague asking me wether I wanted to begin a new app journey with him. The client would be Paris Turf, an editor specialized in horse races results. My lovely lovely lovely horse [1] They wanted to diversify and launch a
You’re walking at $HOME, minding your own business. $ whoami > user $ pwd > /home/user But something is bothering your feet. It’s like if a little rock has fallen into your shoe. You take it off, to see what’s going on. $ ls -lah ./left-shoe ---------- 1 root root 4 May 30 13:20 little-rock That’s odd. It’s there, but…
Posted by James Bennett on Feb. 19, 2013
I was trained in Java at University. The OOP matrix was firmly implanted in my thinking. I wanted to share some things that I have learned from Clojure that were certainly possible in Java but never became fundamental to my programming practice.
the future of senior developers, junior developers, more on cognitive debt, DevEx versus AgentEx, the role of IDEs, consequences of task switching in supervisory programming
In this blog post, I will show you the process of combining and converting a list of markdown files into kindle supported ebook (.mobi) format.
One thing I wish I had understood better earlier on in my experience with PostgreSQL is how transactions and locks can be used together to provide serializable logic.
Michael Lucy ( @mlucy ), an engineer at RethinkDB, introduces these new features in this two-minute video:
An apparently trivial and uninteresting task nonetheless received some special optimization care within FSE : counting the bytes (or 2-...
Docker is a founding member of the Blueprint Alliance, a 12-company reference architecture for securing AI agents, built around four governance questions.
Talk is cheap, show me the code Introduction A common problem my friends and I have is receiving actionable emails whose priorities are medium level. They do require action of some sort ($ \geq lowest\ priority$), but the action is due in the near future ($\leq highest\ priority$). I tend to skim over these emails…
