fp.
newest
Open in hackernews
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
https://utopia-group.github.io/VeriSoftBench/
1
•
matt_d
•
2h ago
The Pope Bot – OpenClaw Alternative
https://github.com/stephengpope/thepopebot
1
•
peter_d_sherman
•
47s ago
•
0 comments
Scheme: An Interpreter for Extended Lambda Calculus
https://research.scheme.org/lambda-papers/lambda-papers-scheme-report.html
1
•
so-cal-schemer
•
2m ago
•
1 comments
Iowa Farmers Are Leading the Fight for Repair
https://www.ifixit.com/News/115722/iowa-farmers-are-leading-the-fight-for-repair
1
•
gnabgib
•
4m ago
•
0 comments
The Lambda Papers
https://research.scheme.org/lambda-papers/
2
•
so-cal-schemer
•
5m ago
•
1 comments
Show HN: A deadly simple tmux windows like start UI
https://github.com/liyu1981/tmux_start_ui
1
•
liyu1981au
•
16m ago
•
0 comments
Landslides kill 227 at Democratic Republic of Congo coltan mines
https://www.wsws.org/en/articles/2026/02/09/jndz-f09.html
2
•
PaulHoule
•
19m ago
•
1 comments
Paul Brainerd, conservationist who pioneered desktop publishing, dies at 78
https://www.seattletimes.com/business/local-business/paul-brainerd-conservationist-who-pioneered-...
3
•
dangle1
•
20m ago
•
2 comments
Global regulators say AI image tools don't get a free pass on privacy rules
https://www.theregister.com/2026/02/23/privacy_watchdogs_ai_images/
2
•
Bender
•
20m ago
•
0 comments
Dynamically making agents to monitor PRs
https://blog.firetiger.com/deploying-changes-faster-with-firetiger/
1
•
spenczar5
•
21m ago
•
0 comments
Show HN: Credit Units – A New Credit Market Primitive (Live on Solana Devnet)
https://github.com/zippy2261-lgtm/credit-units
1
•
CU-Soon
•
21m ago
•
1 comments
Those Who Can, Teach History
https://www.historytoday.com/archive/making-history/those-who-can-teach-history
1
•
samclemens
•
22m ago
•
0 comments
Acting Ethically in an Imperfect World
https://tante.cc/2026/02/20/acting-ethical-in-an-imperfect-world/
1
•
cratermoon
•
31m ago
•
0 comments
Add smooth cursor animation · zed
https://github.com/zed-industries/zed/pull/44770
1
•
dmmalam
•
31m ago
•
0 comments
Arcee-AI/Trinity-Large-Preview
https://huggingface.co/arcee-ai/Trinity-Large-Preview
1
•
handfuloflight
•
33m ago
•
0 comments
Show HN: Steerling-8B, a language model that can explain any token it generates
https://www.guidelabs.ai/post/steerling-8b-base-model-release/
2
•
adebayoj
•
35m ago
•
0 comments
The $200M Machine That Prints Microchips: The EUV Photolithography System [video]
https://www.youtube.com/watch?v=B2482h_TNwg
3
•
mgh2
•
35m ago
•
0 comments
Psychology suggests making a shopping list is a sign of sharper thinking
https://economictimes.indiatimes.com/news/international/us/still-making-a-shopping-list-psycholog...
6
•
ColinWright
•
36m ago
•
11 comments
CurveFit – Free browser-based scientific curve fitting with AICc model selection
https://calyphi.com/app
1
•
emsti
•
37m ago
•
0 comments
A reproducible VOID boundary across GPT, Claude, and Gemini (GPT-4o video)
https://doi.org/10.5281/zenodo.18750330
2
•
rayanpal_
•
38m ago
•
1 comments
Utah mom Kouri Richin Googled 'luxury prisons for the rich' after killing spouse
https://www.foxnews.com/us/utah-mom-kouri-richins-googled-luxury-prisons-rich-allegedly-killing-h...
1
•
randycupertino
•
38m ago
•
1 comments
Webflow Agent Skills by 224 Industries
https://github.com/224-Industries/webflow-skills
2
•
flashbrew
•
39m ago
•
0 comments
Shatner is making an album with 35 metal icons
https://www.guitarworld.com/artists/guitarists/william-shatner-announces-all-star-metal-album
18
•
mhb
•
40m ago
•
3 comments
Hegseth to meet Anthropic CEO as Pentagon threatens banishment
https://www.axios.com/2026/02/23/hegseth-dario-pentagon-meeting-antrhopic-claude
2
•
samsolomon
•
42m ago
•
0 comments
DeepSeek trained AI model on Nvidia's best chip despite US ban
https://www.reuters.com/world/china/chinas-deepseek-trained-ai-model-nvidias-best-chip-despite-us...
1
•
geox
•
50m ago
•
0 comments
iMessage AI Chatbot Demo
https://github.com/sibblegp/car-service-demo
1
•
gsibble
•
50m ago
•
0 comments
Enthusiasts used their home computers to search for ET
https://phys.org/news/2026-01-enthusiasts-home-scientists-homing.html
2
•
Anon84
•
52m ago
•
1 comments
ChatGPT finds an error in Terence Tao's math research
3
•
codexon
•
54m ago
•
0 comments
AWS says more than 600 FortiGate firewalls hit in AI-augmented campaign
https://www.theregister.com/2026/02/23/aws_fortigate_firewalls/
1
•
Bender
•
55m ago
•
0 comments
Firefox 148 Now Available with the New AI Controls / AI Kill Switches
https://www.phoronix.com/news/Firefox-148
6
•
Bender
•
58m ago
•
0 comments
Meta problem with URPF our bundle in Boca raton
https://metafixthis.com/
1
•
synthesis5x
•
1h ago
•
1 comments
Load More