frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

A Critical Look at Lean4

https://www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical-look-at-lean4-1
1•paulpauper•1h ago

PalmOS Lemmings

https://palmos-lemmings.dk.workers.dev/
1•measurablefunc•1m ago•0 comments

VYBE – Save clipboard YouTube links as MP4 or MP3 with global shortcuts

https://github.com/mickfive05/VYBE
1•michaellupo•2m ago•0 comments

Obsession with AI May Be Starving the Research Fields It Needs to Survive

https://www.unite.ai/obsession-with-ai-may-be-starving-the-research-fields-it-needs-to-survive/
1•50kIters•3m ago•0 comments

Boeing 737 MAX wins FAA certification, clearing way for delivery of 1555 planes

https://www.foxbusiness.com/markets/boeings-largest737-max-jet-wins-faa-certification-clearing-wa...
1•mikhael•4m ago•0 comments

LiteLLM 1.107.0 wheels on PyPI are compromised

https://twitter.com/LiteLLM/status/2112945728565993864
3•peterjliu•5m ago•0 comments

eMudhra Certificates Are Compromised

https://blog.cloudflare.com/emudhra-certificate-compromise/
2•nicksergeant•7m ago•1 comments

Embedding EYG in Erlang

https://eyg.run/guides/embedding-eyg-in-erlang-programs
1•crowdhailer•7m ago•0 comments

New Kid on the Block

https://praex.ai/
1•praexai•7m ago•0 comments

For All K9s Lovers

https://github.com/rt-kill/k9rs
1•rt-kill•9m ago•1 comments

Show HN: Professionally maintained Tree-sitter compatible WASM grammars

https://powderworks.dev/
1•knuckleheads•9m ago•0 comments

Show HN: The Steam Frame's wireless adapter isn't what you think

https://github.com/Sharktheone/steamframe-dongle
1•sharktheone•13m ago•0 comments

Toyota Releases Video of Wheelchair-Alternative Mobility Concepts in Action

3•Mobius01•15m ago•1 comments

What browser task do you still do by copy-paste every week?

https://awflow.io/
1•dannickstark•16m ago•1 comments

SpaceX and Tesla Explore Merger

https://www.nytimes.com/2026/10/21/business/elon-musk-spacex-tesla-merger.html
3•forthwall•17m ago•0 comments

Show HN: Repository of the Day - Flisk – run a full local service stack ASAP

https://github.com/flisk-sh/flisk
1•alexdykyi•20m ago•2 comments

Automattic begins layoffs following board upheaval and executive departures

https://techcrunch.com/2026/10/21/automattic-begins-layoffs-following-board-upheaval-and-executiv...
3•ValentineC•22m ago•0 comments

AWS rates PHP RCE as Important so Amazon Linux 2023 patch may take 20 days

https://github.com/amazonlinux/amazon-linux-2023/issues/1148
6•hayd•23m ago•1 comments

Design with an Elephant. Review with a Goldfish

https://egm.dev/
1•mfrw•23m ago•0 comments

UK government accepts 27 new "antisemitism" recommendations

https://twitter.com/PolitlcsUK/status/2112923461664260180
1•newspaper1•25m ago•0 comments

Show HN: I made anagrams slightly challenging

https://www.quizingo.app/anagrams
1•coder97•26m ago•0 comments

CleanFrame: A quieter home screen for Samsung The Frame

https://github.com/nthnclrk/CleanFrame
1•ingve•27m ago•0 comments

Android testers wanted: help us unlock Vardum on Google Play

https://tryvardum.app/
1•veil-im•28m ago•1 comments

Bugra Akdemir on the XERJ Corpus Hub

https://hub.xerj.org/contributors/BugraAkdemir
1•bugraakdemir37•30m ago•0 comments

She Was the DEA's Premier Crypto Detective

https://www.wired.com/story/the-deas-premier-crypto-detective-clues-led-straight-to-her-own-family/
1•Anon84•32m ago•0 comments

Model winter sunlight and shadows on any Oregon property using Lidar

https://www.oregonelevationtools.com
1•dango2506•35m ago•1 comments

Is Wikipedia the 'Last Best Place on the Internet'?

https://www.nytimes.com/2026/10/21/books/review/the-last-best-place-on-the-internet-richard-cooke...
2•cainxinth•35m ago•1 comments

Auracast – Your Own Radio Station Wherever You Are

https://www.bluetooth.com/auracast/
1•bookofjoe•35m ago•0 comments

Show HN: A shared 3D Zoo in the browser where everyone sees the same animals

https://zooki.world
3•kagen•37m ago•1 comments

PHP 7.4 backport packages for older Ubuntu / Debian distros

https://github.com/Niek/php7
2•NiekvdMaas•40m ago•0 comments

Tesla posts surprise positive cash flow on lower-than-expected AI spending

https://www.reuters.com/business/media-telecom/tesla-revenue-beats-estimates-deliveries-rebound-e...
5•baal80spam•43m ago•0 comments