fp.

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

https://www.lesswrong.com/posts/rhAPh3YzhPoBNpgHg/lies-damned-lies-and-proofs-formal-methods-are-...

1•OgsyedIE•2m ago•0 comments

Plane Clock – Displays plane corresponding to hour

https://antoinemopa.github.io/plane_clock/

1•antoineMoPa•4m ago•0 comments

EBPF.party

https://ebpf.party

2•todsacerdoti•6m ago•0 comments

Show HN: Burnboard – Track and compare your AI coding assistant usage

https://burnboard.dev

1•davekiss•7m ago•0 comments

Java – Project Valhalla: Prototyping null checks

https://mail.openjdk.org/pipermail/valhalla-spec-experts/2026-January/002554.html

2•tomaytotomato•9m ago•0 comments

Notes on Skill.md vs. MCP

https://taoofmac.com/space/notes/2026/01/14/0830

1•rcarmo•14m ago•0 comments

Show HN: Claude CodePro – Professional Development Environment for Claude Code

https://github.com/maxritter/claude-codepro

1•rittermax•14m ago•0 comments

Reversing YouTube's "Most Replayed" Graph

https://priyavr.at/blog/reversing-most-replayed/

1•prvt•14m ago•1 comments

Show HN: MCP-add` a CLI to add your MCP server to various clients with ease

https://github.com/paoloricciuti/mcp-add

1•pablopang•15m ago•0 comments

UK Officials could face US entry ban over Twitter policy

https://parliamentnews.co.uk/uk-officials-could-face-us-entry-ban-over-x-policy

1•OgsyedIE•15m ago•0 comments

Peter Girnus: "Last quarter I rolled out Microsoft Copilot to 4k employees."

https://twitter.com/i/status/1999124665801880032

1•bthallplz•20m ago•0 comments

A post-American, enshittification-resistant internet [video]

https://www.youtube.com/watch?v=3C1Gnxhfok0

1•rcy•21m ago•0 comments

Show HN: Django Smart Ratelimit – Async, fault-tolerant rate limiting for Django

https://github.com/YasserShkeir/django-smart-ratelimit

1•yassershkeir•22m ago•0 comments

Show HN: Bytepad – a minimal, no-nonsense, open-source note-taking app

https://github.com/samitugal/bytepad

1•samitugal•23m ago•0 comments

Show HN: Sharpie, the C# Fantasy Console Disguised as an Emulator

https://github.com/ChristosMaragkos/Sharpie

1•NeverBugFree•24m ago•1 comments

Show HN: What shipped this week? now you can just ask

1•inferno22•27m ago•0 comments

Me and the Machine

https://mitsuhiko.github.io/talks/me-and-the-machine/#1

2•tosh•29m ago•0 comments

MCP Server that Manages IntelliJ [video]

https://www.youtube.com/watch?v=6ByedA15n8Q

2•jonnyzzz•31m ago•2 comments

The Japanese reading problem that made me build my own app

https://blog.kulman.sk/japanese-reading-problem/

1•ig0r0•32m ago•0 comments

The $200K Developer Dream Is Over – Here's the Reality in 2026

https://medium.com/@sovannaro/the-200k-developer-dream-is-over-heres-the-reality-in-2026-b8718dc8...

8•cumo•32m ago•0 comments

Free browser-based tools for CSV, JSON, and Excel files

https://www.formatlab.io/

1•darhl•32m ago•1 comments

Using Canonical Log Lines for Online Visibility (2016)

https://brandur.org/canonical-log-lines

1•tosh•37m ago•0 comments

Porting MiniJinja to Go with an Agent

https://lucumr.pocoo.org/2026/1/14/minijinja-go-port/

2•keybits•39m ago•0 comments

One for the Treble, Two for the Time

https://tigerbeetle.com/blog/2026-01-14-bitemporality/

7•jorangreef•41m ago•0 comments

UK secures record supply of offshore wind projects

https://www.bbc.co.uk/news/articles/cn9zyx150xdo

12•ljf•41m ago•16 comments

Implementing DistBelief (2018)

https://jcaip.github.io/Distbelief/

1•thomasjb•42m ago•0 comments

logfmt (2013)

https://brandur.org/logfmt

2•tosh•43m ago•0 comments

The Volkswagen ID. Buzz Won't Get a 2026 Model

https://insideevs.com/news/782418/vw-id-buzz-electric-bus-canceled-2026/

2•teleforce•45m ago•0 comments

The proposed design of the digital euro: A critical analysis

https://link.springer.com/article/10.1007/s42521-025-00171-2

3•gnufx•46m ago•0 comments

Daniel Dennett: Where am I? [pdf]

https://www.lehigh.edu/~mhb0/Dennett-WhereAmI.pdf

1•georgestrakhov•48m ago•1 comments

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

Plane Clock – Displays plane corresponding to hour

EBPF.party

Show HN: Burnboard – Track and compare your AI coding assistant usage

Java – Project Valhalla: Prototyping null checks

Notes on Skill.md vs. MCP

Show HN: Claude CodePro – Professional Development Environment for Claude Code

Reversing YouTube's "Most Replayed" Graph

Show HN: MCP-add` a CLI to add your MCP server to various clients with ease

UK Officials could face US entry ban over Twitter policy

Peter Girnus: "Last quarter I rolled out Microsoft Copilot to 4k employees."

A post-American, enshittification-resistant internet [video]

Show HN: Django Smart Ratelimit – Async, fault-tolerant rate limiting for Django

Show HN: Bytepad – a minimal, no-nonsense, open-source note-taking app

Show HN: Sharpie, the C# Fantasy Console Disguised as an Emulator

Show HN: What shipped this week? now you can just ask

Me and the Machine

MCP Server that Manages IntelliJ [video]

The Japanese reading problem that made me build my own app

The $200K Developer Dream Is Over – Here's the Reality in 2026

Free browser-based tools for CSV, JSON, and Excel files

Using Canonical Log Lines for Online Visibility (2016)

Porting MiniJinja to Go with an Agent

One for the Treble, Two for the Time

UK secures record supply of offshore wind projects

Implementing DistBelief (2018)

logfmt (2013)

The Volkswagen ID. Buzz Won't Get a 2026 Model

The proposed design of the digital euro: A critical analysis

Daniel Dennett: Where am I? [pdf]

Uber Conquered Database Overload

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

Plane Clock – Displays plane corresponding to hour

EBPF.party

Show HN: Burnboard – Track and compare your AI coding assistant usage

Java – Project Valhalla: Prototyping null checks

Notes on Skill.md vs. MCP

Show HN: Claude CodePro – Professional Development Environment for Claude Code

Reversing YouTube's "Most Replayed" Graph

Show HN: MCP-add` a CLI to add your MCP server to various clients with ease

UK Officials could face US entry ban over Twitter policy

Peter Girnus: "Last quarter I rolled out Microsoft Copilot to 4k employees."

A post-American, enshittification-resistant internet [video]

Show HN: Django Smart Ratelimit – Async, fault-tolerant rate limiting for Django

Show HN: Bytepad – a minimal, no-nonsense, open-source note-taking app

Show HN: Sharpie, the C# Fantasy Console Disguised as an Emulator

Show HN: What shipped this week? now you can just ask

Me and the Machine

MCP Server that Manages IntelliJ [video]

The Japanese reading problem that made me build my own app

The $200K Developer Dream Is Over – Here's the Reality in 2026

Free browser-based tools for CSV, JSON, and Excel files

Using Canonical Log Lines for Online Visibility (2016)

Porting MiniJinja to Go with an Agent

One for the Treble, Two for the Time

UK secures record supply of offshore wind projects

Implementing DistBelief (2018)

logfmt (2013)

The Volkswagen ID. Buzz Won't Get a 2026 Model

The proposed design of the digital euro: A critical analysis

Daniel Dennett: Where am I? [pdf]