Home / 2026 / February
February 2026 Archive
20071.
Lean-TUI for the lean proof assistant (codeberg.org)
2 points by i_don_t_know 2 weeks ago | 0 comments
20072.
The Emerging Harness Engineering Playbook (ignorance.ai)
2 points by charlierguo 2 weeks ago | 0 comments
20073.
New Research Suggests Myopia Could Be Caused by How We Use Our Eyes Indoors (sunyopt.edu)
2 points by gnabgib 2 weeks ago | 0 comments
20074.
How to give your AI real personality (medium.com)
2 points by sarahoates 2 weeks ago | 0 comments
20075.
DeepSeek-v3.2 on GB300: Performance Breakthrough (blog.vllm.ai)
2 points by roody_wurlitzer 2 weeks ago | 0 comments
20076.
Oxfmt Beta (oxc.rs)
2 points by freddydumont 2 weeks ago | 0 comments
20077.
Ask HN: Is Meshtastic worth it, what have you done with it?
2 points by notepad0x90 2 weeks ago | 0 comments
20078.
Show HN: AI-Native "Medicare for All" Prototype (medicare.dev)
2 points by arionhardison 2 weeks ago | 0 comments
20079.
Show HN: Free bartending school app – learn cocktails without paying for school (apps.apple.com)
2 points by gigzlabs 2 weeks ago | 0 comments
20080.
Show HN: JadeAI – Resume builder with AI parsing, 50 templates, and self-hosting
2 points by twwch 2 weeks ago | 0 comments
20081.
AST-Guided Translation of Natural Language into First-Order Logic with LLMs (arxiv.org)
2 points by PaulHoule 2 weeks ago | 0 comments
20082.
To aficionados, fungi are freaky, mystical and overlooked (nhregister.com)
2 points by PaulHoule 2 weeks ago | 0 comments
20083.
Isolate SwiftUI animations to specific attributes (nilcoalescing.com)
2 points by maguszin 2 weeks ago | 0 comments
20084.
Show HN: CharityVerify – Trust scores for 138K Canadian charities (charityverify.com)
2 points by buchler 2 weeks ago | 0 comments
20085.
Stupid Simple Observability for Agents (github.com)
2 points by gintokinx 2 weeks ago | 0 comments
20086.
Agents of Chaos: a red team study of autonomous LLM agents with full access (researchgate.net)
2 points by felineflock 2 weeks ago | 0 comments
20087.
Show HN: I solo-validated Fed learning at 10M nodes with 50% Byzantine tolerance (github.com)
2 points by rwilliamspbgops 2 weeks ago | 0 comments
20088.
Monty's Gauntlet (tinkerdeck.com)
2 points by pcooper 2 weeks ago | 0 comments
20089.
DNB thinks it can become less dependent on American ICT giants within five years (nos.nl)
2 points by doener 2 weeks ago | 0 comments
20090.
Plastics recycled into acetic acid using sunlight (heise.de)
2 points by doener 2 weeks ago | 0 comments
20091.
Indian shares trail regional peers on $68.6B IT rout over AI concerns (reuters.com)
2 points by petethomas 2 weeks ago | 0 comments
20092.
A.I. Is Not Going to Replace Software [video] (youtube.com)
2 points by nradov 2 weeks ago | 0 comments
20093.
Show HN: Open-source temporary email service using haraka and node (freecustom.email)
2 points by dishantsinghdev 2 weeks ago | 0 comments
20094.
Tech Monitor (tech.worldmonitor.app)
2 points by jacktang 2 weeks ago | 0 comments
20095.
Pacific Fusion finds a cheaper way to make its fusion reactor work (techcrunch.com)
2 points by PaulHoule 2 weeks ago | 0 comments
20096.
DeepSeek withholds latest AI model V4 from US chipmakers including Nvidia (business-standard.com)
2 points by iamnothere 2 weeks ago | 0 comments
20097.
From Tahoe bugs to app review delays, the Apple developer experience is fraying (keydiscussions.com)
2 points by spenvo 2 weeks ago | 0 comments
20098.
8B tokens a day forced AT&T to rethink AI orchestration, cutting costs by 90% (venturebeat.com)
2 points by ryan_j_naughton 2 weeks ago | 0 comments
20099.
One Million Checkboxes on SpacetimeDB (twitter.com)
2 points by kylegill 2 weeks ago | 0 comments
20100.
Anlife: What does an unusual evolution simulator have to say about AI? (theguardian.com)
2 points by mitchbob 2 weeks ago | 0 comments