| 421. | Apple and Intel come closer after five years | (igorslab.de) |
|
After a period of significant distance, Apple and Intel are once again the focus of possible technical cooperation. Apple’s decision to completely take over the… | |
| 3 points by speckx 23 hours ago | 0 comments |
| 422. | Americans no longer see four-year college degrees as worth the cost | (nbcnews.com) |
|
Americans have grown sour on one of the longtime key ingredients of the American dream | |
| 5 points by jnord 8 days ago | 0 comments |
| 423. | Bitwarden Lite | (bitwarden.com) |
|
This article will walk you through setting up and running the Bitwarden Lite self-hosted deployment. | |
| 5 points by thunderbong 1 day ago | 1 comments |
| 424. | The Gamma Language | (lair.masot.net) |
|
|
||
| 4 points by RossBencina 2 days ago | 0 comments |
| 425. | The CRDT Dictionary: A Field Guide to Conflict-Free Replicated Data Types | (iankduncan.com) |
|
|
A comprehensive guide to CRDTs and their tradeoffs, from counters to sequences. Written in the spirit of the Typeclassopedia, exploring how different CRDTs solve the distributed consensus puzzle. | |
| 5 points by birdculture 9 days ago | 0 comments |
| 426. | 'The Chair Company' Is a Show About How Fun It Is to Use the Computer | (defector.com) |
|
||
| 5 points by Apocryphon 1 day ago | 0 comments |
| 427. | Amazon launches Trainium3 | (techcrunch.com) |
|
AWS has been building its own AI chips — and systems — for years now. It just released its third version, known as Trainium3, with some impressive specs. | |
| 12 points by thnaks 5 days ago | 1 comments |
| 428. | ImAnim: Modern animation capabilities to ImGui applications | (github.com) |
|
|
Animation Engine for Dear ImGui. Contribute to soufianekhiat/ImAnim development by creating an account on GitHub. | |
| 14 points by klaussilveira 6 days ago | 2 comments |
| 429. | Ask HN: Modern C# book for experienced developers? | () |
|
|
||
| 5 points by Fire-Dragon-DoL 2 days ago | 1 comments |
| 430. | List of Common Misconceptions (Wikipedia) | (en.wikipedia.org) |
|
|
||
| 3 points by greazy 13 hours ago | 0 comments |
| 431. | The "Mad Men" in 4K on HBO Max Debacle | (fxrant.blogspot.com) |
|
||
| 17 points by tosh 5 days ago | 2 comments |
| 432. | Zellij: A terminal workspace with batteries included | (zellij.dev) |
|
A terminal workspace with batteries included | |
| 5 points by ndr 2 days ago | 0 comments |
| 433. | Codex, Opus, Gemini Try to Build Counter Strike | (instantdb.com) |
|
|
||
| 4 points by stopachka 9 days ago | 0 comments |
| 434. | Lowtype: Elegant Types in Ruby | (codeberg.org) |
|
|
type - Elegant types in Ruby | |
| 10 points by birdculture 9 days ago | 2 comments |
| 435. | Claude Code Tips | (agenticcoding.substack.com) |
|
Here are my tips for getting the most out of Claude Code, including a custom status line script, cutting the system prompt in half, using Gemini CLI as Claude Code’s minion, and Claude Code running itself in a container. | |
| 3 points by ykdojo 20 hours ago | 2 comments |
| 436. | Why Replicate is joining Cloudflare | (blog.cloudflare.com) |
|
|
Today, we’re excited to announce that Replicate is officially part of Cloudflare. We wanted to share a bit about our journey and why we made this decision. | |
| 6 points by chmaynard 6 days ago | 1 comments |
| 437. | Human hair grows through 'pulling' not pushing, study shows | (phys.org) |
|
|
||
| 3 points by pseudolus 4 days ago | 0 comments |
| 438. | Garfield's Proof of the Pythagorean Theorem | (en.wikipedia.org) |
|
|
||
| 7 points by benbreen 9 days ago | 2 comments |
| 439. | Formally Verifying Advent of Code Using Dijkstra's Program Construction | (haripm.com) |
|
|
[I'm doing](https://tangled.org/haripm.com/aoc_2025) [Advent of Code](https://adventofcode.com) again this year, and part 1 of [today's problem](https://adventofcode.com/2025/day/3) reminded me immediately of some of the problems I'm doing in my [Program Construction](https://ucd.ie/modules/COMP30060) module at UCD. So, I'm going to be coming up with a formally verified algorithm to solve Part 1 using Edsger W. Dijkstra's Structured Programming style of Program Composition. | |
| 3 points by seafoamteal 4 days ago | 0 comments |
| 440. | The Math of Why You Can't Focus at Work | (justoffbyone.com) |
|
Interruptions, recovery time, and task size: three numbers that determine if you'll get real work done. Interactive visualizations show the math behind bad days. | |
| 3 points by 0x79de 10 days ago | 0 comments |
| 441. | Migrating Dillo from GitHub | (dillo-browser.org) |
|
|
||
| 3 points by todsacerdoti 8 days ago | 0 comments |
| 442. | Anna's Archive finished releasing all obtained Chinese books | (annas-archive.li) |
|
We have finally finished the Chinese release which we started 2 years ago. We look at all the work involved. | |
| 5 points by ravenical 2 days ago | 0 comments |
| 443. | Lazier Binary Decision Diagrams for set-theoretic types | (elixir-lang.org) |
|
This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them | |
| 4 points by tvda 6 days ago | 0 comments |
| 444. | Carv: Whoop for Skiing | (getcarv.com) |
|
Improve your skiing technique with real-time audio coaching. Carv uses pressure and motion analysis to score your technique and help you improve. | |
| 3 points by danielfalbo 1 day ago | 1 comments |
| 445. | The only winning move is not to play | (gregg.io) |
|
|
Let’s not debase ourselves as user researchers further | |
| 4 points by AIBytes 4 days ago | 0 comments |
| 446. | Arcee Trinity Mini: US-Trained Moe Model | (arcee.ai) |
|
Introducing Trinity Mini, a compact MoE model trained end-to-end in the U.S., offering open weights, strong reasoning, and full control for developers. | |
| 5 points by hurrycane 6 days ago | 0 comments |
| 447. | Ask HN: Why does every B2B SaaS have to look like Linear/Stripe? | () |
|
|
||
| 6 points by PaulShin 1 day ago | 10 comments |
| 448. | Pink Lexical Slime: The Dark Side of Autocorrect | (cyberdemon.org) |
|
|
This post originally appeared on Mondo 2000. | |
| 5 points by dmazin 9 days ago | 1 comments |
| 449. | India scraps order to pre-install state-run cyber safety app on smartphones | (bbc.com) |
|
The order to make the registration mandatory had led to a major backlash from several cyber experts. | |
| 4 points by wolpoli 5 days ago | 1 comments |
| 450. | What Is "Open Recursion"? | (journal.stuffwithstuff.com) |
|
|
||
| 3 points by andsoitis 5 days ago | 0 comments |