frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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