fp.

Formally deriving programs from specifications (Bird-Meertens) using Lean 4

https://satnam6502.github.io/bird-meertens/

1•matt_d•1m ago•0 comments

"Rising cost of memory," Microsoft explains why Windows 11 will use less RAM

https://www.windowslatest.com/2026/10/04/rising-cost-of-memory-microsoft-explains-why-windows-11-...

2•TMWNN•3m ago•0 comments

The Output-Space Hypothesis:Enumerative Equivalence Checking for Tensor Programs

https://arxiv.org/abs/2609.19611

1•matt_d•4m ago•0 comments

Ask HN: Are there AI models for generating sounds based on a text and reference?

1•onemiketwelve•7m ago•0 comments

LLM SEO tools in 2026: what each one tracks

https://picked.so/blog/llm-seo-tools

1•shdalex•8m ago•0 comments

Schneider Electric to buy industrial software group PTC for $23.7B

https://www.ft.com/content/2084f349-0829-4130-a5e6-b98929a6e633

1•teleforce•16m ago•0 comments

You're Leaving Compute on the Table

https://nishantjosh.dev/blogs/youre-leaving-compute-on-the-table/

1•ibobev•16m ago•0 comments

Whistleblower who flagged Lutnick's links to Epstein dies

https://www.thebanker.com/content/02286d53-0338-42ef-996d-5f7712b9f133

7•gravisultra•22m ago•0 comments

Becoming a Photographer

https://stanko.io/becoming-a-photographer-tIKMwUVuHnHG

3•ibobev•25m ago•0 comments

Ephemeral Testing

https://lemire.me/blog/2026/10/05/ephemeral-testing/

2•ibobev•25m ago•0 comments

Mark

https://colossus.com/article/mark-zuckerberg-profile/

2•bkudria•26m ago•0 comments

Por qué uso (y recomiendo) dominios .xyz numéricos para self-hosting

https://inti-tidball.writeas.com/por-que-uso-y-recomiendo-dominios-xyz-numericos-para-self-hosting

2•intimaria•27m ago•0 comments

Real reporter behind The Social Reckoning on what Aaron Sorkin's film gets right

https://www.reuters.com/world/us/real-reporter-behind-the-social-reckoning-what-aaron-sorkins-fil...

2•skibz•27m ago•0 comments

Nova Sprint. Coordinate AI sprints across multiple models and harnesses

https://github.com/mas-bandwidth/nova-sprint

2•gafferongames•28m ago•1 comments

Worth Building

https://armstr.ng/writing/worth-building

13•colinarms•33m ago•0 comments

Example.com Just Launched the Biggest Redesign in Decades

https://www.debugbear.com/blog/example-dot-com-redesign-history

21•jgx0•37m ago•14 comments

Food Atlas: Connections behind the dishes we love

https://knowledgeartist.org/pages/food-atlas

4•laybak•40m ago•1 comments

Where's the Quality?

https://catskull.net/wheres-the-quality.html

3•catskull•40m ago•3 comments

Unix – The Hole Hawg

http://www.team.net/mjb/hawg.html

2•embedding-shape•42m ago•1 comments

Mr Robot fsociety pumpkin cutting template [pdf]

https://decider.com/wp-content/uploads/2015/10/print-fsociety.pdf

2•sans_souse•42m ago•0 comments

I'm building a personal AI computer startup in Mumbai

https://x.com/gfaang97609

2•testingsaket•45m ago•0 comments

ChatGPT is adding real cartoonists' signatures to fake New Yorker cartoons

https://www.niemanlab.org/2026/10/chatgpt-is-adding-real-cartoonists-signatures-to-fake-new-yorke...

7•rdmuser•45m ago•0 comments

Show HN: A lightweight mapping editor for improving MTB trails on OpenStreetMap

https://traileditor.app

3•kennethtransier•46m ago•0 comments

Show HN: DenizliHub – 40 client-side web tools running 100% in the browser

https://denizlihub.com/

3•denizlihub•47m ago•0 comments

Iroh Global Content Discovery

https://www.iroh.computer/blog/iroh-global-content-discovery

6•birdculture•48m ago•0 comments

Modernize Every SQL Server to Azure SQL or Fabric DW

https://www.brentozar.com/archive/2026/09/im-just-gonna-leave-this-here/

2•BLKNSLVR•50m ago•0 comments

Toki Pona

https://en.wikipedia.org/wiki/Toki_Pona

4•sans_souse•53m ago•0 comments

All 201 Stories by Anton Chekhov

https://www.ibiblio.org/eldritch/ac/jr/

2•bookofjoe•53m ago•0 comments

Global Solar Atlas: summary of solar power potential globally

https://globalsolaratlas.info/

4•stratts•54m ago•2 comments

Update: Now Source Download supported 54 languages

https://chromewebstore.google.com/detail/source-download/nockdgincmpfojabnhbofkddgcmnodpd

2•2rundev•56m ago•0 comments