7291
Building an FPGA 3dfx Voodoo with Modern RTL Tools
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 .
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,826 posts.
7292
Generating C code that people want to use
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…
7293
7294
7295
Booting 5000 Erlangs on Ampere One 192-core
Underjord is an artisanal consultancy doing consulting in Elixir, Nerves with an accidental speciality in marketing and outreach. If you like the writing you should really try the pro version .
7296
Clojure 1.13 adds support for checked keys
Clojure 1.13.0-alpha1 is now available! Find download and usage information on the Downloads page.
7297
Open-sourcing F14 for memory-efficient hash tables
Hash tables provide a fast way to maintain a set of keys or map keys to values, even if the keys are objects, like strings. They are such a ubiquitous tool in computer science that even incremental…
7298
Python Pip 20.3 Released with new resolver
On behalf of the Python Packaging Authority and the pip team, I am pleased to announce that we have just released pip 20.3 , a new version of pip. You can install it by running python -m pip install --upgrade pip .
7299
Reorient GitHub pull requests around changesets
I've had the experience of using GitHub as a maintainer for very large open source projects (1000+ contributors), as an engineer for very large closed source corporate projects, and everything smaller. Through those experiences up to today, GitHub pull requests is where I spend almost all of my time while on GitHub…
7300
7301
How I am deeply integrating Emacs
A blog, notes, gallery, lifestyle and fully conglomerated posts from Joshua.
7302
Performance Improvements in .NET 7
.NET 7 is fast. Really fast. This post deep-dives into hundreds of performance improvements that contributed to that reality.
7303
7304
7305
SMT Solving on an iPhone (2018)
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
7306
7307
Rebasing in Magit
I read Ian Whitlock’s article on why he can’t quit Magit and it inspired me to share more about Magit from my perspective. This article will focus on rebasing.
7308
7309
The Brutal Lifecycle of JavaScript Frameworks
JavaScript UI frameworks and libraries work in cycles. Every six months or so, a new one pops up, claiming that it has revolutionized UI development. Thousands of developers adopt it into their new projects, blog posts are written, Stack Overflow questions are asked and answered, and then a newer (and even more…
7310
Wolfram Language and Mathematica version 15
AI-related upgrades like the built-in AI Assistant, extended computation-augmented generation and the Wolfram Agent Tools framework. Advances in TimeSeries & Tabular. New categorical data, ModelFit automated model selection, symbolic music. Efficient handling of gigabyte-sized notebooks. Gains in the already-robust…
7311
Postgres as queue
The team I've been working in for the last year or so have had great success using Postgres-as-queue. We've managed to avoid the following:
7312
Migrating a large JavaScript project from DOM spaghetti to Backbone.js
Samuel Clay is a grad student in the schools of design and of engineering at Harvard. He founded NewsBlur , a personal RSS news reader, and Turn Touch , beautiful control for the smart home.
7313
Mistakes I made as an engineer, but had to become a manager to see
I was shocked at how obvious my mistakes as an engineer became after my perspective changed.
7314
7315
I think I've solved the Haskell records problem
Today I’m releasing the “record” library, which is an API of just two quasi-quoters, providing a full-scale solution to the notorious records problem of Haskell!
7316
QBittorrent v4.5.0: The Hitchhiker's Guide to Legible Text
L.C. Bakken technical blog
7317
Parcel v2
The Parcel team is beyond excited to announce that v2.0.0 stable is now available! 🎉
7318
Making Python fast – Adventures with mypyc
Attempting to speed up a library without changing the code using mypyc
7319
Three Minor Features in Go 1.18
Okay, but apart from generics and fuzzing, what has Go 1.18 ever done for us?
7320
Project ideas to appreciate the art of programming
Curated list of project ideas for programmers who aren't sure what to build. We chose 73 projects that teach a lot and are fun to build.