Showing 20 of 636 URL(s)
(Page 3 of 32)
Three ways formally verified code can go wrong in practice
Three ways formally verified code can go wrong in practice
"Correct" doesn't mean "correct" when correctly using "correct"
New Logic for Programmers Release!
v0.12 is now available! This should be the last major content release. The next few months are going to be technical review, copyediting and p...
💡 Top Recommendations:
OLTP vs OLAP Inserts: Optimize ClickHouse with MooseStack
Optimizing writes to OLAP using buffers
5 minute read
This article will outline the difference in efficient insert patterns between OLAP (analytical) and OLTP (transactional) databases, and discuss best practices in OLAP (specifically ClickHouse) for optimizing inserts, with code examples using Moos...
💡 Top Recommendations:
Doing well in your courses
a guide by Andrej Karpathy
Here is some advice I would give to younger students if they wish to do well in their undergraduate courses.
Having been tested for many years of my life (with pretty good results), here are some rules of thumb that I feel helped me:
All-nighters are not worth it.
Sleep do...
💡 Top Recommendations:
How to Get Consistent Classification From Inconsistent LLMs?
The app for independent voices
Get started
Learn more
For you
Get app
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
💡 Top Recommendations:
Code like a surgeon
October 2025
Code like a surgeon
A lot of people say AI will make us all “managers” or “editors”…but I think this is a dangerously incomplete view!
Personally, I’m trying to code like a surgeon.
A surgeon isn’t a manager, they do the actual work! But their skills and time are highly leveraged with a...
💡 Top Recommendations:
Entire Linux Network stack diagram
Published November 18, 2024
| Version v7
Poster
Open
Entire Linux Network stack diagram
Description
Diagram of entire Linux Network Stack, including:
- Virtualization and Linux containers:
- Emulation and Paravirtualization.
- Network sockets.
- Network stack:
- Upper layer of Network stack (TCP, UD...
💡 Top Recommendations:
Give Your Metrics an Expiry Date
(I wrote this back in May and failed to hit publish for some reason — which I discovered when I wanted to point somebody else to it. So publishing now!)
Today the expiry date for a dashboard metric came up. It’s a proxy trailing metric for Something We Care About. The details are unimportant.
Tracki...
💡 Top Recommendations:
You Should Write An Agent
Some concepts are easy to grasp in the abstract. Boiling water: apply heat and wait. Others you really need to try. You only think you understand how a bicycle works, until you learn to ride one.
There are big ideas in computing that are easy to get your head around. The AWS S3 API. It’s the most im...
💡 Top Recommendations:
https://gandalf.fee.urv.cat/professors/AntonioQuesada/Curs1920/Cipolla_laws.pdf
The Basic Laws of Human Stupidity http://wwwcsif.cs.ucdavis.edu/~leeey/stupidity/basic.htm
THE BASIC LAWS OF HUMAN STUPIDITY
by Carlo M. Cipolla
illustrations by James Donnelly
The first basic law of human stupidity asserts without ambiguity that:
Always and inevitably everyone underestimates the nu...
💡 Top Recommendations:
By the power of grayscale!
By the power of grayscale!
When people talk about computer vision, they usually think of OpenCV or deep neural networks like YOLO. But in most cases, doing computer vision implies understanding of the core algorithms, so you can use or adapt them for your own needs.
I wanted to see how far I could g...
💡 Top Recommendations:
The Case Against pgvector | Alex Jacobs
Everyone Loves pgvector (in theory)
If you’ve spent any time in the vector search space over the past year, you’ve probably read blog posts explaining why pgvector is the obvious choice for your vector database needs. The argument goes something like this: you already have Postgres, vector embedding...
💡 Top Recommendations:
GitHub - samrolken/nokode
A web server with no application logic. Just an LLM with three tools.
One day we won't need code. LLMs will output video at 120fps, sample inputs in realtime, and just... be our computers. No apps, no code, just intent and execution.
That's science fiction.
But I got curious: with a few hours this w...
💡 Top Recommendations:
word2vec-style vector arithmetic on docs embeddings§
word2vec-style vector arithmetic on docs embeddings§
2025 October 29
word2vec popularized the idea of representing words as vectors where semantically similar words are positioned close to each other in the vector space. Nowadays these vectors are usually called embeddings.
A neat consequence of the...
💡 Top Recommendations:
Yes you should understand backprop
Yes you should understand backprop
When we offered CS231n (Deep Learning class) at Stanford, we intentionally designed the programming assignments to include explicit calculations involved in backpropagation on the lowest level. The students had to implement the forward and the backward pass of each...
💡 Top Recommendations:
How I Use Every Claude Code Feature
I use Claude Code. A lot.
As a hobbyist, I run it in a VM several times a week on side projects, often with --dangerously-skip-permissions
to vibe code whatever idea is on my mind. Professionally, part of my team builds the AI-IDE rules and tooling for our engineering team that consumes several bill...
💡 Top Recommendations:
The Smol Training Playbook: The Secrets to Building World-Class LLMs - a Hugging Face Space by HuggingFaceTB
HuggingFaceTB
/
smol-training-playbook
like
917
Fetching metadata from the HF Docker repository...
Refreshing
💡 Top Recommendations:
Rethinking Data Discovery for Libraries and Digital Humanities | Library Innovation Lab
Authors:
Published:
As part of our Public Data Project, LIL recently launched Data.gov Archive Search. In this post, we look under the hood and reflect on how and why we built this project the way we did.
Rethinking the Old Trade-Off: Cost, Complexity, and Access
Libraries, digital humanities projec...
💡 Top Recommendations:
Ask HN: Who uses open LLMs and coding assistants locally? Share setup and laptop
Dear Hackers,
I’m interested in your real-world workflows for using open-source LLMs and open-source coding assistants on your laptop (not just cloud/enterprise SaaS). Specifically:
Which model(s) are you running (e.g., Ollama, LM Studio, or others) and which open-source coding assistant/integration...
💡 Top Recommendations:
In Orbit You Have to Slow Down to Speed Up
If you watch sci-fi movies, you’d think that flying a spaceship is just like driving a slightly more complicated car (or a Winnebago in Spaceballs). And George Lucas gave us those galactic battles with pilots who look like they’re flying fighter jets on Earth.
Well, bad news: Space is really, really...
💡 Top Recommendations: