fp.

Solving Santa Claus Puzzle with a Model Checker

https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/

1•simplegeek•1m ago•0 comments

What's YOUT Famuly's Story?

https://markmbello.substack.com/p/welcome-to-our-founding-issue

1•lawsuitllc•1m ago•0 comments

Why do u check my website but dont register

https://www.surgeos.app/

1•yernururu•2m ago•0 comments

AI models should reason, tools should execute (Utilix)

https://www.utilix.tech/

1•negiadventures•6m ago•0 comments

How railway timetables became Unix time

https://parksb.github.io/en/article/39.html

1•parksb•7m ago•0 comments

Tech firms are blaming AI for device and console price rises

https://www.bbc.com/news/articles/cd95k584pzqo

2•geox•8m ago•0 comments

HTML as a native data format for LLMs

https://www.lightningjar.com/blog/ast-as-html

1•kevinpeckham•9m ago•0 comments

Avoiding SQLite Database Locks in Production

https://www.bendangelo.me/2026/07/04/avoiding-sqlite-database-locks-in-production/

1•Brajeshwar•9m ago•0 comments

Organic Maps

https://organicmaps.app/

2•tosh•12m ago•1 comments

GitButler in the Terminal

https://lucasaguiar.xyz/en/posts/gitbutler-terminal-cli-tui-2026/

1•isfttr•17m ago•0 comments

Free M&A Encyclopedia

https://mnapedia.com/

1•anongoogleuser•20m ago•0 comments

HNP-Sum: Hidden Number Problem with Small Unknown Multipliers in Python

https://leetarxiv.substack.com/p/hnp-sum

1•theanonymousone•20m ago•0 comments

The Erasure of Interaction

https://read.misalignedmag.com/the-erasure-of-interaction-f41e6bea7d1b

1•lcubw•20m ago•0 comments

Over 140k maps of all kinds

https://www.davidrumsey.com/

1•momentmaker•24m ago•0 comments

Show HN: A pipeline that writes courses and adversarially reviews them

https://purrlearn.com

2•nirolee•26m ago•0 comments

PEP 836: JIT Go Brrr: The Path to a Supported JIT Compiler for CPython

https://discuss.python.org/t/pep-836-jit-go-brrr-the-path-to-a-supported-jit-compiler-for-cpython...

3•lumpa•34m ago•0 comments

Run Windows 2000 on a DEC Alpha with a new es40 fork

https://raymii.org/s/blog/Run_Windows_2000_for_Dec_Alpha_on_a_new_es40_fork.html

2•jandeboevrie•38m ago•0 comments

Hi, I am a 10 years old kid and made a Cool app

https://yf-profitable-strats.streamlit.app/

2•Yamaan_Faraz•43m ago•3 comments

The missing 500 million: Cosmic bombardment melted Earth's first crust

https://arstechnica.com/science/2026/07/the-missing-500-million-cosmic-bombardment-melted-earths-...

1•Brajeshwar•46m ago•0 comments

Terence Tao: What's Next for SAIR Competitions [video]

https://www.youtube.com/watch?v=nbZA4N7BDCU

1•guerby•47m ago•0 comments

Show HN: Calm Engineering Dashboard

https://gitbiased.com/

1•skyfantom•50m ago•0 comments

Catastrophe theory; geniuses and maniacs (2011)

http://glassbottomblog.blogspot.com/2011/01/catastrophe-theory-geniuses-and-maniacs.html

1•mbustamanter•51m ago•0 comments

Researchers find ways to keep homes cooler in summer

https://www.bbc.com/news/articles/cly94l8xjlqo

1•rustoo•52m ago•1 comments

Tensorless – An exact thermodynamic execution sandbox in C++20

https://github.com/AperioGenix/Tensorless-Public

1•alxspiker•56m ago•0 comments

Open-source prompt infrastructure toolkit

https://px0.ai/

2•prakashqwerty•56m ago•0 comments

A Story of Screwdriver Drivers

https://carette.xyz/posts/a_story_of_screwdriver_drivers/

7•LucidLynx•57m ago•1 comments

Phosh 0.56.0

https://phosh.mobi/releases/rel-0.56.0/

57•edward•58m ago•8 comments

Show HN: Hacker-News Jobs

1•freakynit•58m ago•1 comments

Graphify: Turn any codebase into a queryable knowledge graph

https://github.com/Graphify-Labs/graphify

1•domysee•1h ago•0 comments

I spent 100 hours building a website you will use for 20 minutes a week

https://www.dailicle.com/

2•lucky-solanki•1h ago•3 comments

Solving Santa Claus Puzzle with a Model Checker

What's YOUT Famuly's Story?

Why do u check my website but dont register

AI models should reason, tools should execute (Utilix)

How railway timetables became Unix time

Tech firms are blaming AI for device and console price rises

HTML as a native data format for LLMs

Avoiding SQLite Database Locks in Production

Organic Maps

GitButler in the Terminal

Free M&A Encyclopedia

HNP-Sum: Hidden Number Problem with Small Unknown Multipliers in Python

The Erasure of Interaction

Over 140k maps of all kinds

Show HN: A pipeline that writes courses and adversarially reviews them

PEP 836: JIT Go Brrr: The Path to a Supported JIT Compiler for CPython

Run Windows 2000 on a DEC Alpha with a new es40 fork

Hi, I am a 10 years old kid and made a Cool app

The missing 500 million: Cosmic bombardment melted Earth's first crust

Terence Tao: What's Next for SAIR Competitions [video]

Show HN: Calm Engineering Dashboard

Catastrophe theory; geniuses and maniacs (2011)

Researchers find ways to keep homes cooler in summer

Tensorless – An exact thermodynamic execution sandbox in C++20

Open-source prompt infrastructure toolkit

A Story of Screwdriver Drivers

Phosh 0.56.0

Show HN: Hacker-News Jobs

Graphify: Turn any codebase into a queryable knowledge graph

I spent 100 hours building a website you will use for 20 minutes a week

Show HN: CAVS – Open-source content-addressable updates for game assets

Solving Santa Claus Puzzle with a Model Checker

What's YOUT Famuly's Story?

Why do u check my website but dont register

AI models should reason, tools should execute (Utilix)

How railway timetables became Unix time

Tech firms are blaming AI for device and console price rises

HTML as a native data format for LLMs

Avoiding SQLite Database Locks in Production

Organic Maps

GitButler in the Terminal

Free M&A Encyclopedia

HNP-Sum: Hidden Number Problem with Small Unknown Multipliers in Python

The Erasure of Interaction

Over 140k maps of all kinds

Show HN: A pipeline that writes courses and adversarially reviews them

PEP 836: JIT Go Brrr: The Path to a Supported JIT Compiler for CPython

Run Windows 2000 on a DEC Alpha with a new es40 fork

Hi, I am a 10 years old kid and made a Cool app

The missing 500 million: Cosmic bombardment melted Earth's first crust

Terence Tao: What's Next for SAIR Competitions [video]

Show HN: Calm Engineering Dashboard

Catastrophe theory; geniuses and maniacs (2011)

Researchers find ways to keep homes cooler in summer

Tensorless – An exact thermodynamic execution sandbox in C++20

Open-source prompt infrastructure toolkit

A Story of Screwdriver Drivers

Phosh 0.56.0

Show HN: Hacker-News Jobs

Graphify: Turn any codebase into a queryable knowledge graph

I spent 100 hours building a website you will use for 20 minutes a week