13651
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 80,866 posts.
13652
Vanlife: Build your own van to live on the road
The ultimate step- by- step van build guide for your conversion. From choosing the right van, planning the best layout, all the way to finishing touches.
13653
Flash-Free Video in 2016
Read about how we turned off Flash support for VHS, the New York Times video player.
13654
The 9 lines of code that Google allegedly stole from Oracle
After reading about the Oracle v. Google trial I looked up the famous 9 lines of code that Google allegedly stole from Oracle, which implement the rangeCheck method for arrays. Note that arrays and…
13655
13656
Dolt is Git for data
Blog for DoltHub, a website hosting databases made with Dolt, an open-source version-controlled SQL database with Git-like semantics.
13657
Meta's new LLM-based test generator
Meta's TestGen-LLM is a sneak peek to the future of developer productivity: specialized, orchestrated, and rigorously filtered.
13658
Curing Our Slack Addiction
Expert articles, security news, product updates, guides, and research from 1Password on password management, privacy, and digital security.
13659
13660
Enough's enough: Contract teaching at a Canadian University
Contract teaching at a Canadian University
13661
Minimum Viable Blog
A place for me to vent about my current obsessions.
13662
13663
13664
Meta-analysis of 2.2M people: Loneliness increases mortality risk by 32%
Loneliness increases death risk by 32% but we know how to fix it. Real solutions that cut loneliness in half, from mindfulness to community…
13665
Translating math into code with examples in Java, Racket, Haskell, Python (2011)
These structures are so universal that most research papers in the theory of computation, programming languages and formal methods present concepts in terms of discrete mathematics rather than code.
13666
Racket is 25
posted by Matthias Felleisen and Matthew Flatt The First Thoughts [Matthias]: Wednesday 25 January 1995: POPL used to be a Monday-through-Wednesday-noon affair. Cormac Flanagan presented his future paper there (a static analysis on how to eliminate i...
13667
To close or not to close – Void HTML elements
A blog about web and frontend development, design, 3d and music — by Mat Simon.
13668
An analysis of the Google antitrust trial
We did an analysis of the Google antitrust trial. Last week, over half of the trial was held behind closed doors because the judge, Amit Mehta, is deferring to Google on the need for secrecy.
13669
Why OpenBSD Is Important to Me
The freedom to speak in private is essential to democracy. The less private your conversations, the more careful you are about what you say. And being careful leads to less candor, less criticism, and less innovation. Thought and private speech are the breeding ground for new, sometimes controversial ideas. They are…
13670
The first non-bullshit book about culture I've read
I’ve always been frustrated that people often talk about culture without giving actionable or realistic advice, and was previously prompted by this tweet to write about what I did when put in charge of a broken team:
13671
In Praise of RSS and Controlled Feeds of Information
The way we consume content on the internet is increasingly driven by walled-garden platforms and black-box feed algorithms. This shift is making our media diets miserable. Ironically, a solution to the problem predates algorithmic feeds, social media and other forms of informational junk food. It is called RSS (Really…
13672
One year of sponsored Servo development
Looking back on Servo's first donation-funded role.
13673
Performance per dollar is getting faster and cheaper
How we served GLM5.2 on AMD MI355X at 2626 tok/s/node and 213 tok/s single stream at over 2x lower cost than Blackwell.
13674
A Remarkable Assertion from A16Z
A friend made me aware of a reading list from A16Z containing recommendations for books, weighted towards science fiction since that’s mostly what people there read.
13675
13676
Nim 1.2
We are very proud to announce Nim version 1.2 after six months of continuous development!
13677
Improved Process Isolation in Firefox 100
Firefox uses a multi-process model for additional security and stability while browsing. Web Content is rendered in separate processes.
13678
Self-Hosting on the Dark Web
This site is now reachable over Tor as a hidden service, at a .onion address that resolves only inside the Tor network. Tor relays and encrypts your traffic as …
13679
What $50 buys you at the Huaqiangbei electronics market in Shenzhen, China
We’re building the Model 01, a hackable ergonomic keyboard with mechanical keyswitches, programmable RGB LEDs, opensource firmware, and a…
13680
Translation of Rust's core and alloc crates to Coq for formal verification
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrapordefault or all other primitive functions. For each…