Verifying F# with the Fidelity Framework Approach

https://speakez.ai/blog/verifying-fsharp/

1•minkzilla•59s ago•0 comments

Show HN: SoloDB – A document database build on top of SQLite with JSONB

https://github.com/Unconcurrent/SoloDB

1•falsename•2m ago•0 comments

Agentic Patterns

https://agentic-patterns.com/

1•nkko•3m ago•0 comments

Overcoming information overload with circular attention economies

https://paragraph.com/@sense-nets/circular-attention

1•nemoniac•6m ago•0 comments

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

https://blog.regehr.org/archives/952

1•alephnerd•11m ago•0 comments

Excess US Deaths Before, During, and After the Covid-19 Pandemic

https://jamanetwork.com/journals/jama-health-forum/fullarticle/2834281

1•PaulHoule•15m ago•0 comments

Space Forge raises $30M Series A to make chip materials in space

https://techcrunch.com/2025/05/31/space-forge-raises-30m-series-a-to-make-chip-materials-in-space/

1•rntn•15m ago•0 comments

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

https://home.uchicago.edu/%7Ehortacsu/onlinedating.pdf

1•TMWNN•16m ago•0 comments

Show HN: Claude Code Gitea Action

https://markwylde.com/blog/bringing-claude-code-to-gitea/

1•turblety•16m ago•0 comments

Scott Alexander Replies

https://marginalrevolution.com/marginalrevolution/2025/05/scott-alexander-replies.html

1•paulpauper•20m ago•0 comments

Science Funding Pays for Itself

https://gabrielweinberg.com/p/how-science-funding-literally-pays

3•paulpauper•22m ago•0 comments

Show HN: The Uselessly Useful App

https://github.com/oitcode/samarium

2•klusmid•25m ago•0 comments

Secure Data Connectivity for the Modern AI Era

https://slack.dev/secure-data-connectivity-for-the-modern-ai-era/

1•nkotov•30m ago•0 comments

Verifying Exabytes of Data (2016)

https://dropbox.tech/infrastructure/pocket-watch

1•cat-whisperer•32m ago•0 comments

D3D12 Shader Execution Reordering

https://devblogs.microsoft.com/directx/ser/

1•ibobev•32m ago•0 comments

D3D12 Opacity Micromaps

https://devblogs.microsoft.com/directx/omm/

1•ibobev•34m ago•0 comments

Why Agile Teams Are Winning the Race to Create AI-Ready Cultures

https://www.inc.com/entrepreneurs-organization/why-agile-teams-are-winning-the-race-to-creating-ai-ready-cultures/91194418

1•MarcoDewey•36m ago•0 comments

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

https://www.yamlstudio.com/

2•logesh2003d•36m ago•0 comments

The Great Pivot: Hollywood Studios Are Moving Beyond AI Experimentation

https://www.thewrap.com/ai-on-the-lot-hollywood-studio-experimentation/

1•ilamont•37m ago•0 comments

Show HN: Chatterbox-TTS-Server – Easy web UI for the new open-source TTS model

https://github.com/devnen/Chatterbox-TTS-Server

1•devnen•39m ago•0 comments

Inside a phone smuggled out of North Korea [video]

https://www.bbc.com/news/videos/cewd82p09l0o

3•thunderbong•40m ago•0 comments

A Lean companion to Analysis I

https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/

33•jeremyscanvic•46m ago•2 comments

Hidden Bear: The GRU hackers of Russia's most notorious kill squad

https://theins.press/en/inv/281731

1•dralley•47m ago•0 comments

A pigment‑marked object in the context of Neanderthal symbolic behavior

https://link.springer.com/article/10.1007/s12520-025-02243-1

3•bookofjoe•49m ago•0 comments

What is 32-bit Float Recording?

https://tascam.jp/int/feature/32-bit_float

1•chaosprint•51m ago•0 comments

PunchCard Key Backup

https://volution.ro/pckb/

1•todsacerdoti•51m ago•0 comments

The Terrible Truth About Sherita, Brooklyn's Beloved Billboard Dinosaur

https://www.thecity.nyc/2025/05/19/sherita-billboard-dinosaur-mystery-real-estate-deed-theft/

2•mooreds•54m ago•0 comments

NASA's Magellan Mission Reveals Possible Tectonic Activity on Venus

https://www.nasa.gov/missions/magellan/nasas-magellan-mission-reveals-possible-tectonic-activity-on-venus/

3•XzetaU8•54m ago•1 comments

Being Liked or "Mistaking Harmony for Health"

https://jamesjboyer.substack.com/p/on-being-liked-or-mistaking-harmony

2•mooreds•56m ago•0 comments

The same incident never happens twice, but the patterns recur over and over

https://surfingcomplexity.blog/2025/05/26/the-same-incident-never-happens-twice-but-the-patterns-recur-over-and-over/

3•mooreds•57m ago•0 comments

Verifying F# with the Fidelity Framework Approach

Show HN: SoloDB – A document database build on top of SQLite with JSONB

Agentic Patterns

Overcoming information overload with circular attention economies

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

Excess US Deaths Before, During, and After the Covid-19 Pandemic

Space Forge raises $30M Series A to make chip materials in space

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

Show HN: Claude Code Gitea Action

Scott Alexander Replies

Science Funding Pays for Itself

Show HN: The Uselessly Useful App

Secure Data Connectivity for the Modern AI Era

Verifying Exabytes of Data (2016)

D3D12 Shader Execution Reordering

D3D12 Opacity Micromaps

Why Agile Teams Are Winning the Race to Create AI-Ready Cultures

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

The Great Pivot: Hollywood Studios Are Moving Beyond AI Experimentation

Show HN: Chatterbox-TTS-Server – Easy web UI for the new open-source TTS model

Inside a phone smuggled out of North Korea [video]

A Lean companion to Analysis I

Hidden Bear: The GRU hackers of Russia's most notorious kill squad

A pigment‑marked object in the context of Neanderthal symbolic behavior

What is 32-bit Float Recording?

PunchCard Key Backup

The Terrible Truth About Sherita, Brooklyn's Beloved Billboard Dinosaur

NASA's Magellan Mission Reveals Possible Tectonic Activity on Venus

Being Liked or "Mistaking Harmony for Health"

The same incident never happens twice, but the patterns recur over and over

The Flash Fill Feature in Excel (2021)

Verifying F# with the Fidelity Framework Approach

Show HN: SoloDB – A document database build on top of SQLite with JSONB

Agentic Patterns

Overcoming information overload with circular attention economies

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

Excess US Deaths Before, During, and After the Covid-19 Pandemic

Space Forge raises $30M Series A to make chip materials in space

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

Show HN: Claude Code Gitea Action

Scott Alexander Replies

Science Funding Pays for Itself

Show HN: The Uselessly Useful App

Secure Data Connectivity for the Modern AI Era

Verifying Exabytes of Data (2016)

D3D12 Shader Execution Reordering

D3D12 Opacity Micromaps

Why Agile Teams Are Winning the Race to Create AI-Ready Cultures

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

The Great Pivot: Hollywood Studios Are Moving Beyond AI Experimentation

Show HN: Chatterbox-TTS-Server – Easy web UI for the new open-source TTS model

Inside a phone smuggled out of North Korea [video]

A Lean companion to Analysis I

Hidden Bear: The GRU hackers of Russia's most notorious kill squad

A pigment‑marked object in the context of Neanderthal symbolic behavior

What is 32-bit Float Recording?

PunchCard Key Backup

The Terrible Truth About Sherita, Brooklyn's Beloved Billboard Dinosaur

NASA's Magellan Mission Reveals Possible Tectonic Activity on Venus

Being Liked or "Mistaking Harmony for Health"

The same incident never happens twice, but the patterns recur over and over