fp.

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

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

1•jameshh•1m ago•0 comments

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

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

1•suis_siva•2m ago•0 comments

Digital Growth Starts Here – Digital Marketing Agency

1•magicalweb•3m ago•0 comments

Apple Silicon costs LESS than OpenRouter

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

2•rohansood15•6m ago•0 comments

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

https://www.llmcap.io/

1•cfaruk•11m ago•0 comments

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

https://www.orcarouter.ai/

1•sangwen•13m ago•0 comments

Active Supply Chain Attack Compromises Antv Packages on NPM

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

2•882542F3884314B•14m 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•16m 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•18m 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•24m 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...

2•WarOnPrivacy•30m ago•0 comments

Bornagain.com

http://bornagain.com/

7•gregsadetsky•30m ago•1 comments

The Explore-Exploit Dilemma in Media Consumption (2016)

https://gwern.net/media-rl

1•mcmoor•33m ago•0 comments

Going Analog

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

2•speckx•34m ago•0 comments

The Strange Rock Ship of Masuda

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

1•thunderbong•38m ago•0 comments

Getting Confidence in (Agentic) Code

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

1•matt_d•40m ago•0 comments

A Quarter Century of Unix (Peter Salus, 1994)

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

1•ninjin•41m ago•1 comments

TuriX AI launched the latest version

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

1•turixai•45m ago•1 comments

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

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

1•japgolly•46m ago•1 comments

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs

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

1•matt_d•47m ago•0 comments

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

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

1•CCoffie•48m ago•0 comments

Peter Neumann Has Died

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

2•pabs3•50m ago•0 comments

What even IS runtime infrastructure?

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

1•Bridgexapi•55m ago•0 comments

Explore Punks NFT Collection on Polygon Blockchain

https://punks_4.x.rarible.com

1•demro•57m ago•1 comments

Show HN: Clark-Browser – Stealth Chromium

https://github.com/clark-labs-inc/clark-browser

2•stan_kirdey•58m ago•0 comments

Google: Continued commitment to Chromebooks, and looking ahead

https://cloud.google.com/blog/products/chrome-enterprise/our-continued-commitment-to-chromebooks-...

3•pabs3•1h ago•0 comments

Sieve – scans Cursor/Claude chat history for leaked API keys

https://apps.apple.com/us/app/sieve-secret-scanner/id6767409365?mt=12

1•helpful_human•1h ago•0 comments

The Mac mini just became infrastructure

https://thenewstack.io/mac-mini-agent-infrastructure/

2•rav3ndust•1h ago•0 comments

Walmart, Target and Dollar General Spend Billions to Make Stores Look Nicer

https://www.nytimes.com/2026/05/11/business/retailers-stores-renovations.html

2•lxm•1h ago•0 comments

We built a runtime activation layer for autonomous AI agents

https://www.santaclawz.ai/

1•evan-k-global•1h ago•0 comments