Timothy Gowers – Why Are LLMs Not Better at Finding Proofs? [video] (youtube.com)

1 points by AbstractPlay 33s ago 0 comments

Tolstoy (dominiccummings.substack.com)

1 points by Michelangelo11 52s ago 0 comments

Detection of X-ray emission from a bright long-period radio transient (nature.com)

1 points by dylan604 1m ago 0 comments

2024 App Store Transparency Report [pdf] (apple.com)

1 points by reaperducer 6m ago 0 comments

I built a headless React chatbot widget for full UI control (npmjs.com)

1 points by Candoa 10m ago 1 comments

Waltz into Space (space.vienna.info)

1 points by thm 14m ago 0 comments

Fluid compute: Evolving serverless for AI workloads (vercel.com)

1 points by javiercr 15m ago 0 comments

Optimizing SFI Performance and Scalability on Modern Architectures [pdf] (shravanrn.com)

1 points by luu 15m ago 0 comments

AI Shouldn't Replace What We Love to Do (yordi.me)

1 points by Froodooo 17m ago 0 comments

Stackless Traversal (2018) (dyalog.com)

1 points by ofalkaed 20m ago 0 comments

A Measured Response to Bentham's Bulldog (maximumeffort.substack.com)

1 points by paulpauper 23m ago 0 comments

Verifying F# with the Fidelity Framework Approach (speakez.ai)

1 points by minkzilla 35m ago 0 comments

Show HN: SoloDB – A document database build on top of SQLite with JSONB (github.com)

1 points by falsename 36m ago 0 comments

Agentic Patterns (agentic-patterns.com)

3 points by nkko 38m ago 0 comments

Overcoming information overload with circular attention economies (paragraph.com)

1 points by nemoniac 40m ago 0 comments

Computer Science Culture Clash (2012) (blog.regehr.org)

1 points by alephnerd 46m ago 0 comments

Excess US Deaths Before, During, and After the Covid-19 Pandemic (jamanetwork.com)

1 points by PaulHoule 49m ago 0 comments

Space Forge raises $30M Series A to make chip materials in space (techcrunch.com)

1 points by rntn 50m ago 0 comments

What Makes You Click? Mate Preferences+Matching Outcomes in Online Dating (2006) [pdf] (home.uchicago.edu)

1 points by TMWNN 50m ago 0 comments

Show HN: Claude Code Gitea Action (markwylde.com)

1 points by turblety 51m ago 0 comments

Scott Alexander Replies (marginalrevolution.com)

2 points by paulpauper 54m ago 0 comments

Science Funding Pays for Itself (gabrielweinberg.com)

5 points by paulpauper 56m ago 0 comments

Show HN: The Uselessly Useful App (github.com)

2 points by klusmid 59m ago 0 comments

Secure Data Connectivity for the Modern AI Era (slack.dev)

1 points by nkotov 1h ago 0 comments

Verifying Exabytes of Data (2016) (dropbox.tech)

1 points by cat-whisperer 1h ago 0 comments

D3D12 Shader Execution Reordering (devblogs.microsoft.com)

1 points by ibobev 1h ago 0 comments

D3D12 Opacity Micromaps (devblogs.microsoft.com)

1 points by ibobev 1h ago 0 comments

Why Agile Teams Are Winning the Race to Create AI-Ready Cultures (inc.com)

1 points by MarcoDewey 1h ago 0 comments

Show HN: YAML Studio – Visual OpenAPI Editor (no code, no $refs) (yamlstudio.com)

2 points by logesh2003d 1h ago 0 comments

The Great Pivot: Hollywood Studios Are Moving Beyond AI Experimentation (thewrap.com)

1 points by ilamont 1h ago 0 comments

Show HN: Chatterbox-TTS-Server – Easy web UI for the new open-source TTS model (github.com)

1 points by devnen 1h ago 0 comments

Inside a phone smuggled out of North Korea [video] (bbc.com)

4 points by thunderbong 1h ago 0 comments

A Lean companion to Analysis I (terrytao.wordpress.com)

50 points by jeremyscanvic 1h ago 2 comments

Hidden Bear: The GRU hackers of Russia's most notorious kill squad (theins.press)

2 points by dralley 1h ago 0 comments

A pigment‑marked object in the context of Neanderthal symbolic behavior (link.springer.com)

4 points by bookofjoe 1h ago 0 comments

What is 32-bit Float Recording? (tascam.jp)

1 points by chaosprint 1h ago 1 comments

PunchCard Key Backup (volution.ro)

1 points by todsacerdoti 1h ago 0 comments

The Terrible Truth About Sherita, Brooklyn's Beloved Billboard Dinosaur (thecity.nyc)

2 points by mooreds 1h ago 0 comments

NASA's Magellan Mission Reveals Possible Tectonic Activity on Venus (nasa.gov)

4 points by XzetaU8 1h ago 1 comments

Being Liked or "Mistaking Harmony for Health" (jamesjboyer.substack.com)

2 points by mooreds 1h ago 0 comments

The same incident never happens twice, but the patterns recur over and over (surfingcomplexity.blog)

3 points by mooreds 1h ago 0 comments

Progressive JSON (overreacted.io)

3 points by danabramov 1h ago 0 comments

A Shift In The Core Values of Technology Makers (twitter.com)

1 points by avithedev 1h ago 2 comments

AI Can Build Your App. You Can't Even Center a Div (jamshidbekboynazarov.medium.com)

2 points by thunderbong 1h ago 0 comments

How Can AI Researchers Save Energy? By Going Backward (quantamagazine.org)

2 points by rbanffy 1h ago 0 comments

Nissan's Fire Sale of Its HQ Marks the End of Carlos Ghosn's Shattered Legacy (jalopnik.com)

2 points by rntn 1h ago 0 comments

Bug in Mutter breaks mouse behavior in Fedora, Arch and more (old.reddit.com)

2 points by yellow_lead 1h ago 0 comments

Trump Administration Ends Program Critical to Search for an HIV Vaccine (nytimes.com)

7 points by amarcheschi 1h ago 0 comments

Apple Shares 2024 App Store Data: Rejections, Removals, and More (macrumors.com)

1 points by davidjade 1h ago 0 comments

Enhancing Code Quality with Generative AI: Boosting Developer Warning Compliance (arxiv.org)

1 points by PaulHoule 1h ago 0 comments

The Talk Show Live, Without Apple

3 goranmoomin 0 5/30/2025, 10:19:47 PM mjtsai.com ↗

Comments (0)

No comments yet