Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 256 posts.
Historically, I’ve struggled to find a concise, simple way to explain what it means to practice type-driven design. Too often, when someone asks me “How did you come up with this approach?” I find I can’t give them a satisfying answer. I know it didn’t just come to me in a vision—I have an iterative design process…
Every square has exactly 3 units and 20 peers. For example, here are the units and peers for the square C2 :
If you're a programmer who's become fed up with software bloat, then may you find herein the perfect antidote.
Way back in September 1983, I started my first real job, working at Oranim, a big bread factory in Israel that made something like 100,000 loaves of bread every night in six giant ovens the size of…
Because our product is written in C++, which can easily be compiled into WebAssembly, Figma is a perfect demonstration of this new format’s power.
Long ago, on Svalbard, when you were a young witch of forty-three, your mother took your unscarred wrists in her hands, and spoke:
Not every code injection bug is a security hole.
Inspirations & experiments, mainly about denotative/functional programming in Haskell
The computer itself ceases to exist.
A peek into the homegrown solution we built as the first design tool with live collaborative editing.
It's time to find a better way to store your dotfiles. Learn why you should start using a bare Git repository instead.
Let’s retire the ‘virtual DOM is fast’ myth once and for all
They’re not burritos.
I'm developing a programming language called Kernel. Kernel is a conservative, Scheme-like dialect of Lisp in which everything is a first-class object.
Inspired by the strangler figs in Australia, a strangler fig application gradually draws behavior out of its host legacy application
Threading macros, also known as arrow macros, convert nested function calls into a linear flow of function calls, improving readability.
We’ve trained a large-scale unsupervised language model which generates coherent paragraphs of text, achieves state-of-the-art performance on many language modeling benchmarks, and performs rudimentary reading comprehension, machine translation, question answering, and summarization—all without task-specific training.
Rendering text, how hard could it be? As it turns out, incredibly hard! To my knowledge, literally no system renders text “perfectly”. It’s all best-effort, although some efforts are more important than others.
Given the expansive growth in the field, it's become challenging to discern what belongs in a modern computer science degree.
The solution we found helps us run Figma plugins in a safe way — i.e. not eval(UNTRUSTED_CODE).
Experience zero data sprawl with EDB Postgres AI. Capable of handling 30B+ trades a day and managing 50 TB.
Note: this is a pretty long post. If you’re not interested in the details, the conclusion at the bottom is intended to be read in a standalone fashion. There’s also a related blog post …
The typestate pattern is an API design pattern that encodes information about an object’s run-time state in its compile-time type . In particular, an API using the typestate pattern will have:
It’s been 3 months since I first wrote about our efforts to scale Git to extremely large projects and teams with an effort we called “Git Virtual File System”. As a reminder, GVFS, together with a set of enhancements to Git, enables Git to scale to VERY large repos by virtualizing both the .git folder […]
WebAssembly is an assembly language for a conceptual machine, not a physical one. This is why it can be run across a variety of different machine architectures. WebAssembly needs a ...
Microsoft Security Response Center Blog2019132 points28 commentscited by 17Security & Privacy details
What if we could eliminate an entire class of vulnerabilities before they ever happened?
