2941
HTML Lists
This second installment in the "You don't know HTML" series is going to be all about the ways that we put collections of things together
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,819 posts.
2942
What's in a Linux Executable?
Executables have been fascinating to me ever since I discovered, as a kid, that they were just files. If you renamed a .exe to something else, you could open it in notepad! And if you renamed somet...
2943
Django 1.4 final released
Posted by James Bennett on March 23, 2012
2944
2945
2946
Why Use Make
I love Make . You may think of Make as merely a tool for building large binaries or libraries (and it is, almost to a fault), but it’s much more than that. Makefiles are machine-readable documentation that make your workflow reproducible.
2947
How to effectively write quality code with AI
AI is rarely optional anymore, but how can you still be proud of your craft? Discover the workflow to effectively write high-quality, robust code using AI tools.
2948
A Tour of the Lisps
2023 seems to have been the year where I "made the rounds" of a number of major Lisps. There were several elements that lead to this. Firstly must have been my exposure to Elixir in 2022, which introduced me to the idea of debugging live systems and "staying in your program". Secondly must have been my chief complaint…
2949
Making games in Go: 3 months without LLMs vs. 3 days with LLMs
After 15 years as a software engineer, I realized I had never actually built and published a game.
2950
Prompt engineering vs. blind prompting
"Prompt Engineering" emerged from the growth of language models to describe the process of applying prompting to effectively extract information from language models, typically for use in real-world applications.
2951
Rust as a gateway drug to Haskell
For work-related reasons, I had to recently get up to speed on programming in Haskell. Before that, I had very little actual experience with the language, clocking probably at less than a thousand lines of working code over a couple of years. Nothing impressive either: some wrapper script here, some experimental…
2952
The 9 lines of code that Google allegedly stole from Oracle
After reading about the Oracle v. Google trial I looked up the famous 9 lines of code that Google allegedly stole from Oracle, which implement the rangeCheck method for arrays. Note that arrays and…
2953
Meta's new LLM-based test generator
Meta's TestGen-LLM is a sneak peek to the future of developer productivity: specialized, orchestrated, and rigorously filtered.
2954
2955
2956
Translating math into code with examples in Java, Racket, Haskell, Python (2011)
These structures are so universal that most research papers in the theory of computation, programming languages and formal methods present concepts in terms of discrete mathematics rather than code.
2957
To close or not to close – Void HTML elements
A blog about web and frontend development, design, 3d and music — by Mat Simon.
2958
Translation of Rust's core and alloc crates to Coq for formal verification
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrapordefault or all other primitive functions. For each…
2959
Go 1.3 is released
Go 1.3 adds better performance, static analysis in godoc, and more.
2960
2961
Running Awk in parallel to process 256M records
TL;DR Awk crunches massive data; a High Performance Computing (HPC) script calls hundreds of Awk concurrently. Fast and scalable in-memory solution on a fat machine.
2962
2963
Copilot Internals
Hacky repo to see what the Copilot extension sends to the server
2964
2965
Generating sudokus for fun and no profit
A guide on how to generate sudokus of any difficulty.
2966
2967
Papers Every Programmer Should Read (At Least Twice)
I spent most of yesterday afternoon working on a paper I’m co-writing. It was one of those days when the writing came easy. I was moving from topic to topic, but then I realized that I was reaching too far backward – I was explaining things which I shouldn’t have had to explain to the audience I was trying to reach.
2968
Bad NEWS, Emacs
Post by Eshel Yaron about changes for the worse in Emacs 30 registers feature
2969
The worst API ever made (2014)
A call-by-call look at context switch logging with the Event Tracing for Windows API.
2970
