fp.

Proposals Repo, a place for ideas to start their incubation journey

https://github.com/WICG/proposals

1•nashashmi•2m ago•0 comments

Balancing persistence vs. pivoting – is grit a virtue or wasteful?

https://optimizedbyotto.com/post/balancing-persistence-vs-pivoting/

1•MaxMussio•3m ago•0 comments

Formal proof that agentic AI governance latency can be O(1) instead of O(days)

https://arxiv.org/abs/2605.17909

1•riddhimohan•4m ago•0 comments

Ask HN: Company is rapidly cutting AI tool spend how to prep team?

1•Snakes3727•6m ago•2 comments

Show HN: Memory Concierge – hotel concierge AI

https://memory-concierge.vercel.app

1•abhilash617•7m ago•0 comments

Using algebra and LLMs to verify a flight-plan bug fix in Lean

https://jameshaydon.github.io/algebra-llms-lean-flight-plan/

1•jameshh•10m ago•0 comments

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust

https://github.com/harmont-dev/hsrs

2•suis_siva•11m ago•0 comments

Digital Growth Starts Here – Digital Marketing Agency

1•magicalweb•11m ago•0 comments

Apple Silicon costs LESS than OpenRouter

https://twitter.com/rohan_sood15/status/2056585919805714777

2•rohansood15•15m ago•0 comments

LLMCap – A proxy that hard-stops LLM API calls when you hit a dollar cap

https://www.llmcap.io/

1•cfaruk•20m ago•0 comments

Frontier models at open source cost – hot new AI Model Router

https://www.orcarouter.ai/

1•sangwen•22m ago•0 comments

Active Supply Chain Attack Compromises Antv Packages on NPM

https://socket.dev/blog/antv-packages-compromised

2•882542F3884314B•23m ago•0 comments

Finnish spy chief warns Europe may never break free from foreign tech

https://www.politico.eu/article/europe-tech-dependent-us-china-fully-sovereign-finnish-intel-chief/

3•giuliomagnifico•25m ago•1 comments

New Database Back End for WDQS

https://www.wikidata.org/wiki/Wikidata:SPARQL_query_service/WDQS_backend_update/Backend_Replacement

1•altilunium•26m ago•0 comments

Google, Blackstone to Create AI Cloud Firm with In-House Chips

https://www.bloomberg.com/news/articles/2026-05-19/google-to-create-ai-cloud-business-with-blacks...

1•htrp•32m ago•0 comments

Cybersecurity Agency Leaves Its Digital Keys Out in Public on GitHub

https://gizmodo.com/the-worst-leak-that-ive-witnessed-u-s-cybersecurity-agency-leaves-its-digital...

5•WarOnPrivacy•38m ago•0 comments

Bornagain.com

http://bornagain.com/

7•gregsadetsky•39m ago•2 comments

The Explore-Exploit Dilemma in Media Consumption (2016)

https://gwern.net/media-rl

1•mcmoor•41m ago•0 comments

Going Analog

https://www.natemeyvis.com/going-analog/

2•speckx•42m ago•0 comments

The Strange Rock Ship of Masuda

https://offbeatjapan.com/rock-ship-of-masuda/

1•thunderbong•47m ago•0 comments

Getting Confidence in (Agentic) Code

https://ucsd-cse-115-215.github.io/sp26/lectures/04-correctness.html

1•matt_d•49m ago•0 comments

A Quarter Century of Unix (Peter Salus, 1994)

https://archive.org/details/aquartercenturyofunixpeterh.salus_201910

1•ninjin•50m ago•1 comments

TuriX AI launched the latest version

https://github.com/TurixAI/TuriX-CUA

1•turixai•53m ago•1 comments

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js

https://gist.github.com/japgolly/538875580ec648ca7517ce04d63dc009

1•japgolly•54m ago•1 comments

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs

https://co-tok.github.io/

1•matt_d•55m ago•0 comments

Benchmarking llama.cpp's new MTP support on Strix Halo

https://calebcoffie.com/blog/benchmarking-llama-cpp-mtp-on-strix-halo

2•CCoffie•57m ago•0 comments

Peter Neumann Has Died

https://www.tuhs.org/pipermail/tuhs/2026-May/033748.html

2•pabs3•59m ago•0 comments

What even IS runtime infrastructure?

https://blog.bridgexapi.io/why-developers-need-programmable-evm-runtime-infrastructure

Proposals Repo, a place for ideas to start their incubation journey

Balancing persistence vs. pivoting – is grit a virtue or wasteful?

Formal proof that agentic AI governance latency can be O(1) instead of O(days)

Ask HN: Company is rapidly cutting AI tool spend how to prep team?

Show HN: Memory Concierge – hotel concierge AI

Using algebra and LLMs to verify a flight-plan bug fix in Lean

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust

Digital Growth Starts Here – Digital Marketing Agency

Apple Silicon costs LESS than OpenRouter

LLMCap – A proxy that hard-stops LLM API calls when you hit a dollar cap

Frontier models at open source cost – hot new AI Model Router

Active Supply Chain Attack Compromises Antv Packages on NPM

Finnish spy chief warns Europe may never break free from foreign tech

New Database Back End for WDQS

Google, Blackstone to Create AI Cloud Firm with In-House Chips

Cybersecurity Agency Leaves Its Digital Keys Out in Public on GitHub

Bornagain.com

The Explore-Exploit Dilemma in Media Consumption (2016)

Going Analog

The Strange Rock Ship of Masuda

Getting Confidence in (Agentic) Code

A Quarter Century of Unix (Peter Salus, 1994)

TuriX AI launched the latest version

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs

Benchmarking llama.cpp's new MTP support on Strix Halo

Peter Neumann Has Died

What even IS runtime infrastructure?

Explore Punks NFT Collection on Polygon Blockchain

Show HN: Clark-Browser – Stealth Chromium

Going Analog

Proposals Repo, a place for ideas to start their incubation journey

Balancing persistence vs. pivoting – is grit a virtue or wasteful?

Formal proof that agentic AI governance latency can be O(1) instead of O(days)

Ask HN: Company is rapidly cutting AI tool spend how to prep team?

Show HN: Memory Concierge – hotel concierge AI

Using algebra and LLMs to verify a flight-plan bug fix in Lean

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust

Digital Growth Starts Here – Digital Marketing Agency

Apple Silicon costs LESS than OpenRouter

LLMCap – A proxy that hard-stops LLM API calls when you hit a dollar cap

Frontier models at open source cost – hot new AI Model Router

Active Supply Chain Attack Compromises Antv Packages on NPM

Finnish spy chief warns Europe may never break free from foreign tech

New Database Back End for WDQS

Google, Blackstone to Create AI Cloud Firm with In-House Chips

Cybersecurity Agency Leaves Its Digital Keys Out in Public on GitHub

Bornagain.com

The Explore-Exploit Dilemma in Media Consumption (2016)

Going Analog

The Strange Rock Ship of Masuda

Getting Confidence in (Agentic) Code

A Quarter Century of Unix (Peter Salus, 1994)

TuriX AI launched the latest version

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs

Benchmarking llama.cpp's new MTP support on Strix Halo

Peter Neumann Has Died

What even IS runtime infrastructure?

Explore Punks NFT Collection on Polygon Blockchain

Show HN: Clark-Browser – Stealth Chromium