frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

The Calculus of Inductive Constructions [pdf]

https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf
1•whoishiding•10m ago

Where do we draw the line on what is and isn't Slop Art?

https://clarkwakeland.com/blog/2026/art/
1•linebeck•34s ago•0 comments

Big Pharma Can Rival Big Software

https://www.a16z.news/p/big-pharma-can-rival-big-software
1•walterbell•1m ago•0 comments

Why is there anything at all?

https://en.wikipedia.org/wiki/Why_is_there_anything_at_all%3F
2•gradus_ad•4m ago•0 comments

Granite 4.2 LLMs: How They're Built

https://huggingface.co/blog/ibm-granite/granite-4-2
1•gmays•10m ago•0 comments

The Calculus of Inductive Constructions [pdf]

https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf
1•whoishiding•10m ago•0 comments

Si2 – Advancing Semiconductor Design from Transistors to 3D ICs (Non-Profit Org)

https://si2.org/
1•peter_d_sherman•12m ago•1 comments

Show HN: LetThemBuild – Claude Code, Codex, Gemini and OpenRouter in Parallel

https://letthembuild.com
1•gpulogy45•13m ago•0 comments

Microsoft Patent Tips Using Idle Gaming PCs to Train AI in Exchange for Rewards

https://www.pcmag.com/news/microsoft-patent-describes-using-your-idle-gaming-pc-to-train-ai
1•aidotguru•14m ago•0 comments

Elon Musk, other tech execs sign petition calling on Nvidia to reinstate Jensen

https://techcrunch.com/2026/11/14/elon-musk-other-tech-execs-sign-petition-calling-on-nvidia-to-r...
1•jnord•18m ago•1 comments

Show HN: Mapping the FAA ground stop with open flight-tracking data

1•joshfischer1108•18m ago•0 comments

AI submissions cause end of game coding contest

https://www.pcgamer.com/software/ai/educational-game-dev-program-cancelled-because-students-were-...
2•TeaVMFan•19m ago•1 comments

Squinglish: SQL's Inconsistent Calling Conventions

https://blog.delightql.org/post/2026/10/23/squinglish-sqls-inconsistent-calling-conventions/
1•ludsan•21m ago•0 comments

Show HN: Daily puzzles to keep AI users sharp

https://brainsaver.app
1•bigboingy•22m ago•0 comments

Sword Coast Map 3D (Rust to WebGL, Mobile Friendly)

https://swordcoastmap.com/?cam=5053,1505,12450,-1.0,50.0&t=12.90&weather=clear
3•elliotbnvl•24m ago•0 comments

Reading Tab – an offline ePub/PDF/MOBI reader that lives in your new tab

https://chromewebstore.google.com/detail/reading-tab-epub-pdf-mobi/mgmdhcdipgmbbkndjmengbndggkbjoka
1•zenull•24m ago•0 comments

Toward a future space-based, highly scalable AI infrastructure system design

https://www.cell.com/joule/fulltext/S2542-4351(26)00362-4
1•simonebrunozzi•25m ago•0 comments

Arc Browser Clean Room Reimplementation

https://github.com/VictorKildahl/cra
3•saivan•30m ago•1 comments

Ask HN: Best books you read in 2026?

1•013•31m ago•0 comments

The AI graveyard: A running list of projects and startups that didn't make it

https://techcrunch.com/2026/11/14/the-ai-graveyard-a-running-list-of-projects-and-startups-that-d...
2•jnord•33m ago•0 comments

Qwen-Drive-1.0

https://huggingface.co/Qwen/Qwen-Drive-1.0-4B
3•0o777•36m ago•1 comments

Bill Gates Has Earned Billions Investing in Climate-Polluting Landfills

https://www.propublica.org/article/bill-gates-republic-landfill-methane-pollution
5•jamesgill•38m ago•1 comments

The Telephone Changed the World

https://lithub.com/how-the-telephone-changed-the-world/
1•NaOH•41m ago•0 comments

RFC 10008: The HTTP Query Method

https://www.rfc-editor.org/rfc/rfc10008.html
1•tambourine_man•42m ago•0 comments

Honest-tests – detect fake tests and prove them with mutation testing

https://github.com/mintwork/honest-tests
1•mintworks•45m ago•0 comments

L3Harris Statement on the Nov. 13 Ground Stop

https://www.l3harris.com/newsroom/press-release/2026/11/l3harris-statement-nov-13-ground-stop
16•taspeotis•46m ago•5 comments

The Healthcare System. Or whatever you call it

https://davebarry.substack.com/p/the-healthcare-system
1•ZeroCool2u•47m ago•0 comments

Duality of Quadrilaterals via Quaternions [pdf]

https://scholarworks.uni.edu/cgi/viewcontent.cgi?article=1193&context=surp
1•teleforce•48m ago•0 comments

Brave removes tracking metadata from Instagram and Facebook photos

https://brave.com/privacy-updates/40-remove-tracking-metadata/
3•skaul•51m ago•0 comments

Critical infrastructure cyber protection is 'priority work'–but takes a year

https://www.rnz.co.nz/news/politics/2605865/cyber-protection-of-critical-infrastructure-is-priori...
4•billybuckwheat•51m ago•0 comments

The Nord Stream Prosecution: Immunity, Military Objectives, and Superior Orders

https://www.justsecurity.org/163881/germany-ukraine-nord-stream-prosecution/
1•everybodyknows•52m ago•0 comments