The Looming Problem of Slow and Brittle Proofs in SMT Verification (kirancodes.me)

1 points by gopiandcode 2m ago 0 comments

The next bubble that will pop: Big Social Media (blog.hermesloom.org)

1 points by sigalor 4m ago 0 comments

History Repeats (furbo.org)

1 points by zdw 8m ago 0 comments

There's not much point in buying Commodore (oldvcr.blogspot.com)

2 points by zdw 9m ago 0 comments

Researchers discover evidence in the mystery of America's 'Lost Colony' (foxnews.com)

2 points by ryan_j_naughton 11m ago 1 comments

The life of a 24/7 streamer: 'What more do you want?' (washingtonpost.com)

1 points by toomanyrichies 22m ago 1 comments

Swiff army knife for generating fcpxml (final cut pro) files (github.com)

1 points by andrewfromx 27m ago 0 comments

Lisp Quotes (heuristos.net)

1 points by fuzztester 29m ago 1 comments

The AI Side Hustle Revolution: Turning Niche Ideas into Income (spicermatthews.com)

1 points by cloudmanic 29m ago 0 comments

I tried to make something in America (youtube.com)

2 points by geerlingguy 30m ago 0 comments

Billy Idol – It's a Nice Day to Tour Again [video] (youtube.com)

1 points by walterbell 37m ago 0 comments

How does it feel to be an AI? I've asked one and together we made a song [video] (youtube.com)

1 points by khannover 37m ago 1 comments

tcpulse: A TCP/UDP load generator that provides fine-grained, flow-level control (github.com)

1 points by y_uuki 38m ago 0 comments

Rust Scripting Languages Benchmark (github.com)

1 points by 9d 39m ago 1 comments

Bits or Pieces?: IT Extremists (blog.gardeviance.org)

2 points by rbanffy 41m ago 0 comments

Scrappy – Make little apps for you and your friends (pontus.granstrom.me)

1 points by andystevens91 43m ago 0 comments

Svelte in Orbit [video] (youtube.com)

1 points by codelikeawolf 46m ago 0 comments

Building supercomputers for autocrats probably isn't good for democracy (helentoner.substack.com)

4 points by rbanffy 46m ago 0 comments

Show HN: Hexplain – Making medical papers accessible with AI (hexplain.ai)

2 points by fsilavong 47m ago 0 comments

Bliss – The story behind one of the most famous photographs (2012) (amateurphotographer.com)

1 points by susam 49m ago 0 comments

From Spain to Mecca on horseback: The men performing Hajj like medieval pilgrims (middleeasteye.net)

3 points by Qem 56m ago 0 comments

Cooling Chips Still a Top Challenge (semiengineering.com)

1 points by PaulHoule 1h ago 0 comments

Word Tour: One-Dimensional Word Embeddings via the Traveling Salesman Problem (data-processing.club)

2 points by martingalex2 1h ago 0 comments

Show HN: Dolph AI – A Focus App That Rewards You with AI Chat Time (trydolph.com)

1 points by kurrupttt 1h ago 0 comments

Show HN: Keep just your links and notes together (eyeball.wtf)

2 points by quinto_quarto 1h ago 1 comments

What Is This? (reddit.com)

2 points by ivape 1h ago 0 comments

Current Challenges in Publicly Available Chemistry GPTs (pubs.acs.org)

2 points by patrakov 1h ago 0 comments

Windows Vista and 7 OOBE running on Windows 8 and above (winclassic.net)

1 points by LorenDB 1h ago 0 comments

Why Android can't use CDC Ethernet (2023) (jordemort.dev)

62 points by goodburb 1h ago 15 comments

Language Change Can Affect Personality (societalk.com)

1 points by Societalk 1h ago 0 comments

14 Rare Minerals Found Exclusively in One Square Mile on Earth (go2tutors.com)

4 points by austinallegro 1h ago 0 comments

We’re secretly winning the war on cancer (vox.com)

4 points by lr0 1h ago 1 comments

Nanowar of Steel – HelloWorld.java (github.com)

1 points by fanf2 1h ago 0 comments

Omnimax [70mm IMAX Format] (computer.rip)

6 points by aberoham 1h ago 0 comments

Building for social good: Looking for a technical co-founder

1 points by thirstycr00w 1h ago 0 comments

U.S. military trims access to its critical sea ice measurements (science.org)

3 points by lentoutcry 1h ago 0 comments

Show HN: Text receipts directly into Concur (for expense management) (textspense.com)

2 points by arjunarya 1h ago 1 comments

San Francisco wants to use AI to save itself from bureaucracy (politico.com)

1 points by rntn 1h ago 0 comments

Developer Relations: Trust Is Built in the Trenches, Not Through Marketing (tessakriesel.com)

3 points by mooreds 1h ago 0 comments

Microsoft and Asus announce two Xbox Ally handhelds (theverge.com)

1 points by layer8 1h ago 1 comments

Secure and seamless passkeys: A deployment checklist (web.dev)

2 points by mooreds 1h ago 0 comments

What Happens When People Don't Understand How AI Works (theatlantic.com)

25 points by rmason 1h ago 24 comments

The Wire That Transforms Much of Manhattan into One Big, Symbolic Home (atlasobscura.com)

4 points by rmason 1h ago 0 comments

AMD Unveils Ryzen AI Z2 Extreme with AI Processing NPU (tomshardware.com)

2 points by layer8 1h ago 1 comments

Ask HN: Is there an organization that grades the actual usability of OSS?

2 points by mathewpregasen 1h ago 0 comments

Pijul – Elpe. Yaks big. Razors bigger (pijul.org)

2 points by todsacerdoti 1h ago 0 comments

What is nihilism? Teen in shooting plot, car bomber subscribed to same ideology (cnn.com)

3 points by andy99 1h ago 0 comments

Classifying Dithering Algorithms with ML (community.wolfram.com)

1 points by amai 1h ago 0 comments

Ask HN: What Happened to the Apple Vision Pro?

4 points by pera 1h ago 6 comments

Show HN: AI Roast your startup website (burnmywebsite.com)

1 points by roozka10 1h ago 2 comments

Meme Stocks Made Him a Fortune. Now He's Betting on Flying Taxis

2 Bostonian 1 6/8/2025, 6:09:29 PM wsj.com ↗

Comments (1)

Bostonian · 3h ago

https://archive.is/7NGvM

The article is about Jason Mudrick, whose company is Vertical Aerospace, symbol EVTL.