Implementation of Dependent Types

https://www.cse.chalmers.se/~coquand/impl.html

1•fanf2•36s ago•0 comments

Nitpicking Gladiator's Iconic Opening Battle

https://acoup.blog/2025/06/06/collections-nitpicking-gladiators-iconic-opening-battle-part-i/

1•Tomte•52s ago•0 comments

Why Does My Ripped CD Have Messed Up Track Names? and Why Is One Track Missing?

https://www.akpain.net/blog/inside-a-cd/

1•surprisetalk•1m ago•0 comments

Recursion [video]

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

1•Group_B•7m ago•0 comments

Binary Lambda Calculus

https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861

1•todsacerdoti•9m ago•0 comments

Ask HN: What can we as humans do to defeat the AI?

1•roschdal•9m ago•2 comments

What the failure of a superstar student reveals about economics

https://www.economist.com/finance-and-economics/2025/05/22/what-the-failure-of-a-superstar-student-reveals-about-economics

1•georgecmu•12m ago•0 comments

AI can now stalk you with just a single vacation photo

https://www.vox.com/future-perfect/415646/artificial-intelligencer-chatgpt-claude-privacy-surveillance

2•rolph•12m ago•0 comments

One-Shot AI Voice Clones vs. LoRA Finetunes

https://gabber.dev/blog/not-all-voice-clones-are-created-equal-understanding-one-shot-vs-premium-cloning

2•jackndwyer•13m ago•0 comments

'Tastes like water': how a US facility is recycling sewage to drink

https://www.theguardian.com/environment/2025/jun/06/water-scarcity-us-facility-recycling-sewage-to-drink

2•mitchbob•14m ago•1 comments

Cursor's Anysphere nabs $9.9B valuation, soars past $500M ARR

https://techcrunch.com/2025/06/05/cursors-anysphere-nabs-9-9b-valuation-soars-past-500m-arr/

1•skeptrune•15m ago•0 comments

Get ready for less-efficient and more-polluting vehicles in the US

https://arstechnica.com/cars/2025/06/gop-intensifies-war-against-evs-and-efficient-cars/

4•rntn•15m ago•1 comments

The 'China Shock'

https://www.wsj.com/opinion/the-real-story-of-the-china-shock-manfuacturing-employment-trade-af12ef3a

1•surprisetalk•16m ago•0 comments

WxWidgets 3.3.0 Released

https://wxwidgets.org/news/2025/06/wxwidgets-3.3.0-released/

2•P_qRs•16m ago•0 comments

Overlooked Films

https://scottsumner.substack.com/p/overlooked-films

1•surprisetalk•16m ago•0 comments

Indianapolis 500 could be dramatically reshaped by jolts of electric juice

https://techxplore.com/news/2025-05-hybrid-power-indianapolis-reshaped-jolts.html

1•PaulHoule•16m ago•0 comments

Virginia Tech researchers develop recyclable, healable electronics

https://news.vt.edu/articles/2025/05/eng-me-bartlett-worch-recyclable-circuits.html

1•giuliomagnifico•16m ago•0 comments

Show HN: Solomon's Agent - a CLI to simplify the web

https://github.com/jadbox/solomonagent

2•jadbox•18m ago•1 comments

Roundcube ≤ 1.6.10 Post-Auth RCE via PHP Object Deserialization [CVE-2025-49113]

https://fearsoff.org/research/roundcube

2•speckx•19m ago•0 comments

Show HN: Hood Ball – Multiplayer car-based soccer battle (v2)

https://miguelripoll23.github.io/hood-ball/

1•PhilDunphy23•19m ago•0 comments

Connecting you to local markets for cheaper VPS

https://vpscellar.com

1•hellishcopper•19m ago•1 comments

GameStop store accidentally staples receipts into pre-ordered Switch 2 screens

https://www.eurogamer.net/switch-2-launch-ends-in-disappointment-for-some-as-major-retailer-accidentally-staples-receipts-into-consoles-screen

2•bstsb•19m ago•0 comments

Nemotron-H-47B-Reasoning-128k

https://developer.nvidia.com/blog/nemotron-h-reasoning-enabling-throughput-gains-with-no-compromises/

1•bcatanzaro•20m ago•0 comments

Experimenting with New Comment UI Features on Stack Overflow

https://meta.stackoverflow.com/q/433817/303363

1•susam•20m ago•0 comments

Is OpenAI's 4o Snake Oil?

https://gametorch.app/blog/snake-oil

1•gametorch•22m ago•2 comments

It's Time Hospitals Communicated as Clearly as Domino's

https://reviews.ofb.biz/safari/article/1321.html

2•trbutler•23m ago•0 comments

Debugging Azure Networking for Elastic Cloud Serverless

https://www.elastic.co/observability-labs/blog/debugging-aks-packet-loss

1•bumblehean•23m ago•0 comments

Series C and Scale (Cursor)

https://www.cursor.com/en/blog/series-c

3•fidotron•24m ago•0 comments

Agent Runtimes > Agent Libraries: Modus v1

https://hypermode.com/blog/modus-v1-agent-runtime-production

3•iamtherhino•25m ago•0 comments

AI and User Privacy: Here's What You Need to Know

https://www.mozillafoundation.org/en/blog/ai-privacy-data-chatgpt/

2•miles•27m ago•0 comments

Open in hackernews

The Online Books Page at U Penn – listing of legally available online books

https://onlinebooks.library.upenn.edu/subjects.html

7•WillAdams•1d ago

Comments

WillAdams•1d ago

Anna's Archive has been discussed a lot, but this has only come up once before.

Has anyone reviewed this listing to see which texts have licenses accepting of LLM Training Usage?

rsabo•1d ago

This is the University of Pennsylvania, not Penn State. Different schools.

WillAdams•1d ago

Thanks for the correction! Fixed. The whole academic vs. land-grant thing is an interesting dichotomy.