Using TypeScript with React
This post is based on a talk I gave at the React JS & React Native Bonn Meetup.It aims to answer the following questions: What’s TypeScript? How can I ...
Topics /
The most popular blog posts about software engineering on Hacker News. 14,536 posts.
This post is based on a talk I gave at the React JS & React Native Bonn Meetup.It aims to answer the following questions: What’s TypeScript? How can I ...
A note in advance: This is absolutely not about Docker being too "opinionated" for me, or other tools being more flexible. I believe that learning and using Docker is just plain more complicated than learning and using the tools I describe below. Docker is genuinely more complex and harder to use than the…
My stack will outlive yours
Epic Games released an initial public implementation of the Verse programming language. Verse has been designed by some people who really know what they’re doing:
This is inspired by Dan Luu's post on the advantages of a single big repository over many small ones. That post is fairly old, and I confess that I'm hardly up to date on the state of tooling, both for managing multiple repos and for dealing with one big one. But I'm going to make an argument which I think mostly…
[The wordpress markdown inclusion does a very bad job, it seems, there have been some idiotic formatting errors. I hope that these are fixed, now.] A years-long effort led by Kayvan Memarian and Pe…
I talk about tree sitter, CEDET, and Combobulate -- my "paredit-style" package that's designed to work with most programming languages.
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
Before we dive into the technical details, let’s start with a quick history lesson, courtesy of Don Syme who worked on adding generics to .NET and then went on to design and implement F#, which is a pretty impressive set of achievements!!
R&D computing at scale
It is a lazy Tuesday afternoon. Perhaps you were idly browsing your favorite news aggregator, or visiting The Orange Website to wade through murky startup groupthink in search of interesting links.
As it turns out, there is no correlation between programming ability and the frequency of Stack Overflow visits.
Hot code reloading with Elixir and Erlang
Life with Postgres only.
Article explaining how to leverage Zig's compile time metaprogramming to build a SQLite wrapper that can type check SQL queries
A case study on how compilers decouple components from each other using data.
This is part 1 in a series of blog posts that follow my work in creating a programming language.
Incomplete data structures challenge our notion of mutability
The story of how I gained two world-firsts, somehow.
If you know one thing about me, it is that I love working on the Rust compiler. Some people kayak, travel or play guitar - and I stare at assembly, trying to figure out what I broke.
It has baked lighting with normal mapping and real-time specular shading, ahem, well sort of. More on that later. The beautiful song was made by noby with guitar performed by Moloko ( https://soundcloud.com/sou_andrade ).
This frame of Screamer 2 was rendered not by an original 3dfx card and not by an emulator, but by an FPGA reimplementation of the Voodoo 1 that I wrote in SpinalHDL. Available on GitHub .
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is compiled to readable C, meaning existing systems projects can readily integrate…