fp.

The Taste of Prehistory

https://nautil.us/the-taste-of-prehistory-1255416/

1•fleahunter•20s ago•0 comments

Show HN: Auto re-post from any HN user to any Mastodon istance (using n8n)

https://giuliomagnifico.blog/post/2025-12-22-hacker-news-to-mastodon-n8n/

1•giuliomagnifico•3m ago•0 comments

SimpleDoc: Lightweight standard for organizing Markdown docs in codebases

https://github.com/osolmaz/SimpleDoc

1•hosolmaz•4m ago•0 comments

Debugging Agents: Why Prompt Tweaks Can't Fix Stale State

https://vllora.dev/blog/debugging-agents-stale-state/

1•mrun1729•9m ago•0 comments

Micro QuickJS: a JavaScript engine for microcontroller

https://github.com/bellard/mquickjs

1•begoon•9m ago•0 comments

Trump suspends all large offshore wind farms under construction

https://www.cnn.com/2025/12/22/climate/trump-offshore-wind-suspension-virginia

2•pseudolus•12m ago•1 comments

Divergence of the Sum of the Reciprocals of the Primes

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

1•vismit2000•14m ago•0 comments

HERMEiAS just dropped Darium secretly?

1•doc_doom•16m ago•2 comments

SQL Server Express is a free Server ideal for learning, developing, web apps

https://www.microsoft.com/en-sg/download/details.aspx?id=104781

1•janandonly•18m ago•0 comments

Do you think artificial intelligence can create commercial-grade music vidoe

https://beatviz.ai/

1•ljx2685222739•19m ago•1 comments

What Is (AI) Glaze?

https://glaze.cs.uchicago.edu/what-is-glaze.html

1•weinzierl•26m ago•0 comments

Garmin Emergency Autoland Deployed for the first time

https://www.flightradar24.com/blog/aviation-news/aviation-safety/garmin-emergency-autoland-deploy...

2•alangibson•30m ago•0 comments

MotionOS – shared memory layer for AI voice agents and call centers

https://motionos.digicrest.site/

2•Tirrekp•32m ago•1 comments

A Lime Bike for your mind

https://cyberneticserendipity.substack.com/p/a-lime-bike-for-our-mind

1•talkinghead•33m ago•0 comments

Show HN: Tool to preview mechanical keyboard key sounds

https://typersguild.com/mechanical-key-sounds

2•dante_dev_001•35m ago•0 comments

Ryanair fined €256M over ‘abusive strategy’ to limit ticket sales by OTAs

https://www.theguardian.com/business/2025/dec/23/ryanair-fined-limit-online-travel-agencies-ticke...

11•aquir•41m ago•6 comments

Show HN: AI Gateways the Infrastructure Layer

https://life-of-utkarsh.medium.com/ai-gateways-explained-the-infrastructure-layer-most-ai-teams-d...

1•ukrocks007•41m ago•0 comments

Show HN: CCQL – SQL Queries for Claude Code

https://github.com/douglance/ccql

2•douglaswlance•41m ago•0 comments

Framer is using Rolldown for bundling production websites

https://www.framer.com/blog/framer-rolldown/

1•ozornin•41m ago•0 comments

Intelligence agencies suspect Russia is developing anti-satellite weapon

https://www.pbs.org/newshour/world/intelligence-agencies-suspect-russia-is-developing-anti-satell...

2•perihelions•46m ago•0 comments

The platform for people who want to change the world

https://www.everythinghuman.org/

1•brianye•48m ago•0 comments

DiLLeMma

https://media1.tenor.com/m/auIHDOEiIFoAAAAd/dumb-thats-dumb.gif

1•r0x0r007•50m ago•1 comments

Show HN: Tessera Designer – Generate beautiful, seamless patterns

https://apps.apple.com/us/app/tessera-designer-patterns/id6756501042?mt=12

1•SwiftedMind•51m ago•0 comments

I wrote a book about how V8 JavaScript Engine works behind the scenes. its free

https://www.amazon.com/dp/B0GBTG13JX

2•deepintodev•51m ago•4 comments

Stabilising grid frequency with domestic batteries

https://www.axle.energy/blog/frequency

2•archydeb•55m ago•0 comments

Does Yann LeCun's Move Signal a Silicon Valley → Europe AI Shift?

https://aitrendsforeurope.substack.com/p/separating-signal-from-noise-ai-trends-323

1•ju2ez•55m ago•1 comments

RealTime IRL – Track your favorite IRL streamers in real time

https://rtirl.com/

2•nomilk•56m ago•1 comments

Creating an Alpine Linux Repository

https://www.erianna.com/creating-a-alpine-linux-repository/

1•sipofwater•59m ago•1 comments

Bitchat

https://bitchat.free/

1•mikecarlton•1h ago•0 comments

YD Shomer – Runtime SQL validator for PHP with security suggestions

https://github.com/yd-shomer/php-shomer

2•hm-iti26•1h ago•1 comments

Open in hackernews

Carnap – A formal logic framework for Haskell

https://carnap.io/

22•ravenical•2h ago

Comments

throwaway4x4•1h ago

Past experience in logical frameworks tend to specify documentclass: script, letter, report, etc.

keiferski•1h ago

If you were wondering, the name comes from a famous philosopher and logician:

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

netdevphoenix•56m ago

Doesn't look like it is been updated in a while. And the GitHub repos last commits are even older. Dead project?

LandR•45m ago

Or maybe it's finished ?

benrutter•3m ago

[delayed]