Hacker Newsnew | past | comments | ask | show | jobs | submit | poollogin
How to Write Inductive Invariants (quint-lang.org)
4 points by todsacerdoti 9 months ago
Introduction to Unikernel: Building, deploying lightweight, secure applications (tallysolutions.com)
42 points by eyberg 9 months ago | 20 comments
Incremental Font Transfer Moves to Candidate Recommendation (w3.org)
2 points by robin_reala 9 months ago
2k year old tomb found under Petra leaving archaeologists stunned (mirror.co.uk)
3 points by Anon84 9 months ago
In California, an invasive mustard is destabilizing desert plant communities (mongabay.com)
4 points by PaulHoule 9 months ago
Global ocean simulations examine tritium release from Fukushima (physicsworld.com)
2 points by sohkamyung 9 months ago
How we built Bluey’s world (itsnicethat.com)
387 points by skrebbel 9 months ago | 174 comments
Cellular Starlink expands to support IoT devices (pcmag.com)
88 points by teleforce 9 months ago | 76 comments
Immortal SSH Sessions (grepular.com)
4 points by mike-cardwell 9 months ago
The first lunar road trip (nautil.us)
7 points by dnetesn 9 months ago
New quantum state of matter found at interface of exotic materials (phys.org)
145 points by janandonly 9 months ago | 24 comments
Consistent MySQL Structure.sql Diffs for Rails (lovro-bikic.github.io)
2 points by amalinovic 9 months ago
How I configure BorgBackup and borgmatic (2023) (justus.pw)
40 points by justusw 9 months ago | 9 comments
A delightfully silly database that lives in CPU cache (canoozie.net)
2 points by jtregunna 9 months ago
C++26 Reflections adventures and compile time UML (reachablecode.com)
4 points by jandeboevrie 9 months ago
Show HN: Gmap: Explore Git Repos Visually from the CLI (github.com/seeyebe)
26 points by seeyebe 9 months ago | 10 comments
Mozart Dice Game: algorithmic music generation designed by Mozart (playonlinedicegames.com)
4 points by lubujackson 9 months ago | 3 comments
IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers (doi.org)
3 points by matt_d 9 months ago
Shape memory alloys for cryogenic actuators (nature.com)
2 points by PaulHoule 9 months ago
Brazil opens the largest mosquito biofactory (worldmosquitoprogram.org)
3 points by BiraIgnacio 9 months ago | 2 comments
People stuck using ancient Windows computers (bbc.com)
5 points by Zuider 9 months ago | 1 comment
Syntax highlighting of Python code in Python (fatih-erikli-potato.github.io)
3 points by fatih-erikli-cg 9 months ago
Hawaiian petroglyphs reemerge on Oahu's shores after years of being hidden (archaeologymag.com)
14 points by pseudolus 9 months ago
Nonogram: Complexity of Inference and Phase Transition Behavior (arxiv.org)
16 points by PaulHoule 9 months ago | 2 comments
Deriving Rope the Proper Way (nor-blog.pages.dev)
2 points by ad8e 9 months ago
How to avoid out-of-thin-air atomics without trying [pdf] (open-std.org)
6 points by fanf2 9 months ago
Show HN: Carimbo, a 2D game engine written in C++23 using SDL, featuring Lua (github.com/willtobyte)
5 points by delduca 9 months ago | 1 comment
The Big Oops in type systems: This problem extends to FP as well (weblog.lol)
96 points by ksymph 9 months ago | 82 comments
What Can a Cell Remember? (quantamagazine.org)
83 points by chapulin 9 months ago | 13 comments
Slow (michaelnotebook.com)
991 points by calvinfo 9 months ago | 229 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: