fp.

Creusot helps you prove your Rust code is correct

https://github.com/creusot-rs/creusot/tree/master

1•fanf2•1m ago•0 comments

AI Marketing and Growth Specilaist

1•AiGrowth•1m ago•0 comments

Soviet 80s supercomputer project "Start"

https://start.iis.nsk.su/

1•phront•2m ago•0 comments

The Visa Empire: Borders as a Business

https://www.lighthousereports.com/investigation/the-visa-empire-borders-as-a-business/

1•prakhar897•3m ago•0 comments

Giving LLMs a Formal Reasoning Engine for Code Analysis

https://yogthos.net/posts/2026-04-08-neurosymbolic-mcp.html

1•davidjade•4m ago•1 comments

New ad intelligence beta for app marketers –TikTok live,Meta/Google/Apple coming

https://appstorestatistics.com/ads-intelligence

1•tkrenn06•4m ago•0 comments

Spread: A simple, fast spreadsheet viewer written in Rust using GPUI

https://github.com/samuelcolvin/spread

1•sbt567•5m ago•0 comments

New York Passes Tax on the Ultra-Wealthy

https://www.cnbc.com/2026/05/28/new-york-mamdani-pied-a-terre-tax-passes.html

2•proofofcontempt•5m ago•0 comments

European Software

https://niqwithq.com/posts/european-software

1•speckx•7m ago•0 comments

Garnix Is Shutting Down

https://old.reddit.com/r/NixOS/comments/1tq47o4/garnix_is_shutting_down_and_being_open_sourced

1•flurie•8m ago•0 comments

Local-First and Portable CI

https://prefix.dev/blog/portable-ci-with-pixi

2•synparb•9m ago•0 comments

CNN sues Perplexity over 'verbatim' copycat articles

https://www.theverge.com/ai-artificial-intelligence/938893/cnn-perplexity-ai-copyright-lawsuit

1•thm•9m ago•0 comments

Learning from Ava:Lessons from Trustworthy AI for Policy and Dev Research

https://arxiv.org/abs/2604.17843

1•hek2sch•9m ago•0 comments

The Upcoming Sunset of DataSpell

https://blog.jetbrains.com/dataspell/2026/05/the-upcoming-sunset-of-dataspell/

1•BewareTheYiga•9m ago•1 comments

The 'brain as radio' model of consciousness – and what it means for AGI

https://www.salars.net/consciousness/brain-as-broadcast-receiver-series-part-1-the-radio-in-your-...

1•rsalars•10m ago•0 comments

Modern C++ Tutorial: C++ 11/14/17/20 On the Fly

https://changkun.de/modern-cpp/

1•ibobev•10m ago•0 comments

Searching for Birds

https://SearchingForBirds.VisualCinnamon.com/

1•robin_reala•10m ago•0 comments

Why Google's AI can't spell Google (or anything else)

https://techcrunch.com/2026/05/27/why-googles-ai-cant-spell-google-or-anything-else/

1•Brajeshwar•10m ago•0 comments

Websites have a new way to spy on visitors: analyzing their SSD activity

https://arstechnica.com/security/2026/05/websites-have-a-new-way-to-spy-on-visitors-analyzing-the...

2•Brajeshwar•11m ago•0 comments

Cache Hierarchy Matters for Pragmatism

https://www.khola.blog/p/the-pragmatic-programmer-after-the

1•bcapchickadee•11m ago•0 comments

Wix laying off about 20% of its workforce. CEO cites AI, exchange rates

https://www.cnbc.com/2026/05/28/wix-layoffs-ai-exchange-rates.html

2•tcp_handshaker•12m ago•1 comments

Anonymous plaintiffs have asked a NYC court to declare them owners of 3.8M BTC

https://www.galaxy.com/insights/research/satoshi-bitcoin-salomon-brothers-patoshi-abandoned-prope...

1•int32_64•12m ago•0 comments

Valve hikes Steam Deck prices by more than 40%, blaming rising costs

https://www.bbc.com/news/articles/cz725d5d1x7o

3•-1•13m ago•0 comments

Lichen as the common ancestor of all life on Earth

https://eukaryotewritesblog.com/2026/04/02/big-lichen/

2•surprisetalk•13m ago•0 comments

U.S. and Iran reach deal but need Trump's final approval, officials say

https://www.axios.com/2026/05/28/iran-peace-deal-trump-approval

1•r721•13m ago•0 comments

A new tool to fight hallucinations in preprints

https://paperpile.com/blog/citation-checker-hallucinations/

3•bcjordan•14m ago•0 comments

Oura Ring 5 is here

https://ouraring.com/store/rings/oura-ring-5

2•boogdan•17m ago•0 comments

Lithium recovery set to grow 50x as Europe maps 'urban mine' for raw materials

1•Vaslo•18m ago•0 comments

Tuning in FM Radio on a 3D Printer Heatbed

https://www.jeffgeerling.com/blog/2026/tuning-in-fm-radio-on-a-3d-printer-heatbed/

1•speckx•18m ago•0 comments

Creusot helps you prove your Rust code is correct

AI Marketing and Growth Specilaist

Soviet 80s supercomputer project "Start"

The Visa Empire: Borders as a Business

Giving LLMs a Formal Reasoning Engine for Code Analysis

New ad intelligence beta for app marketers –TikTok live,Meta/Google/Apple coming

Spread: A simple, fast spreadsheet viewer written in Rust using GPUI

New York Passes Tax on the Ultra-Wealthy

European Software

Garnix Is Shutting Down

Local-First and Portable CI

CNN sues Perplexity over 'verbatim' copycat articles

Learning from Ava:Lessons from Trustworthy AI for Policy and Dev Research

The Upcoming Sunset of DataSpell

The 'brain as radio' model of consciousness – and what it means for AGI

Modern C++ Tutorial: C++ 11/14/17/20 On the Fly

Searching for Birds

Why Google's AI can't spell Google (or anything else)

Websites have a new way to spy on visitors: analyzing their SSD activity

Cache Hierarchy Matters for Pragmatism

Wix laying off about 20% of its workforce. CEO cites AI, exchange rates

Anonymous plaintiffs have asked a NYC court to declare them owners of 3.8M BTC

Valve hikes Steam Deck prices by more than 40%, blaming rising costs

Lichen as the common ancestor of all life on Earth

U.S. and Iran reach deal but need Trump's final approval, officials say

A new tool to fight hallucinations in preprints

Sponsored Is the New Organic: Implications of Sponsored Results in Amazon (2024)

Oura Ring 5 is here

Lithium recovery set to grow 50x as Europe maps 'urban mine' for raw materials

Tuning in FM Radio on a 3D Printer Heatbed

Show HN: Free Tool to Analyze Content Security Policies

Creusot helps you prove your Rust code is correct

AI Marketing and Growth Specilaist

Soviet 80s supercomputer project "Start"

The Visa Empire: Borders as a Business

Giving LLMs a Formal Reasoning Engine for Code Analysis

New ad intelligence beta for app marketers –TikTok live,Meta/Google/Apple coming

Spread: A simple, fast spreadsheet viewer written in Rust using GPUI

New York Passes Tax on the Ultra-Wealthy

European Software

Garnix Is Shutting Down

Local-First and Portable CI

CNN sues Perplexity over 'verbatim' copycat articles

Learning from Ava:Lessons from Trustworthy AI for Policy and Dev Research

The Upcoming Sunset of DataSpell

The 'brain as radio' model of consciousness – and what it means for AGI

Modern C++ Tutorial: C++ 11/14/17/20 On the Fly

Searching for Birds

Why Google's AI can't spell Google (or anything else)

Websites have a new way to spy on visitors: analyzing their SSD activity

Cache Hierarchy Matters for Pragmatism

Wix laying off about 20% of its workforce. CEO cites AI, exchange rates

Anonymous plaintiffs have asked a NYC court to declare them owners of 3.8M BTC

Valve hikes Steam Deck prices by more than 40%, blaming rising costs

Lichen as the common ancestor of all life on Earth

U.S. and Iran reach deal but need Trump's final approval, officials say

A new tool to fight hallucinations in preprints

Sponsored Is the New Organic: Implications of Sponsored Results in Amazon (2024)

Oura Ring 5 is here

Lithium recovery set to grow 50x as Europe maps 'urban mine' for raw materials

Tuning in FM Radio on a 3D Printer Heatbed