11761
What I've Learned About Formal Methods in Half a Year
A retrospective on a few months of working on a graduate degree in computer science.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,834 posts.
11762
GitHub profile achievements
Github Achievements
11763
11764
Khronos Releases AV1 Decode in Vulkan Video with SDK Support for H.264/H.265
The Vulkan Working Group at Khronos has developed a set of video format decode and encode extensions, collectively referred to as Vulkan Video. Today, with the release of Vulkan 1.3.277, the Working Group is proud to announce the new Decode AV1 video extension. Similar to the Vulkan project in its goals, AV1 is a…
11765
11766
Qwen2.5-Coder-32B is an LLM that can code well that runs on my Mac
There’s a whole lot of buzz around the new Qwen2.5-Coder Series of open source (Apache 2.0 licensed) LLM releases from Alibaba’s Qwen research team. On first impression it looks like …
11767
How I boosted my Vim
Where I lay out the recent changed I made to my Vim setup.
11768
Customize Nano Text Editor (2022)
DevOps Engineer and Full-Stack Developer with 4+ years of experience in cloud infrastructure, CI/CD, and scalable web applications.
11769
Finding the Bottom Turtle
Some reflections on trusting trust, and how deep the rabbit hole goes.
11770
Using Rust in Windows
BONANZA138 menghadirkan link alternatif portal game terbaru dan terpercaya. Dapatkan rute bonanza138 login anti-blokir, proteksi TLS modern dan pelayanan setiap hari.
11771
11772
Why does one Nginx worker take all the load?
Scaling up TCP servers is usually straightforward. Most deployments start by using a single process setup. When the need arises more worker processes are added.
11773
To Yarn and Back to Npm Again
Yarn solved the annoying problems we faced using npm, but it came with issues of its own. Here are the problems of Yarn and solutions that we landed on.
11774
Exact numeric nth derivatives
Automatic differentiation is a well-studied technique for computing exact numeric derivatives. Dan Piponi has a great introduction on the subject , but to give you an overview, the idea is that you introduce an algebraic symbol such that but . Formulas involving are called dual numbers (e.g., , ) in much the same way…
11775
Postgres as a Graph Database: (Ab)Using PgRouting
Learn how to use pgRouting as a lightweight graph database solution in Postgres.
11776
11777
LangChain: The Missing Manual
The handbook to the LangChain library for building applications around generative AI and large language models (LLMs).
11778
Interfaze: A new model architecture built for high accuracy at scale
A complete walkthrough of Interfaze: what it is, who we benchmark against (Gemini-3-Flash, Claude-Sonnet-4.6, GPT-5.4-Mini, Grok-4.3, plus task specialists like Reducto, SAM 3, Scribe v2), full results across 9 benchmarks, and code examples for OCR, object detection, and web search.
11779
11780
Initial CUDA Performance Lessons
I am somehow very late to learning CUDA. I didn’t even know until recently that CUDA is just C++ with a small amount of extra stuff. If I had known that there is so little friction to learnin…
11781
11782
11783
Optimizing the Ion compiler back end
In September, machine learning engineers at Mozilla filed a bug report indicating that Firefox was consuming excessive memory and CPU resources while running Microsoft’s ONNX Runtime (a machine learning library) compiled to WebAssembly.
11784
11785
What to Read to Get Up to Speed in JavaScript
Updated: 10/7/2016 I wanted to offer up what I felt were good books/resources to carry you through learning JavaScript. Note that some resources will overlap between levels. That should be expected…
11786
Apollo Client 2.0
Apollo Client is the ultra-flexible, community-driven GraphQL client for React, Vue.js, Angular, and other JavaScript platforms. You just describe your data requirements with a GraphQL query, and Apollo Client fetches and manages the data for you.
11787
A better R programming experience thanks to Tree-sitter
Modern tooling for parsing, searching, formatting, editing R code, just like for other programming languages.
11788
Hacking up your own shell completion
In this post I’ll be walking through a simple hack I added to my shell that I think makes me more productive (if nothing else it makes me happy).
11789
How to Worry Less About Being a Bad Programmer
I just came across another manifestation of imposter syndrome, in the form of “Am I really a developer or just a good googler?”
11790
Scoped Propagators
A programming model for spatial canvases