news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

DoNotNotify is now Open Source

https://donotnotify.com/opensource.html

56•awaaz•1h ago•11 comments

Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory

https://github.com/localgpt-app/localgpt

208•yi_wang•8h ago•87 comments

Haskell for all: Beyond agentic coding

https://haskellforall.com/2026/02/beyond-agentic-coding

101•RebelPotato•7h ago•27 comments

Roger Ebert Reviews "The Shawshank Redemption" (1999)

https://www.rogerebert.com/reviews/great-movie-the-shawshank-redemption-1994

28•monero-xmr•4h ago•25 comments

Moroccan sardine prices to stabilise via new measures: officials

https://maghrebi.org/2026/01/27/moroccan-sardine-prices-to-stabilise-via-new-measures-officials/

23•mooreds•5d ago•0 comments

SectorC: A C Compiler in 512 bytes (2023)

https://xorvoid.com/sectorc.html

295•valyala•15h ago•57 comments

LLMs as the new high level language

https://federicopereiro.com/llm-high/

107•swah•4d ago•197 comments

Software factories and the agentic moment

https://factory.strongdm.ai/

227•mellosouls•18h ago•386 comments

The Architecture of Open Source Applications (Volume 1) Berkeley DB

https://aosabook.org/en/v1/bdb.html

26•grep_it•5d ago•3 comments

Speed up responses with fast mode

https://code.claude.com/docs/en/fast-mode

183•surprisetalk•15h ago•186 comments

LineageOS 23.2

https://lineageos.org/Changelog-31/

49•pentagrama•3h ago•9 comments

Hoot: Scheme on WebAssembly

https://www.spritely.institute/hoot/

194•AlexeyBrin•21h ago•36 comments

Stories from 25 Years of Software Development

https://susam.net/twenty-five-years-of-computing.html

196•vinhnx•18h ago•19 comments

Brookhaven Lab's RHIC concludes 25-year run with final collisions

https://www.hpcwire.com/off-the-wire/brookhaven-labs-rhic-concludes-25-year-run-with-final-collis...

79•gnufx•14h ago•63 comments

Vocal Guide – belt sing without killing yourself

https://jesperordrup.github.io/vocal-guide/

361•jesperordrup•1d ago•105 comments

Wood Gas Vehicles: Firewood in the Fuel Tank (2010)

https://solar.lowtechmagazine.com/2010/01/wood-gas-vehicles-firewood-in-the-fuel-tank/

50•Rygian•3d ago•19 comments

uLauncher

https://github.com/jrpie/launcher

22•dtj1123•4d ago•6 comments

Substack confirms data breach affects users’ email addresses and phone numbers

https://techcrunch.com/2026/02/05/substack-confirms-data-breach-affecting-email-addresses-and-pho...

57•witnessme•4h ago•19 comments

First Proof

https://arxiv.org/abs/2602.05192

145•samasblack•18h ago•89 comments

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

https://github.com/Momciloo/fun-with-clip-path

102•momciloo•15h ago•23 comments

Start all of your commands with a comma (2009)

https://rhodesmill.org/brandon/2009/commands-with-comma/

609•theblazehen•3d ago•219 comments

Al Lowe on model trains, funny deaths and working with Disney

https://spillhistorie.no/2026/02/06/interview-with-sierra-veteran-al-lowe/

113•thelok•17h ago•25 comments

The AI boom is causing shortages everywhere else

https://www.washingtonpost.com/technology/2026/02/07/ai-spending-economy-shortages/

339•1vuio0pswjnm7•22h ago•551 comments

Show HN: A luma dependent chroma compression algorithm (image compression)

https://www.bitsnbites.eu/a-spatial-domain-variable-block-size-luma-dependent-chroma-compression-...

43•mbitsnbites•3d ago•7 comments

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

https://openciv3.org/

919•klaussilveira•1d ago•280 comments

The Scriptovision Super Micro Script video titler is almost a home computer

http://oldvcr.blogspot.com/2026/02/the-scriptovision-super-micro-script.html

11•todsacerdoti•7h ago•1 comments

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

https://github.com/valdanylchuk/breezydemo

311•isitcontent•1d ago•39 comments

Where did all the starships go?

https://www.datawrapper.de/blog/science-fiction-decline

174•speckx•4d ago•260 comments

Selection rather than prediction

https://voratiq.com/blog/selection-rather-than-prediction/

40•languid-photic•4d ago•20 comments

FDA intends to take action against non-FDA-approved GLP-1 drugs

https://www.fda.gov/news-events/press-announcements/fda-intends-take-action-against-non-fda-appro...

124•randycupertino•11h ago•252 comments

Open in hackernews

Automated Lean Proofs for Every Type

https://www.galois.com/articles/automated-lean-proofs-for-every-type

40•surprisetalk•4mo ago

Comments

crvdgc•4mo ago

From the title I thought they solved math! Turns out to be a framework to use SMT solvers for decision-based proof. For additional types, you still need to write the bridging part. Interesting nonetheless.

ProofHouse•4mo ago

same

docandrew•4mo ago

Feels like maybe this is retreading ground covered by Why3ML, but perhaps I’m missing something.

https://www.why3.org/doc/whyml.html

lgas•4mo ago

Presumably this is aimed at people that want to take advantage of it in Lean.