frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Doorman Fallacy

https://en.wikipedia.org/wiki/Rory_Sutherland_(advertising_executive)
1•CharlesW•35s ago•0 comments

Spring Flight

https://fabulistmagazine.com/spring-flight/
1•jruohonen•38s ago•0 comments

Namecheap just seized and disabled all my domains

https://www.reddit.com/r/sysadmin/comments/1x8cycd/namecheap_just_seized_and_disabled_all_my_doma...
1•sashk•44s ago•0 comments

Agentic Scientist, Orchestrator for Automated Scientific (Co-)Discovery

https://github.com/SakanaAI/AI-Scientist-v3
1•merqurio•56s ago•0 comments

A reusable agent skill for auditing and rewriting website copy

https://github.com/wvvb/website-coprighting
1•ryzmdotdev•58s ago•0 comments

Show HN: Find your film roots by analyzing your Letterboxd data

https://cinetrii.com/roots
1•everling•3m ago•0 comments

Ghidra and CBMC = Assembly Model Checker

https://www.philipzucker.com/asmc_cpp/
2•philzook•4m ago•0 comments

Hypermarket an open hyperliquid trading client

https://hypermarket.8tcap.com
1•Yeabu369•5m ago•0 comments

AppStore – Waiting for Review

1•robert_uniqid•7m ago•0 comments

Show HN: Gemapix – point your iPhone at a building and hear its story

https://testflight.apple.com/join/E6Hga72P
1•faneldabija2008•8m ago•0 comments

How the Fed Is Quietly Inflating the AI Bubble While Hiking Your Electric Bill

https://www.thebignewsletter.com/p/how-the-federal-reserve-secretly
2•toomuchtodo•9m ago•0 comments

Show HN: Auricle – a 350 KB browser VAD

https://github.com/himanshu007-creator/auricle
2•himanshuafpi•11m ago•0 comments

Proving your kernel is right

https://ianbarber.blog/2026/10/17/proving-your-kernel-is-right/
2•matt_d•11m ago•0 comments

LLM analyzed 150k Reddit posts to identify side effects of unapproved new GLP-1

https://www.engineering.upenn.edu/stories/penn-engineers-use-ai-reddit-to-identify-potential-side...
1•giuliomagnifico•12m ago•0 comments

The Radxa Linkr – A KVM for Your AI Agent

https://taoofmac.com/space/reviews/2026/10/18/1646
1•rcarmo•12m ago•0 comments

Could Russia Be Poised to Use an On-Orbit Weapon Against a Commercial Satellite?

https://www.csis.org/analysis/could-russia-be-poised-use-orbit-weapon-against-commercial-satellite
1•ck2•12m ago•0 comments

Tell HN: Massive amount of spam from "Who Wants to be hired"

3•0xmattf•13m ago•0 comments

Show HN: FR/EN search engine built with Chez Scheme and Claude Code for €150

https://h9p3r.fr
1•amirouche•13m ago•3 comments

EvoGrain: Algorithmic Sound Design with L-Systems and Granular Synthesis

https://nathanho.me/posts/evograin/
2•dverlaeckt80•14m ago•0 comments

Brown Fat Can Be Beneficial and Blood Pressure Meds Could Activate It

https://www.sciencealert.com/brown-fat-can-be-beneficial-for-the-body-and-a-blood-pressure-drug-c...
2•mpbart•14m ago•0 comments

Show HN: Firmendaten: Parsed balance sheets for every Austrian company

https://firmendaten.researchly.at/bilanzen/vergleichen
2•leo_researchly•16m ago•0 comments

EU negotiates sanction swap with China to rescue critical ASML supplier

https://www.tomshardware.com/tech-industry/semiconductors/eu-negotiates-sanction-swap-with-china-...
2•rguiscard•16m ago•0 comments

Tell HN: I picked up knitting while waiting for my AI agent to complete

3•amelius•17m ago•0 comments

Susanna Clarke: in defence of fantasy fiction

https://observer.co.uk/culture/books/article/susanna-clarke-in-defence-of-fantasy-fiction
3•paulpauper•18m ago•0 comments

Show HN: Correct Hooks – Easy webhook auth with asymmetric signatures

https://github.com/handlewithcarecollective/correct-hooks
4•pdiffles•18m ago•2 comments

Modernizing ArXiv Technology: Updates on the ArXiv-CE Project

https://blog.arxiv.org/2026/10/17/modernizing-arxiv-technology-updates-on-the-arxiv-ce-project/
2•the-mitr•18m ago•0 comments

Chartbook 478 Money and Empire – For Perry Mehrling

https://adamtooze.substack.com/p/chartbook-478-money-and-empire-for
2•paulpauper•18m ago•0 comments

Building Fast Filesystems for VMs

https://modal.com/blog/vm-sandbox-filesystem
2•birdculture•21m ago•0 comments

'I'm on a War Footing': Terry Tao and the Crisis in Math

https://www.nytimes.com/2026/10/16/us/math-ai-terence-tao.html
3•ent101•21m ago•0 comments

Show HN: HedgePick – nine AI agents that argue against your stock thesis

https://hedgepick.com/
1•joegahagan•23m ago•0 comments
Open in hackernews

Safety and Liveliness in Software Engineering

https://en.wikipedia.org/wiki/Safety_and_liveness_properties
2•_josh_meyer_•58m ago

Comments

_josh_meyer_•44m ago
s/liveliness/liveness/