fp.
newest
Open in hackernews
F*: A general-purpose proof-oriented programming language
https://fstar-lang.org/
2
•
ducktective
•
1h ago
Show HN: Maverik – Benchmark, compare and cost-predict your MCP agents
https://github.com/langens-jonathan/maverik
2
•
flowofcontrol
•
1m ago
•
0 comments
From 2027, Every Gadget in Russia Will Have a Mandatory Set of Applications
https://www1.ru/en/news/2026/08/01/426001-marusiu-vygnali-alisu-zaselili-s-2027-goda-v-kazdom-gad...
1
•
Sibexico
•
5m ago
•
0 comments
US measles: Cases now surpass last year's total as vaccination rates decline
https://www.bmj.com/content/394/bmj-2026-100437
2
•
geox
•
9m ago
•
0 comments
SANA-Video 2.0
https://nvlabs.github.io/Sana/Video2/
1
•
gmays
•
10m ago
•
0 comments
Burstiness is all you need for LLM serving
https://systems.seas.harvard.edu/blog/burstiness-is-all-you-need/
1
•
1a1a11a
•
11m ago
•
0 comments
Tom's Hardware's 30th Anniversary
https://www.tomshardware.com/pc-components/toms-hardwares-30th-anniversary-from-dip-switches-and-...
1
•
cebert
•
17m ago
•
0 comments
Websites Were Built Before Flexbox and Grid
https://www.jstools.space/blog/css-before-flexbox/
1
•
javatuts
•
25m ago
•
1 comments
Show HN: Passepartout – Create beautiful photo collages
https://joexo.codeberg.page/passepartout/
1
•
joexo
•
29m ago
•
0 comments
A11y.md – A context system for building accessible software
https://github.com/fecarrico/A11Y.md
1
•
javatuts
•
32m ago
•
0 comments
Has the New Cocaine Arrived?
https://playboy.substack.com/p/has-the-new-cocaine-finally-arrived
16
•
bookofjoe
•
32m ago
•
13 comments
The Wikimedians of the Year 2026
https://diff.wikimedia.org/2026/07/22/meet-the-wikimedians-of-the-year-2026/
1
•
altilunium
•
34m ago
•
0 comments
It's no longer enough to just contribute to open source
https://write.as/6fkj8gxtfcw3d
2
•
garn810
•
34m ago
•
1 comments
Show HN: iOS Style Bottom Sheet in Vanilla JavaScript
https://www.cssscript.com/ios-bottom-sheet/
1
•
mushstory
•
35m ago
•
0 comments
The $5k tell: AI vendors are selling you human QA for their own AI
https://okaneland.com/study/the-5000-dollar-tell/
1
•
ermantrout
•
37m ago
•
0 comments
Ask HN: When will the AI version of 911 happen?
3
•
dfps
•
40m ago
•
2 comments
There Are Only Four Billion Floats–So Test Them All (2014)
https://randomascii.wordpress.com/2014/01/27/theres-only-four-billion-floatsso-test-them-all/
2
•
downbad_
•
42m ago
•
0 comments
Show HN: Cordial — Roblox on Linux, Fully Open source, Yours
https://github.com/luohoa97/cordial
2
•
neil_luo
•
44m ago
•
1 comments
Buğuyu Silmeden Manzarayı Göremezsin
https://ruhumdan.substack.com/p/buguyu-silmeden-manzaray-goremezsin
2
•
Banuche
•
46m ago
•
0 comments
China's free Kimi K3 AI model shakes up global tech market
https://restofworld.org/2026/china-moonshot-kimi-k3-free-sovereign-ai/
3
•
donohoe
•
46m ago
•
0 comments
Agreement Is Not Understanding
https://ianberdin.com/essays/agreement-is-not-understanding
2
•
ianberdin
•
48m ago
•
0 comments
See in yourself. Then, evolve at sleek.silisleek.com
2
•
silisleek
•
51m ago
•
0 comments
Show HN: How I learn and review jargon of different fields nowadays
https://jargon-gym.vercel.app
1
•
behnamazimi
•
54m ago
•
0 comments
Giving and taking credit in big tech companies
https://www.seangoedecke.com/giving-and-taking-credit/
1
•
lalitmaganti
•
54m ago
•
0 comments
Designing APIs for Agents
https://webflow.com/blog/designing-apis-for-agents
1
•
msolujic
•
55m ago
•
0 comments
Show HN: Loop-me – my simple generative art loop project
https://john-paul-ruf.github.io/loop-me/
3
•
john_paul_ruf
•
58m ago
•
0 comments
Twenty Years of RISC OS Open
https://www.riscosopen.org/news/articles/2026/06/20/twenty-years-of-risc-os-open
34
•
AlexeyBrin
•
1h ago
•
1 comments
F*: A general-purpose proof-oriented programming language
https://fstar-lang.org/
2
•
ducktective
•
1h ago
•
0 comments
An exam leak in India exposed a Gen Z jobs crisis that goes much deeper
https://www.cnbc.com/2026/08/02/india-exam-leak-protests-jobs-crisis-gen-z-unemployment-modi.html
4
•
cramer4next
•
1h ago
•
0 comments
The future is for everyone [video]
https://www.youtube.com/watch?v=JlRgRmAqoAc
1
•
firstSpeaker
•
1h ago
•
0 comments
When Verification Explores Too Far: LLM Test Coverage vs. Validity
https://zenodo.org/records/21758550
1
•
haitamk
•
1h ago
•
0 comments
Load More