fp.

Getting Confidence in (Agentic) Code

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

1•matt_d•1m ago•0 comments

A Quarter Century of Unix (Peter Salus, 1994)

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

1•ninjin•2m ago•1 comments

TuriX AI launched the latest version

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

1•turixai•6m ago•1 comments

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

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

1•japgolly•7m ago•1 comments

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs

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

1•matt_d•8m 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•9m ago•0 comments

Peter Neumann Has Died

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

1•pabs3•11m ago•0 comments

What even IS runtime infrastructure?

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

1•Bridgexapi•16m ago•0 comments

Explore Punks NFT Collection on Polygon Blockchain

https://punks_4.x.rarible.com

1•demro•18m ago•1 comments

Show HN: Clark-Browser – Stealth Chromium

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

1•stan_kirdey•19m ago•0 comments

Google: Continued commitment to Chromebooks, and looking ahead

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

2•pabs3•22m 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•22m ago•0 comments

The Mac mini just became infrastructure

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

1•rav3ndust•25m 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•27m ago•0 comments

We built a runtime activation layer for autonomous AI agents

https://www.santaclawz.ai/

1•evan-k-global•29m ago•0 comments

PgBackRest Will Continue

https://pgbackrest.org/news.html#will-continue

2•thunderbong•29m ago•0 comments

Peter Salus has died

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

19•speckx•33m ago•0 comments

Material Nonpublic Information at Hughes High

https://arcove.substack.com/p/material-nonpublic-information-at-hughes-high

1•jfil•34m ago•0 comments

AI Grant Writing Assistant

https://grantbot.pl

1•tredi•36m ago•0 comments

Research shows a clear and communicated AI stance acts as a powerful amplifier

https://dora.dev/capabilities/clear-and-communicated-ai-stance/

1•riffic•37m ago•0 comments

Shuffle multiple artists' full discographies on Spotify (Chrome extension

https://chromewebstore.google.com/detail/discogmix-multi-artist-sh/oejdmfhdpfpimljokmknjifehccmanko

1•esayli•42m ago•0 comments

The down fall of bug bounties

https://shubs.io/the-down-fall-of-bug-bounties/

2•infosecau•44m ago•0 comments

Vault Pro – AI Scaffolder for Obsidian Project Notes (Node/Claude)

https://checkout.stripe.com/c/pay/cs_live_a1T5cP4xxXFYhY045VE1ui9fm1NJj0ACL1umdUosCWtXUSR8CKrdNPs...

1•bshelby88•45m ago•0 comments

Living 35 ft underground: inside a preserved Titan II nuclear missile silo

https://www.youtube.com/watch?v=rSFSnOBYlbM

1•bane•49m ago•0 comments

An Overview of the Mathematical Theory of Communication for Philosophers [pdf]

https://theinformationalturn.net/wp-content/uploads/2012/03/MTC_overview.pdf

2•teleforce•49m ago•0 comments

Baseball is learning to live with shorter attention spans

https://www.ft.com/content/f499089d-a104-44ad-9773-1ef31715afae

4•petethomas•50m ago•0 comments

People who use ChatGPT for writing are accurate detectors of AI text (2025)

https://arxiv.org/abs/2501.15654

2•lexandstuff•53m ago•0 comments

Can AI just replace me already? – A comparative AI-writing ID experiment

https://www.richardhanania.com/p/can-ai-replace-me-already

1•botacode•54m ago•0 comments

OpenBSD/zaurus: pocket-sized BSD

http://miod.online.fr/software/openbsd/stories/zaurus2.html

3•uticus•59m ago•1 comments

US Joint Forces Command Millennium Challenge 2002: Experiment Report [pdf]

https://www.esd.whs.mil/Portals/54/Documents/FOID/Reading%20Room/Joint_Staff/12-F-0344-Millennium...

1•KnuthIsGod•1h ago•0 comments