9901
RubySpec is Reborn
A blog about ruby/spec.
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 14,541 posts.
9902
SaberVM
This post announces SaberVM, an abstract machine for functional programs that guarantees safety, reliability, and portability.
9903
The One Second Dash
The Amazon Dash is a $5 WiFi button that summons a truck to deliver you water or other stuff. Want your Dash to do something else? The popular approach is to sniff its ARP requests. This requires that Dash connect to your network, putting you perilously close to having some DUDE delivered with your IoT mood lighting.
9904
From zero to cooperative threads in 33 lines of Haskell
A tiny implementation of coroutines
9905
A gentle intro to assembly with Rust
One of the things I’ve wanted to do for a while is really dig into assembly and get into the weeds of how programs actually run. A rework of the asm macro has recently landed in nightly rust so it seemed like a good time.
9906
9907
9908
9909
Writing a Hypervisor in 1k Lines
Writing a Hypervisor in 1,000 Lines
9910
9911
An Introduction to Vectorization
Your CPU has a 32-bit addition instruction that computes the sum of two 32-bit integers x and y, producing a 32-bit result. (The 33rd bit of the sum, the "carry bit", is usually thrown away.)
9912
Build your own SQLite, Part 4: reading tables metadata
As we saw in the opening post, SQLite stores metadata about tables in a special "schema table" starting on page 1. We've been reading records from this…
9913
Let’s Run Lisp on a Microcontroller
I was inexplicably amazed by Lisp since the first day I've seen how Lisp programs look.
9914
Baby's first WASM compiler
( This is part of a series on the design of zest . See the list of posts here .)
9915
Libcurl gets a URL API
libcurl has done internet transfers specified as URLs for a long time, but the URLs you'd tell libcurl to use would always just get parsed and used internally. Applications that pass in URLs to libcurl would of course still very often need to parse URLs, create URLs or otherwise handle them, but libcurl has not ……
9916
Lisp Query Notation (LQN)
Query language and terminal utility for transforming various data formats
9917
Memory safety absolutists
When seeing the title of this post, I bet in some people's minds, the first thought was "Rust devs!". This connection is not unfounded. Rust devs tend to be passionate about memory safety. Some of it, I'm sure, may have been caused by a classic language wars attitude: my language is better than yours, and here is why…
9918
What's the Future of IDEs?
Can we move our development environment from our local machines to a remote server, and interact with it through a browser-mediated IDE?
9919
9920
UIs are not pure functions of the model (2018)
When I first saw React.js , I had a quick glance and thought that it was cool, they finally figured out how to do a Cocoa-like MVC UI framew...
9921
The "End of Programming" will look a lot like programming (2023)
Nobody wants “temperamental and mysterious” products, so what will AI-integrated software development look like?
9922
TypedDicts are better than you think
TypedDict was introduced in PEP-589 which landed in Python 3.8. The primary use case was to create type annotations for dictionaries. For example,...
9923
Golang: Know Your 'Nil'
In Golang, nil is an interesting value. You may be familiar with Go’s philosophy of making the “zero value” meaningful.
9924
The upcoming iterator design for Go 1.23
NOTE: This is based on, but completely rewritten, from a Twitter post:https://x.com/TheGingerBill/status/1802645945642799423TL;DR: It makes Go feel too "functional" rather than being an unabashed imperative language.I recently saw a post on Twitter showing the upcoming Go iterator design for Go 1.23 (August 2024)…
9925
The bloat of edge-case first libraries
How building edge-case first led to bloated, overly-granular libraries and what we can do about it
9926
9927
How functional programming shaped and twisted front end development
A friend called me last week. Someone who’d built web applications back for a long time before moving exclusively to backend and infra work. He’d just opened a modern React codebase for the first time in over a decade.
9928
9929
Escape IntelliJ: Scala and Kotlin LSPs on Emacs Eglot
Enjoy Emacs and its built-in language server (LSP) superpowers, for JVM languages. Let's walk through basic language setups, specialized workspace configuration handling, and dive deep into some advanced JSON-RPC and advice-based workarounds for Scala (Metals) and Kotlin that make development truly seamless from Emacs…
9930
What I love about Django
The best parts of Django are the ones you stop noticing — a tour of the abstractions that have given Buttondown the most leverage over the years.