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

1 points by minkzilla 5m ago 0 comments

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

1 points by falsename 6m ago 0 comments

Agentic Patterns (agentic-patterns.com)

1 points by nkko 8m ago 0 comments

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

1 points by nemoniac 10m ago 0 comments

Computer Science Culture Clash – the engineering vs. math perspective (2012) (blog.regehr.org)

1 points by alephnerd 15m ago 0 comments

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

1 points by PaulHoule 19m ago 0 comments

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

1 points by rntn 19m ago 0 comments

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

1 points by TMWNN 20m ago 0 comments

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

1 points by turblety 20m ago 0 comments

Scott Alexander Replies (marginalrevolution.com)

1 points by paulpauper 24m ago 0 comments

Science Funding Pays for Itself (gabrielweinberg.com)

4 points by paulpauper 26m ago 0 comments

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

2 points by klusmid 29m ago 0 comments

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

1 points by nkotov 34m ago 0 comments

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

1 points by cat-whisperer 36m ago 0 comments

D3D12 Shader Execution Reordering (devblogs.microsoft.com)

1 points by ibobev 37m ago 0 comments

D3D12 Opacity Micromaps (devblogs.microsoft.com)

1 points by ibobev 38m ago 0 comments

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

1 points by MarcoDewey 40m ago 0 comments

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

2 points by logesh2003d 41m ago 0 comments

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

1 points by ilamont 41m ago 0 comments

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

1 points by devnen 43m ago 0 comments

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

3 points by thunderbong 44m ago 0 comments

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

34 points by jeremyscanvic 50m ago 2 comments

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

1 points by dralley 51m ago 0 comments

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

3 points by bookofjoe 54m ago 0 comments

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

1 points by chaosprint 55m ago 0 comments

PunchCard Key Backup (volution.ro)

1 points by todsacerdoti 55m ago 0 comments

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

2 points by mooreds 58m ago 0 comments

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

4 points by XzetaU8 59m 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)

2 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

Is every memecoin just a scam? (theguardian.com)

8 points by gandalfian 1h ago 2 comments

Configure Your Git [video] (youtube.com)

1 points by todsacerdoti 1h ago 0 comments

Can We Afford Large-Scale Solar PV? (construction-physics.com)

1 points by rbanffy 1h ago 0 comments

Half Spectre, Full Exploit: Hardening Rowhammer Attacks with Half-Spectre Gadge [pdf] (download.vusec.net)

1 points by todsacerdoti 1h ago 0 comments

AI-Powered REPL with Clojure MCP, Next Generation Developer Experience (metosin.fi)

1 points by jgrodziski 1h ago 0 comments

Anyone can use AI to 'vibe code.' Could that put programmers out of a job? (wgbh.org)

1 points by ciwolex 1h ago 2 comments

OsintTube: Easy-to-Use YouTube Osint Tool (github.com)

1 points by rdwei 1h ago 0 comments

Show HN: AI-Powered Receipt and Invoice Generator (LLM-Agnostic, Prompt-Based)

1 points by maxime_wellapp 1h ago 1 comments

Charted: The Most Educated Countries (visualcapitalist.com)

1 points by rbanffy 1h ago 0 comments

Teaching AI Like a Kindergartner Could Make It Smarter (singularityhub.com)

1 points by Brajeshwar 1h ago 0 comments

Silencing the Witches in Georgia High School "Crucible" (hesherman.com)

1 points by hn_acker 1h ago 1 comments

Build123d: A Python CAD programming library

4 fanf2 0 5/30/2025, 2:42:04 PM github.com ↗

Comments (0)

No comments yet