frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

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

https://blueberrywren.dev/blog/primes/
1•fanf2•50m ago

Design for Agent GUIs

https://lexifina.com/blog/agent-guis
1•theanonymousone•21s ago•0 comments

OLM to PST Converter Tool

https://www.perfectdatasolutions.com/en/olm/olm-to-pst-converter.html
1•tieanderson•43s ago•0 comments

An open-source distraction blocker for Windows

https://github.com/maakbaas/bullseye
1•maakbaas•57s ago•0 comments

Prompt Injection Detection and Defense Tools for Enterprise AI Agents

https://www.arcade.dev/blog/prompt-injection-detection-tools/
1•manveerc•2m ago•0 comments

Shape-sensing sheet digitally tracks its own movement as it bends and twists

https://news.mit.edu/2026/shape-sensing-sheet-digitally-tracks-movement-bends-twists-1008
1•bookofjoe•5m ago•0 comments

Apache Karaf – The Modulith Runtime

https://karaf.apache.org/
1•locknitpicker•7m ago•0 comments

The Thing (Listening Device)

https://en.wikipedia.org/wiki/The_Thing_(listening_device)
2•red369•8m ago•0 comments

AI borrowing slows as investors grow wary of debt binge

https://www.ft.com/content/9c13d40e-d2b2-45d5-921c-a68cd4b308f9
1•1vuio0pswjnm7•9m ago•1 comments

The AI Torture Chamber

https://jesse.id/blog/the-ai-torture-chamber
1•jesse_dot_id•9m ago•0 comments

Why Do We Have Baby Teeth and Adult Teeth?

https://www.the-scientist.com/why-do-we-have-baby-teeth-and-adult-teeth-73746
1•Anon84•9m ago•0 comments

Autism in boys, girls looks genetically similar but early, late diagnoses don't

https://www.psypost.org/autism-in-boys-and-girls-looks-genetically-similar-but-early-and-late-dia...
1•theanonymousone•14m ago•0 comments

The Nature of the Swarm

https://hallerite.com/posts/on-the-nature-of-the-swarm/
1•hallerite•17m ago•0 comments

Microsoft Has $80B of AI Chips It Can't Plug in [video]

https://www.youtube.com/watch?v=es4FfRU8saQ
1•xbmcuser•17m ago•0 comments

Turing: Opposition from the Intellectuals

1•daly•19m ago•0 comments

Ariodb – a proxy that checks and can undo what AI agents do to your DB

https://github.com/roozjalali/ariodb
2•roozbehjalali•21m ago•0 comments

Advancing mathematics research with AI-driven formal proof search

https://www.science.org/doi/10.1126/science.aej2213
1•01-_-•22m ago•0 comments

The very bad ad for the very first laptop

https://buttondown.com/suchbadtechads/archive/hx-20-rubber-ducky/
2•rfarley04•25m ago•0 comments

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

https://arxiv.org/abs/2610.12361
1•sbulaev•25m ago•0 comments

LLMs Aren't Inevitable

https://deadsimpletech.com/blog/llms-arent-inevitable
6•rizsyed1•28m ago•1 comments

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

https://www.nandakishorm.com/writing/vega
1•yarapavan•30m 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•31m 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•34m ago•0 comments

Custom Agents Are Antipatterns

https://simianwords.bearblog.dev/custom-agents-are-antipatterns/
1•simianwords•35m ago•0 comments

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

https://antisoftworks.com/
1•civnode•36m ago•0 comments

The Beam Book, Second Edition

https://happihacking.com/resources/the-beam-book/
1•Tomte•37m ago•0 comments

Sitecopy.ai

1•Arizonabusiness•38m ago•0 comments

Sitecopy.ai

1•Arizonabusiness•40m ago•0 comments

Show HN: Pre Python 3.15 PEP 661 compat-sentinel

https://pypi.org/project/compat-sentinel/
5•owebeeone•49m ago•1 comments

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

https://blueberrywren.dev/blog/primes/
1•fanf2•50m 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•51m ago•0 comments