fp.

Advancing mathematics research with AI-driven formal proof search

https://www.science.org/doi/10.1126/science.aej2213

1•01-_-•38s ago•0 comments

The very bad ad for the very first laptop

https://buttondown.com/suchbadtechads/archive/hx-20-rubber-ducky/

1•rfarley04•3m ago•0 comments

Cited but Not Consulted: A Counterfactual Audit of Legal Chain-of-Thought

https://arxiv.org/abs/2610.12361

1•sbulaev•3m ago•0 comments

LLMs Aren't Inevitable

https://deadsimpletech.com/blog/llms-arent-inevitable

2•rizsyed1•6m ago•0 comments

Vega: A decision model that rolls a ball down a hill

https://www.nandakishorm.com/writing/vega

1•yarapavan•8m ago•0 comments

AI model submitted false tip about unsolved murder, Philadelphia police say

https://6abc.com/post/anthropic-ai-model-submitted-false-tip-unsolved-murder-philadelphia-police-...

1•geox•9m ago•0 comments

If LLMs Can Decide Without Fine-Tuning, Do We Still Need Models Like Jev?

https://itsodeleo.github.io/posts/local-decision-workflow/

1•LeoisNotAI•13m ago•0 comments

Custom Agents Are Antipatterns

https://simianwords.bearblog.dev/custom-agents-are-antipatterns/

1•simianwords•14m ago•0 comments

Show HN: AntiPDF – PDF as it should have been all along

https://antisoftworks.com/

1•civnode•14m ago•0 comments

The Beam Book, Second Edition

https://happihacking.com/resources/the-beam-book/

1•Tomte•15m ago•0 comments

Sitecopy.ai

1•Arizonabusiness•16m ago•0 comments

Sitecopy.ai

1•Arizonabusiness•18m ago•0 comments

Show HN: Pre Python 3.15 PEP 661 compat-sentinel

https://pypi.org/project/compat-sentinel/

2•owebeeone•27m ago•1 comments

A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda

https://blueberrywren.dev/blog/primes/

1•fanf2•28m ago•0 comments

November first: Western Canada keeps its clocks. Is your software ready?

https://julien.duponchelle.info/canada-stops-daylight-saving-time/

1•noplay•29m ago•0 comments

TallyCal: Signupgenius Alternative Without the Ads

https://tallycal.com/

1•sk24iam•29m ago•0 comments

Building Piclaw on Top of an Opinionated Coding Agent

https://taoofmac.com/space/blog/2026/08/21/2218

1•rcarmo•31m ago•0 comments

Elisha Wiesel: The Death of the Nobel Peace Prize

https://www.thefp.com/p/elie-wiesel-death-nobel-peace-prize-israel

3•myth_drannon•35m ago•2 comments

Retrieval Centric Deep Learning: Replacing Weight Matrices with Vector Databases

https://twitter.com/oswaldjoh/status/2108669918883230177

1•porridgeraisin•41m ago•0 comments

A simple liters to US and UK gallons converter

https://liters2gallons.com/

1•Bashar42•41m ago•1 comments

The deadlock at the top climate science body

https://www.reuters.com/sustainability/cop/inside-deadlock-worlds-top-climate-science-body-2026-1...

2•layer8•42m ago•0 comments

Characters open up a world of typosquatting opportunities in Chromium browsers

https://www.theregister.com/security/2026/10/10/two-characters-open-up-a-world-of-typosquatting-o...

3•sohkamyung•44m ago•0 comments

A translation layer that allows running Android apps on a Linux system

https://gitlab.com/android_translation_layer/android_translation_layer

1•vitalnodo•44m ago•0 comments

A Port of Doom to the Castle Game Engine (Object Pascal / Free Pascal)

https://github.com/mariuz/castle-doom

2•mariuz•45m ago•0 comments

We ENGINEER the X algorithm to put your launch on every operator's feed

https://doomers.ai/

1•amarcheschi•45m ago•0 comments

We Need to Start Seeing Other Agents

https://taoofmac.com/space/blog/2026/10/10/1200

1•rcarmo•47m ago•0 comments

Scientists Find Major Flaws in the Research Behind Collagen Supplements

https://www.sciencealert.com/scientists-find-major-flaws-in-the-research-behind-collagen-supplements

2•diana-404•47m ago•0 comments

Ur-Fascism

https://en.wikipedia.org/wiki/Ur-Fascism

4•Anon84•48m ago•1 comments

Tiny Startup Built the Safest Bike Helmet

https://www.wired.com/story/how-this-tiny-startup-pikio-built-the-worlds-safest-bike-helmet/

1•sohkamyung•48m ago•0 comments

Show HN: MCP to find the cheapest GPU to run your model

https://www.gpufind.cloud/mcp-tool

1•the_app_guy_1•52m ago•0 comments