fp.

Formal or not formal? That is the question in AI for theorem proving

https://xenaproject.wordpress.com/2025/10/22/formal-or-not-formal-that-is-the-question-in-ai-for-...

1•todsacerdoti•24s ago•0 comments

Cara Buka Blokir Brimo

1•bubung•4m ago•1 comments

SQL Mandelbrot Benchmark

https://github.com/Zeutschler/sql-mandelbrot-benchmark

1•rclkrtrzckr•5m ago•0 comments

The Windows 7 Renaissance? StatCounter shows surge in usage

1•Stasshe•6m ago•0 comments

Two Thoughts on Key Art

https://www.robinsloan.com/lab/key-art/

1•FromTheArchives•10m ago•0 comments

Using DynamoDB Secondary Indexes

https://medium.com/@DocTaco/using-dynamodb-secondary-indexes-b26800afef91

1•0dj0bz•11m ago•0 comments

Show HN: smartNOC – network in a box for zero-ops

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

1•duane_powers•13m ago•1 comments

Helping scientists run complex data analyses without writing code

https://news.mit.edu/2025/helping-scientists-run-complex-data-analyses-without-writing-code-1014

1•gnabgib•14m ago•0 comments

What Made Blogging Different?

https://talkingpointsmemo.com/tpm-25/what-made-blogging-different

1•FromTheArchives•18m ago•0 comments

You Don't Need an Agentic Framework to Start Building Agents

https://www.gnanaguru.com/p/you-dont-need-an-agentic-framework

1•gnanagurusrgs•20m ago•0 comments

Encryption using SSH Keys with age in Linux

https://ittavern.com/encryption-using-ssh-keys-with-age-in-linux/

3•Bogdanp•23m ago•0 comments

Show HN: AI bookmarking app for people who hate AI

https://tryeyeball.com/

1•quinto_quarto•23m ago•0 comments

Q&A: The 'undertaker' cells of taste, one of our least understood senses

https://phys.org/news/2025-10-qa-cells-understood.html

1•PaulHoule•25m ago•0 comments

Show HN: Synnote – AI That Turns Notes into Action

https://www.synnote.app/

2•curiocity•26m ago•0 comments

International Alliance for Natural Time

https://naturaltimealliance.org/en/

1•throw0101a•28m ago•0 comments

Show HN: Steam Game Idler – Open-Source Steam Automation Tool (Tauri and Rust)

https://github.com/zevnda/steam-game-idler

1•zevnda•29m ago•0 comments

Increasing the MTU of the Internet (NANOG, 2008) [pdf]

https://archive.nanog.org/meetings/nanog42/presentations/scholl.pdf

2•monkburger•29m ago•0 comments

The difficulties of choosing a startup idea

https://dennisy.me/notes/the-difficulties-of-choosing-a-startup-idea

1•dennisy•29m ago•0 comments

Galactic Empires May Live at the Center of Our Galaxy

https://www.universetoday.com/articles/galactic-empires-may-live-at-the-center-of-our-galaxy-henc...

1•FromTheArchives•31m ago•0 comments

The Risk of Late-Onset Schizophrenia Following Diabetes Type 2 Onset

https://academic.oup.com/schizophreniabulletin/advance-article/doi/10.1093/schbul/sbaf159/8253574

1•wslh•33m ago•0 comments

Movie Posters from Africa That Are So Bad, They're Good

https://www.utterlyinteresting.com/post/bizarre-movie-posters-from-africa-that-are-so-bad-they-re...

2•bookofjoe•34m ago•0 comments

Real Estate Is Entering Its AI Slop Era

https://www.wired.com/story/real-estate-is-entering-its-ai-slop-era/

4•geox•34m ago•0 comments

Cleanup your lifetime annotations in Rust with RC and Arc

https://kerkour.com/rust-lifetimes-rc-arc

1•enz•36m ago•0 comments

German daycare centers face a shortage of babies

https://www.lemonde.fr/en/international/article/2025/10/26/german-daycare-centers-face-a-shortage...

1•throw0101a•36m ago•0 comments

Two Ideas for Humans Learning from LLMs

https://p10q.com/two_learnings_from_llms/

1•tmsh•38m ago•0 comments

The KDL Document Language

https://kdl.dev/

1•lexoj•40m ago•0 comments

Why open source may not survive the rise of generative AI

https://www.zdnet.com/article/why-open-source-may-not-survive-the-rise-of-generative-ai/

1•gpi•41m ago•0 comments

Zo: AI Cloud Computer

https://www.zo.computer

1•benzguo•41m ago•0 comments

AI spending is boosting the economy, but many businesses are in survival mode

https://www.cnbc.com/2025/10/25/ai-spending-is-boosting-the-economy-many-businesses-in-survival-m...

2•pseudolus•43m ago•0 comments

Devuan's Init Freedom

https://www.devuan.org/os/init-freedom

3•smartmic•43m ago•0 comments

Formal or not formal? That is the question in AI for theorem proving

Cara Buka Blokir Brimo

SQL Mandelbrot Benchmark

The Windows 7 Renaissance? StatCounter shows surge in usage

Two Thoughts on Key Art

Using DynamoDB Secondary Indexes

Show HN: smartNOC – network in a box for zero-ops

Helping scientists run complex data analyses without writing code

What Made Blogging Different?

You Don't Need an Agentic Framework to Start Building Agents

Encryption using SSH Keys with age in Linux

Show HN: AI bookmarking app for people who hate AI

Q&A: The 'undertaker' cells of taste, one of our least understood senses

Show HN: Synnote – AI That Turns Notes into Action

International Alliance for Natural Time

Show HN: Steam Game Idler – Open-Source Steam Automation Tool (Tauri and Rust)

Increasing the MTU of the Internet (NANOG, 2008) [pdf]

The difficulties of choosing a startup idea

Galactic Empires May Live at the Center of Our Galaxy

The Risk of Late-Onset Schizophrenia Following Diabetes Type 2 Onset

Movie Posters from Africa That Are So Bad, They're Good

Real Estate Is Entering Its AI Slop Era

Cleanup your lifetime annotations in Rust with RC and Arc

German daycare centers face a shortage of babies

Two Ideas for Humans Learning from LLMs

The KDL Document Language

Why open source may not survive the rise of generative AI

Zo: AI Cloud Computer

AI spending is boosting the economy, but many businesses are in survival mode

Devuan's Init Freedom

Quality software and the people who write it

Formal or not formal? That is the question in AI for theorem proving

Cara Buka Blokir Brimo

SQL Mandelbrot Benchmark

The Windows 7 Renaissance? StatCounter shows surge in usage

Two Thoughts on Key Art

Using DynamoDB Secondary Indexes

Show HN: smartNOC – network in a box for zero-ops

Helping scientists run complex data analyses without writing code

What Made Blogging Different?

You Don't Need an Agentic Framework to Start Building Agents

Encryption using SSH Keys with age in Linux

Show HN: AI bookmarking app for people who hate AI

Q&A: The 'undertaker' cells of taste, one of our least understood senses

Show HN: Synnote – AI That Turns Notes into Action

International Alliance for Natural Time

Show HN: Steam Game Idler – Open-Source Steam Automation Tool (Tauri and Rust)

Increasing the MTU of the Internet (NANOG, 2008) [pdf]

The difficulties of choosing a startup idea

Galactic Empires May Live at the Center of Our Galaxy

The Risk of Late-Onset Schizophrenia Following Diabetes Type 2 Onset

Movie Posters from Africa That Are So Bad, They're Good

Real Estate Is Entering Its AI Slop Era

Cleanup your lifetime annotations in Rust with RC and Arc

German daycare centers face a shortage of babies

Two Ideas for Humans Learning from LLMs

The KDL Document Language

Why open source may not survive the rise of generative AI

Zo: AI Cloud Computer

AI spending is boosting the economy, but many businesses are in survival mode

Devuan's Init Freedom