frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Towards an Algebraic Theory of Context-Free Languages (1996) [pdf]

http://www-igm.univ-mlv.fr/~berstel/Articles/1996AlgebraicTheory.pdf
1•aebtebeten•2h ago

Americans Hate AI. Which Party Will Benefit

https://www.politico.com/news/magazine/2025/12/28/ai-job-losses-populism-democrats-bernie-sanders...
1•Webstir•52s ago•0 comments

Are these AI prompts damaging your thinking skills?

https://www.bbc.com/news/articles/cd6xz12j6pzo
1•1vuio0pswjnm7•1m ago•0 comments

Decoding a V16 Beacon

https://destevez.net/2025/12/decoding-a-v16-beacon/
1•bearbin•5m ago•0 comments

Show HN: Refactor Vue/React Components with Label Propagation and Claude Code

https://vue-hook-optimizer.vercel.app/
1•huali•5m ago•1 comments

Building a React App with Formally Verified State

https://midspiral.com/blog/building-a-react-app-with-formally-verified-state/
1•namin•5m ago•0 comments

Show HN: Collaborative code playground in a single <1MB HTML file

https://github.com/micouy/koper
1•micouay•7m ago•0 comments

Show HN: Paper Tray – dramatically better file organization for Google Drive

https://www.papertray.ai/
1•affine_variety•8m ago•0 comments

Free macOS app to manage SQL databases without writing SQL

https://vps-commander.com/data-builder-macos-free-version/
1•tkrenn06•11m ago•0 comments

Show HN: Terminalot – A local-first, open-core SSH terminal with AI copilot

https://github.com/linkeli-labs/terminalot
1•linkeli•12m ago•0 comments

Why isn't there a ChatGPT for social media

1•NibezaK•14m ago•0 comments

MH370 vanished in 2014.New search aims to find answers families desperately want

https://www.abc.net.au/news/2025-12-30/mh370-search-resumes-for-malaysia-airlines-missing-plane/1...
3•evolve2k•15m ago•0 comments

Ionice(1) – Linux Manual Page

https://man7.org/linux/man-pages/man1/ionice.1.html
2•keepamovin•15m ago•0 comments

Looking at 2026 Through the Eyes of 1926

https://www.nytimes.com/2025/12/08/special-series/century-history-reflection-2026.html
1•cainxinth•16m ago•0 comments

Open Badges

https://openbadges.org/
1•Lwrless•17m ago•0 comments

Tesla Plaid Pickleball Paddle

https://www.yankodesign.com/2025/12/27/teslas-350-pickleball-paddle-is-peak-design-absurdity/
1•bookofjoe•17m ago•0 comments

Show HN: I built a zero-log PII redaction API – no AI, just regex and checksums

https://pii-firewall-edge-web.vercel.app
1•Raviteja_•20m ago•1 comments

Pushpad has released a new Go library for Web Push

https://newsletter.page/pushpad/2862-introducing-pushpad-go-v1-0-0-full-api-support-is-here
1•collimarco•22m ago•0 comments

Win32 is the stable Linux ABI

https://loss32.org/
24•krautburglar•26m ago•3 comments

Renewable energy project approvals hit record high in GB in 2025, data shows

https://www.theguardian.com/business/2025/dec/30/renewable-energy-projects-battery-storage-wind-s...
2•zeristor•26m ago•0 comments

no strpy either

https://daniel.haxx.se/blog/2025/12/29/no-strcpy-either/
16•firesteelrain•27m ago•1 comments

The Discovery of Lin Yutang's MingKwai Chinese Typewriter

https://typewriterrevolution.com/the-discovery-of-lin-yutangs-mingkwai-chinese-typewriter/
1•superjan•30m ago•1 comments

Show HN: Imesde – A tiny, ephemeral vector engine for streaming data (Rust)

https://github.com/imesde/imesde
1•alessiopel•30m ago•1 comments

The British Empire's Resilient Subsea Telegraph Network

https://subseacables.blogspot.com/2025/12/the-british-empires-resilient-subsea.html
2•giuliomagnifico•30m ago•0 comments

Show HN: Spraff – Voice and text AI chat, self-hostable, no data retention

https://github.com/martinpllu/spraff
1•pllu•33m ago•0 comments

Far-right online dating site leaked

https://okstupid.lol/
6•_tk_•33m ago•1 comments

SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style

https://www.philipzucker.com/glue-cvc5-z3/
1•matt_d•39m ago•0 comments

Fucking Approachable Swift Concurrency

https://fuckingapproachableswiftconcurrency.com/en/
4•wrxd•39m ago•0 comments

The state of AI – December 2025

https://www.ashprabaker.com/state-of-play
2•_ash_•40m ago•1 comments

Jan Łukasiewicz

https://plato.stanford.edu/entries/lukasiewicz/
1•danielam•43m ago•0 comments

MongoDB CVE CVE-2025-14847 – what K8s users should know?

https://www.armosec.io/blog/cve-2025-14847-mongobleed-memory-disclosure/
2•jkaftzan•44m ago•1 comments