Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 7,293 posts.
Deno v1.8 – support for WebGPU, private modules, Intl, and much more
Deno 1.8 adds experimental support for the WebGPU API, adds support for importing private modules, stabilizes import maps, revamps coverage tooling, adds ICU to provide internationalization out of the box, and a whole lot more.
Introduction to Datalog
A rule-based data query language that thinks differently
Stack Graphs
Precise code navigation is powered by stack graphs, a new open source framework that lets you define the name binding rules for a programming language.
Reason 3
Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
Code Health: Respectful Reviews == Useful Reviews
This is another post in our Code Health series. A version of this post originally appeared in Google bathrooms worldwide as a Google Testin...
</> Htmx – The Fetch()ening
You know, technically, I never said anything about a version *four*
Introducing .NET Standard
Questions? Check out the .NET Standard FAQ. You can find the latest version of the compatibility matrix here. In my last post, I talked about how we want to make porting to .NET Core easier. In this post, I’ll focus on how we’re making this plan a reality with .NET Standard. We’ll cover which APIs we […]
Best of show – abuse of libc
printf machine. 2020 IOCCC entry carlini - Best of Show - abuse of libc
Half a million lines of Go
By Kevin Dangoor Back in December 2019, I first wrote about Goliath, Khan Academy’s project to migrate our ... Read more
Scaling Mercurial at Facebook
Visit the post for more.
Eight years of Go
Happy 8th birthday, Go!
Emacs: The most successful malleable system
Emacs is probably the most successful malleable system in the history of computing. What can we learn from it for designing the malleable systems of the future?
Deploys at Slack
Deploys require a careful balance of speed and reliability. At Slack, we value quick iteration, fast feedback loops, and responsiveness to customer feedback. We also have hundreds of engineers who are trying to be as productive as possible. Keeping to these values while growing as a company means continual refinement…
Rearchitecting: Redis to SQLite
Learn how we approached migrating our Wafris v1 client based on Redis to a new faster, easier to use SQLite architecture.
Announcing Project Zero
Posted by Chris Evans, Researcher Herder Security is a top priority for Google. We've invested a lot in making our products secure, incl...
Becoming a Better Software Developer: A Handbook on Personal Performance
Explore Appfire's Blog for everything from ITSM and Workflow and Automation to System Administration, Software Development, and DevOps.
Algorithms on Khan Academy – a collaboration with Dartmouth College professors
What is an algorithm ? It’s a sequence of steps that you follow to solve a problem. In everyday life, you might have an algorithm for hangin...
Bun v0.8
Bun gets debugger support, fetch streaming, and `bun update`. ReadStream and WriteStream from `node:tty` are implemented, including raw mode on `process.stdin`. SvelteKit now works in Bun. Plus bug fixes and stability improvements.
Twenty Eighth International Obfuscated C Code Contest
IOCCC Year 2024
Django 1.4 final released
Posted by James Bennett on March 23, 2012
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…