fp.
newest
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
Load More