fp.

Granite 4.2 LLMs: How They're Built

https://huggingface.co/blog/ibm-granite/granite-4-2

1•gmays•18s ago•0 comments

The Calculus of Inductive Constructions [pdf]

https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf

1•whoishiding•38s ago•0 comments

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

https://si2.org/

1•peter_d_sherman•2m ago•0 comments

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

https://letthembuild.com

1•gpulogy45•3m 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•4m 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•7m ago•0 comments

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

1•joshfischer1108•8m 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-...

1•TeaVMFan•9m ago•0 comments

Squinglish: SQL's Inconsistent Calling Conventions

https://blog.delightql.org/post/2026/10/23/squinglish-sqls-inconsistent-calling-conventions/

1•ludsan•11m ago•0 comments

Show HN: Daily puzzles to keep AI users sharp

https://brainsaver.app

1•bigboingy•12m 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

2•elliotbnvl•13m 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•14m 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•15m ago•0 comments

Arc Browser Clean Room Reimplementation

https://github.com/VictorKildahl/cra

3•saivan•20m ago•1 comments

Ask HN: Best books you read in 2026?

1•013•21m 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•22m ago•0 comments

Qwen-Drive-1.0

https://huggingface.co/Qwen/Qwen-Drive-1.0-4B

3•0o777•26m 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•28m ago•0 comments

The Telephone Changed the World

https://lithub.com/how-the-telephone-changed-the-world/

1•NaOH•31m ago•0 comments

RFC 10008: The HTTP Query Method

https://www.rfc-editor.org/rfc/rfc10008.html

1•tambourine_man•32m ago•0 comments

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

https://github.com/mintwork/honest-tests

1•mintworks•34m 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

8•taspeotis•36m ago•3 comments

The Healthcare System. Or whatever you call it

https://davebarry.substack.com/p/the-healthcare-system

1•ZeroCool2u•37m ago•0 comments

Duality of Quadrilaterals via Quaternions [pdf]

https://scholarworks.uni.edu/cgi/viewcontent.cgi?article=1193&context=surp

1•teleforce•38m ago•0 comments

Brave removes tracking metadata from Instagram and Facebook photos

https://brave.com/privacy-updates/40-remove-tracking-metadata/

3•skaul•41m 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•41m 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•42m ago•0 comments

A look inside OpenAI's recent Proof of Yang-Mills Existence [video]

https://www.youtube.com/watch?v=s_9sCVqKQjY

1•HotHotLava•49m ago•1 comments

US Land Value Tax Progress in just 2 years

https://substack.com/@reedschwartz/note/c-383850504

1•JimmyBuckets•50m ago•0 comments

AI Quest – Interactive sandboxes for agentic web apps

https://ai-quest.dev/

1•quentinmerle•53m ago•0 comments