fp.

A tiny Python library/DSL to construct Python formal models

https://github.com/caotic123/PyMagic/

1•caotic123•3m ago•1 comments

Eulogy for the Software Engineer

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

1•firattamurcw•5m ago•0 comments

When a glibc update accidentally breaks Chromium's audio (2021)

https://refi64.dev/posts/chromium-audio-break.html

1•dverlaeckt80•6m ago•0 comments

StreetComplete iOS Release

https://github.com/streetcomplete/StreetComplete/releases

1•Tomte•7m ago•0 comments

Handwriting and Route: On What Slips Away When Art Is Copied

https://medium.com/@smoking2man/handwriting-and-route-on-what-slips-away-when-art-is-copied-7cf6b...

1•Aldus551•9m ago•0 comments

Notational Velocity and nvALT got updates

https://www.rubenerd.au/notational-velocity-and-nvalt-got-updates/

1•Tomte•11m ago•0 comments

Free Money (0 Work Required) (0 Capital)

1•Art0101•11m ago•0 comments

France's Nuclear Forces Bring in Neighbors to Keep Russia in Check

https://www.wsj.com/world/europe/frances-nuclear-forces-bring-in-neighbors-to-keep-russia-in-chec...

1•JumpCrisscross•14m ago•0 comments

Everybody panic: A Valve developer said "HLX" in public

https://arstechnica.com/gaming/2026/10/everybody-panic-a-valve-developer-said-hlx-in-public/

2•chha•16m ago•0 comments

Really Simple Licensing: Open content lice㎱㏌g standard for the AI-ﬁrst Internet

https://rslstandard.org/

1•heavensteeth•17m ago•0 comments

Show HN: Summer 1999 – A room for your Steam library

https://summer1999.ak1o.app/

1•icyrainz•18m ago•0 comments

"Single Source of Truth" by Dyrgrip (Slopcore) [video]

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

1•slyall•21m ago•0 comments

Pakistan's Best Cookware Brand

1•umairshafiquesk•21m ago•0 comments

Human body model: 206 joints and 700 muscles for MuJoCo (MS-Human-700)

https://lnsgroup.cc/research/MS-Human/

1•memming•23m ago•0 comments

How Is Technology Changing Our Daily Lives?

https://www.google.com/

1•CalebBeer•23m ago•0 comments

Bark.lk: Pet Shop Sri Lanka – Online Pet Food and Pet Tags

https://bark.lk/

1•dilumrane•23m ago•0 comments

Show HN: Quill Desktop; Lightweight AI harness, no electron/WebKit native GUI

https://github.com/alshlabs/quill

1•apatheticonion•29m ago•0 comments

Guernsey, Jersey and other havens rake in revenues from global minimum tax

https://www.ft.com/content/4c3bf863-b21b-4626-83dd-26c6da3f0d8d

1•JumpCrisscross•29m ago•0 comments

Germany to tap Ukrainian tech with missile purchase

https://www.ft.com/content/f9476b15-c2b6-4b8b-86fc-58ae5795fb87

2•JumpCrisscross•30m ago•0 comments

Mojo Deflate vs. C

https://kodare.net/2026/10/26/mojo-deflate.html

2•boxed•30m ago•0 comments

Model Equality Testing: Which Model Is This API Serving?

https://arxiv.org/abs/2410.20247

1•ogous•33m ago•0 comments

The result of the C++26 DIS ballot

https://train-it.eu/blog/cpp26-contracts-the-ballot-result/

2•uasi•36m ago•0 comments

Show HN: S&P 500 Market Map

https://getfintab.com/sp-500

1•conschy•42m ago•0 comments

Show HN: Frontier Log – Database of AI events, models and benchmarks

https://frontierlog.ai/

2•paradite•45m ago•0 comments

Tev Plays Dino: Tev running on the Mac playing the dinosaur game on Chrome

https://visualist.in/posts/opentev-plays-dino/

1•threecats•49m ago•1 comments

We're going to see a lot of stranded compute in partially complete data centers

https://twitter.com/elonmusk/status/2114168277882581486

1•tosh•50m ago•0 comments

Desk - Munder Difflin, but bare-bones

https://github.com/burvy/desk/releases/tag/Release

1•burvy•1h ago•0 comments

Og.video – generate og:video tags that make iMessage previews fun [free/OSS]

https://og.video/

1•bookernath•1h ago•0 comments

Show HN: An open-source office suite with built-in MCP

https://github.com/freeflow-im/mcp-docs

1•scottpersinger•1h ago•0 comments

What are vector embeddings? An interactive guide

https://isaacus.com/blog/what-are-vector-embeddings

2•ubutler•1h ago•0 comments