European Lisp Symposium 2025 (european-lisp-symposium.org)

1 points by kagevf 46s ago 1 comments

A Python Frozenset Interpretation of Dependent Type Theory (philipzucker.com)

2 points by philzook 1m ago 0 comments

The Definition of Standard ML [pdf] (smlfamily.github.io)

1 points by alabhyajindal 1m ago 0 comments

W.a.s.t.e. Not: John Scanlan looks for the future in the dustbins of history (thebaffler.com)

1 points by Thevet 3m ago 0 comments

Fund Us on Indiegogo (indiegogo.com)

1 points by virallyviralia 4m ago 0 comments

Show HN: Daily Hacker News classics RSS feed (github.com)

1 points by due-rr 5m ago 0 comments

Drone Footage of XAI Colossus Data Center in Memphis, Tennessee (youtube.com)

1 points by StephenVoss 7m ago 0 comments

Python: The Documentary Trailer [video] (youtube.com)

1 points by mclau157 7m ago 0 comments

My side project loses $455 a year and that's ok (dexterplanner.com)

1 points by cvburgess 8m ago 0 comments

New York City steam system (en.wikipedia.org)

2 points by eatonphil 11m ago 0 comments

Helo (news.ycombinator.com)

1 points by kaueua 13m ago 0 comments

Microsoft to offer xAI models to cloud customers (ft.com)

2 points by ViktorRay 15m ago 0 comments

Claude Code SDK – Anthropic (docs.anthropic.com)

4 points by sync 16m ago 0 comments

Microsoft's ICC blockade: digital dependence comes at a cost (techzine.eu)

5 points by bramhaag 20m ago 0 comments

Writing into Uninitialized Buffers in Rust (blog.sunfishcode.online)

2 points by luu 24m ago 0 comments

I Am Not an Austrian Economist (econfaculty.gmu.edu)

1 points by Tomte 26m ago 0 comments

When anyone can be a published author (2010) (salon.com)

2 points by Tomte 26m ago 0 comments

How the human brain is like a murmuration of starlings Essays (aeon.co)

2 points by rbanffy 27m ago 0 comments

Bad Type Patterns – The Duplicate Duck (schneems.com)

1 points by lukastyrychtr 27m ago 0 comments

Salesforce just unveiled AI 'digital teammates' in Slack (venturebeat.com)

1 points by arizen 29m ago 0 comments

Can you meaningfully measure how environmentally friendly a website is? (shkspr.mobi)

1 points by edent 29m ago 0 comments

Who Defines the Scope? (mihirchronicles.com)

1 points by mihirchronicles 30m ago 0 comments

Getting testimonials from real users makes it worth it [video] (youtube.com)

1 points by ClearwayLaw 31m ago 1 comments

What remains scarce post-AGI? (bturtel.substack.com)

1 points by bturtel 34m ago 1 comments

Writing C++ in 2025 (andreabergia.com)

2 points by gbear605 34m ago 0 comments

Nvidia Computex 2025 Keynote Live Coverage (servethehome.com)

1 points by ryandotsmith 35m ago 0 comments

So why did U.S. wages stagnate for 20 years? (noahpinion.blog)

7 points by paulpauper 36m ago 0 comments

A Swift Cloud (culturedcode.com)

1 points by hugolundin 37m ago 0 comments

Trump's Retreat Still Leaves Tariffs at 90-Year Highs (apricitas.io)

2 points by paulpauper 37m ago 0 comments

Girl Belongs to the World (richardhanania.com)

2 points by paulpauper 37m ago 0 comments

Electrified Methane Pyrolysis Technologies for Turquoise Hydrogen Production (mdpi.com)

1 points by PaulHoule 39m ago 0 comments

Show HN: Windows 98 themed website in 1 HTML file for my post punk band (corp.band)

16 points by jealousgelatin 40m ago 2 comments

Intel Announces Arc Pro B60 24GB, Dual B60 48GB (videocardz.com)

2 points by Topfi 41m ago 1 comments

The Heat Mirage: My least-favorite internet maneuver (dynomight.substack.com)

3 points by crescit_eundo 41m ago 0 comments

AI Overviews Are Eating Your Search Traffic - Here’s How to Adapt (animalz.co)

2 points by afaxwebgirl 43m ago 0 comments

Arcadia: Content-agnostic BitTorrent site/tracker built with Rust (github.com)

1 points by Reveal3677 44m ago 0 comments

Unexplained Starlight Pulses Found in Optical SETI Searches (astrobiology.com)

2 points by CommieBobDole 45m ago 1 comments

If Planes Can Fly Themselves Then Why Can't IT Management Be Autonomous? (devops.com)

1 points by dhairya 45m ago 1 comments

Trump to sign bill criminalizing revenge porn and explicit deepfakes (techcrunch.com)

3 points by Willingham 45m ago 0 comments

The Great Scrape (herman.bearblog.dev)

2 points by rglover 45m ago 0 comments

Making Video Games in 2025 (without an engine) (noelberry.ca)

2 points by spiffyk 46m ago 0 comments

The Onion has opened a creative agency (marketingbrew.com)

2 points by coloneltcb 47m ago 0 comments

Complex numbers 2: quaternions – lcamtuf's thing (lcamtuf.substack.com)

2 points by rbanffy 48m ago 0 comments

The insane growth of America's millionaire class – The Hustle (thehustle.co)

2 points by rbanffy 48m ago 1 comments

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths (arxiv.org)

2 points by pizza 48m ago 0 comments

DARPA zaps popcorn with laser power beamed 5.3 miles through air (theregister.com)

3 points by rntn 49m ago 1 comments

NLWeb (github.com)

2 points by runesoerensen 50m ago 0 comments

How AI Generates Creativity from Inauthenticity (arxiv.org)

1 points by badmonster 50m ago 0 comments

What's wrong with pcap filters? (2015) (snellman.net)

1 points by Tomte 51m ago 0 comments

What the Declaration of Independence Claimed (2015) (washingtonpost.com)

2 points by Tomte 51m ago 0 comments

Tact Filters (2007)

1 Tomte 0 5/19/2025, 12:51:46 PM mit.edu ↗

Comments (0)

No comments yet