Bringing ISA semantics to Lean and Lean-MLIR – Léo Stefanesco [video] (youtube.com)

1 points by matt_d 30s ago 0 comments

ReVision: Video Generation with Explicit 3D Physics Modeling for Complex Motion (arxiv.org)

1 points by badmonster 2m ago 0 comments

Vibe Coding, Final Word (funcall.blogspot.com)

1 points by todsacerdoti 6m ago 0 comments

Fast(er) regular expression engines in Ruby (serpapi.com)

1 points by davidsojevic 6m ago 0 comments

Soviet-era spacecraft expected to plunge uncontrolled to Earth next week (theguardian.com)

1 points by n1b0m 7m ago 0 comments

What's Another $100 (quality.ghost.io)

1 points by notkoalas 8m ago 0 comments

Square Root Day (en.wikipedia.org)

2 points by fintler 9m ago 1 comments

Two-phase chip cooling with manifold-capillary structures enables 10⁵ COP (sciencedirect.com)

1 points by PaulHoule 9m ago 0 comments

The first driverless semis have started running regular longhaul routes (cnn.com)

1 points by e12e 10m ago 0 comments

Yahoo publishing ChatGPT-generated fake articles (whereisthebuzz.com)

2 points by sdkfjalsdgj 12m ago 1 comments

Reddit data breach: undeletes all your post & comments, again ... (old.reddit.com)

1 points by ballerburg9006 15m ago 3 comments

An Inside Look at the NYC Subway's Archaic Signal System (nytimes.com)

1 points by bookofjoe 16m ago 1 comments

From Genesis to AI: Simulation Theology and Language Models (thomaslemstrom.substack.com)

2 points by AhaDay 17m ago 0 comments

North American bird populations suffering decline (news.cornell.edu)

1 points by geox 23m ago 0 comments

'I found your dad': The mystery of a missing climber (espn.com)

1 points by gmays 30m ago 0 comments

Mexico Issues Travel Heath Notice for the U.S. and Canada [pdf] (gob.mx)

1 points by impish9208 35m ago 3 comments

Elon Musk's xAI in Memphis: 35 gas turbines, no air pollution permits (eenews.net)

8 points by zzzeek 36m ago 0 comments

2024 Zero-Day Exploitation Analysis (cloud.google.com)

3 points by wslh 36m ago 0 comments

Chat to multiple documents (pdf, word doc, excel) using AI (docla.app)

1 points by xysystems 37m ago 0 comments

NPM should remove the default license from new packages (ISC) (extremq.com)

4 points by thunderbong 38m ago 0 comments

Show HN: Weatherspread, visualizing recent weather and tourism data (weatherspread.com)

3 points by mbforbes 40m ago 0 comments

RFK Jr. to require placebo-controlled studies for new vaccines (npr.org)

6 points by srameshc 42m ago 0 comments

Show HN: AICarma – See what AI tells customers about your brand (free for HN)

2 points by pneumaticteam 44m ago 0 comments

What New Orleans Taught Me (commonedge.org)

1 points by tintinnabula 48m ago 0 comments

The most subversive thing you can do is blog (snook.ca)

5 points by gnabgib 50m ago 0 comments

Windows has trouble finding Win32 resource if it contains an accented character (devblogs.microsoft.com)

2 points by sohkamyung 52m ago 0 comments

Sam Altman's Eye-Scanning ID Project Launches in US (cnbc.com)

5 points by m463 59m ago 1 comments

Wikipedia is using (some) generative AI now (theverge.com)

1 points by handfuloflight 1h ago 4 comments

Spotify has an app ready to test Apple's new rules (theverge.com)

1 points by ivanmontillam 1h ago 0 comments

NSF stops awarding new grants and funding existing ones (nature.com)

10 points by strangeloops85 1h ago 1 comments

Ask HN: AI Ethics

4 points by treebeard901 1h ago 0 comments

How is Microsoft getting away with this?

2 points by chrisjj 1h ago 0 comments

The little-known database at the heart of Kennedy's vaccine conspiracy theory (nbcnews.com)

7 points by coloneltcb 1h ago 0 comments

BrewIQ – A Data-Powered Tool That Tells You When It's Safe to Drink Coffee (brewcheck.info)

1 points by peterek81 1h ago 1 comments

At Last Ft. Alex Blania and Sam Altman [video] (youtube.com)

3 points by caseyy 1h ago 1 comments

LIVE: 4 Headless AI agents vibecoding Erlang/Elixir/Rust whilst I sleep [video] (youtube.com)

1 points by ghuntley 1h ago 0 comments

[Steve Mould:] "I made microscopic drone shots" [video] (youtube.com)

1 points by mdp2021 1h ago 0 comments

'I Have Cancer,' the TikTok Star Said. Then Came the Torrent of Hate (nytimes.com)

4 points by whyenot 1h ago 6 comments

Novel bacterial strain expands options for more sustainable soybean production (phys.org)

2 points by PaulHoule 1h ago 0 comments

GitHub now provides a warning about hidden Unicode text (github.blog)

2 points by elashri 1h ago 0 comments

Gates reflects upon a 50-year-old computer code that reshaped technology (apnews.com)

1 points by geox 1h ago 2 comments

The Day Anubis Saved Our Websites from a DDoS Attack (fabulous.systems)

70 points by DoctorOW 1h ago 30 comments

Convert any OpenAPI v3 spec to an MCP server (github.com)

1 points by dhorthy 1h ago 0 comments

Humble Bundle raises prices for Euro and Canadian subscribers (old.reddit.com)

6 points by yabatopia 1h ago 0 comments

Iran had imperial ambitions in Syria. Secret embassy papers show why it failed (reuters.com)

2 points by JumpCrisscross 1h ago 0 comments

What went wrong at Bed Bath and Beyond (2023) (knowledge.wharton.upenn.edu)

2 points by noleary 1h ago 2 comments

The antibiotic that takes the bite out of Lyme (news.northwestern.edu)

4 points by gnabgib 1h ago 0 comments

US Port Update – May 1, 2025; Latest Supply Chain and Freight Indicators [video] (youtube.com)

5 points by sbuttgereit 1h ago 0 comments

Opinions Are No Longer Yours [video] (youtube.com)

1 points by doener 1h ago 0 comments

Someone Said It to Joe Rogan's Face (theatlantic.com)

2 points by handfuloflight 1h ago 2 comments

A solar panel, A satellite internet, A crypto wallet, to become self-sufficent

1 znano 1 5/1/2025, 7:29:29 PM twitter.com ↗

Comments (1)

yokaiattack · 2h ago

An X post.