Status of US Ports and Tariffs – May 26, 2025 (youtube.com)

1 points by belter 14s ago 0 comments

I Am an Audience, First and Foremost (ratsfromrocks.substack.com)

1 points by samclemens 29s ago 0 comments

Chuuchuu - Train travel, made smart (chuuchuu.com)

1 points by recvonline 53s ago 0 comments

Why the Original Macintosh Had a Screen Resolution of 512×324 (512pixels.net)

1 points by ingve 54s ago 0 comments

Building your own Atomic (bootc) Desktop (fedoramagazine.org)

1 points by PaulHoule 1m ago 0 comments

Vibe coders, would you use this? (vybecheck.io)

1 points by spencerh21 2m ago 0 comments

iOS 19 may let you transfer your iPhone's eSIM to an Android phone (androidauthority.com)

1 points by maxloh 2m ago 0 comments

What's Next for Qubits? (lanl.gov)

1 points by LAsteNERD 4m ago 1 comments

'Crazy' data rules hit German plans to boost army reserve (ft.com)

1 points by Michelangelo11 5m ago 0 comments

The 'Man-Eater' Screwworm Is Coming (theatlantic.com)

1 points by littlexsparkee 6m ago 1 comments

Reasoning Gym: Procedural Dataset Generation for Reinforcement Learning (github.com)

1 points by starzmustdie 8m ago 0 comments

Apple to Debut Dedicated Gaming App Within Days of Switch 2's Arrival (bloomberg.com)

1 points by spenvo 10m ago 0 comments

Julia's Package Registration Tooling (ericphanson.com)

1 points by TheWiggles 12m ago 0 comments

Neural Network Checklist (ekernf01.github.io)

1 points by jxmorris12 12m ago 0 comments

Show HN: Carolina Cloud – the farm-to-table of cloud computing (carolinacloud.io)

1 points by bojangleslover 13m ago 0 comments

How to Create Your Own Meeting Prep Bot with Zapier Agents (ideakitchen.substack.com)

1 points by remoteworkprep 13m ago 0 comments

Breaking Down the $524B Investment Needed to Rebuild Ukraine (visualcapitalist.com)

1 points by mdp2021 14m ago 0 comments

Ultimate Linear Algebra Cheat Sheet (corca.app)

1 points by OxfordCommand 15m ago 0 comments

AI agents don't care about your pretty website or tempting ads (theregister.com)

2 points by rntn 15m ago 0 comments

It's possible – but not easy – to ship a package to North Korea (businessinsider.com)

1 points by austinallegro 18m ago 0 comments

Cromulent (merriam-webster.com)

1 points by kaycebasques 19m ago 1 comments

The Formation of the WordPress AI Team (wordpress.org)

1 points by speckx 20m ago 0 comments

Microsoft open-sources Windows Subsystem for Linux (arstechnica.com)

1 points by michalpleban 20m ago 2 comments

Pornhub and three other adult websites face EU child safety investigation (theguardian.com)

2 points by unnervingduck 21m ago 0 comments

PHP Views Package – Templating Made Easy with Blade and Model-Driven Approach (prosopo.io)

1 points by arbol 21m ago 0 comments

Water isn't always the best answer to BESS fires (pv-magazine-usa.com)

1 points by gnabgib 22m ago 0 comments

A Reaction to Alzheimer's Fraud (science.org)

2 points by merksittich 23m ago 0 comments

The Un-Marketing Guide: CrossOver vs. Parallels (codeweavers.com)

1 points by speckx 25m ago 0 comments

Trade Crime Is Soaring, U.S. Firms Say, as Trump's Tariffs Incentivize Fraud (nytimes.com)

3 points by ceejayoz 27m ago 0 comments

The Joy of Skateboarding over Brick (dirt.fyi)

1 points by ohjeez 27m ago 0 comments

Show HN: I made a free web app security platform (ex-StarCraft pro turned dev) (wraithscan.com)

2 points by theognis1002 29m ago 1 comments

The sun is killing off SpaceX's Starlink satellites (newscientist.com)

3 points by hubraumhugo 31m ago 0 comments

Git: Interactive Staging (git-scm.com)

1 points by tosh 33m ago 0 comments

Autocommand · PyPI (pypi.org)

1 points by kamaraju 33m ago 0 comments

Instant terminal sharing; using Zellij (github.com)

2 points by baccenfutter 35m ago 1 comments

Texas enacts age-verification law for app stores (engadget.com)

3 points by speckx 36m ago 0 comments

Scientists discover a way to convert corn waste into low-cost sugar for biofuel (techxplore.com)

2 points by PaulHoule 38m ago 1 comments

Finite-Choice Logic Programming (POPL 2025) [video] (youtube.com)

1 points by matt_d 38m ago 0 comments

What a Difference a Faster Hash Makes (nickdrozd.github.io)

1 points by emschwartz 38m ago 0 comments

Qt's New Bridging Technology – Looking Back to Move Forward (qt.io)

2 points by YakBizzarro 39m ago 0 comments

3D Render of Resident evil 2 assets (github.com)

4 points by elmarsan 40m ago 0 comments

Pixpal: A user friendly AI chat with image editing and mini app creator (pixpal.chat)

1 points by AndreasPaps 41m ago 1 comments

Recreating S3 in Postgres Using PostgREST (neon.tech)

3 points by carlotasoto 41m ago 0 comments

Cisco security flaw exploited to build botnet of devices (techradar.com)

1 points by DocFeind 41m ago 0 comments

Emergent | World's first agentic vibe-coding platform (app.emergent.sh)

1 points by birriel 42m ago 0 comments

Show HN: Headroom Mac Application for Podcasters for Episode Publishing with AI (headroom.ee)

2 points by konstantint 44m ago 1 comments

Budget bill could decimate legal accountability for tech (techpolicy.press)

1 points by anigbrowl 45m ago 0 comments

Zen-Style Programming (2008) (t3x.org)

2 points by tosh 45m ago 0 comments

j1-micro and j1-nano: Tiny (0.6B, 1.7B) and Mighty Reward Models (github.com)

3 points by leonardtang 51m ago 0 comments

Life's Ancient Bottleneck (quillette.com)

1 points by NaOH 51m ago 0 comments

Grammars of Formal Uncertainty

28 barthelomew 3 5/27/2025, 2:27:19 AM arxiv.org ↗

Comments (3)

pizza · 16h ago

This seems like the type of work that, whether or not it itself is profound (which I believe it seems it is), will accelerate the forthbringing of derivative works that will definitely be profound.

molmoai · 9h ago

Elegant indeed. Bridges the formal and probabilistic paradigms

molmoai · 9h ago

Brings out a refreshing perspective to LLM guarantees. Very good work.