frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Towards formal verification: mbrotli and mzstd

https://m-compressors.github.io/2026/formal-verification-mbrotli-mzstd/
1•roliver•33m ago

The Correspondence Theory of LLM Truth

https://blog.devgenius.io/the-correspondence-theory-of-llm-truth-2abdc200474f?sk=9417bcb4ca9c7abc...
1•cheikhdev•6m ago•0 comments

Show HN: UUMit – turn idle machines into model endpoints

https://uumit.ai/
1•rory18439909614•8m ago•0 comments

The Tragedy of the Oxide Root of Trust

https://danielmangum.com/posts/tragedy-oxide-rot/
1•hasheddan•9m ago•0 comments

Ask HN: What's one coding habit that separates great dev from average dev?

3•dhruonweb•9m ago•1 comments

AI Companies Scramble to Navigate a World Hostile to Data Centers

https://www.wsj.com/tech/ai/ai-companies-scramble-to-navigate-a-world-hostile-to-data-centers-c60...
2•thm•10m ago•0 comments

Project Sync: The journey to sample-perfect audio/video sync with WebCodecs

https://mediabunny.dev/blog/project-sync
1•burntcaramel•11m ago•0 comments

Palantir harvests battlefield data that Ukraine pays for 'with blood'

https://www.aljazeera.com/news/2026/11/5/palantir-mines-battlefield-intelligence-but-is-ukraine-p...
1•thunderbong•12m ago•0 comments

Seeking advice: Wix stolen my .com domain

2•wixcom•13m ago•6 comments

Meta, Google, and TikTok sue California AG over teen social media law

https://techcrunch.com/2026/11/05/meta-google-and-tiktok-sue-california-ag-over-teen-social-media...
1•smalltech•13m ago•0 comments

Show HN: Chorono – Open-source 2D animation editor controllable via MCP

https://github.com/codie1982/chorono-editor
1•tinnten•14m ago•0 comments

Itch.io founder announces the 'return of Flash games' thanks to open source

https://www.gamingonlinux.com/2026/11/itch-io-founder-announces-the-return-of-flash-games-thanks-...
2•mrkn1•16m ago•0 comments

Show HN: Nandfs – A computer made of folders that runs DOOM

https://github.com/zero11-0203/nandfs
1•zero11-0203•16m ago•0 comments

A.I. Just Blew Up a Key Tenet of Computer Science

https://www.nytimes.com/2026/11/06/science/ai-exponential-time-hypothesis.html
3•furcyd•16m ago•0 comments

AI Needed to Produce More Gas to Power More AI, Tech Firm Cohere Says

https://www.desmog.com/2026/11/04/ai-needed-to-produce-more-gas-to-power-more-ai-tech-firm-cohere...
1•mrkn1•17m ago•0 comments

Booking calls with calrs, a self-hosted scheduler in Rust

https://unbeholden.dev/blog/booking-calls-with-calrs
1•unbeholden•17m ago•0 comments

Show HN: PentestCanvas – Pentesting Workspace; with Claude and Kali

https://github.com/andrearitossa/pentest-canvas
1•andrearitossa•17m ago•0 comments

Quill, a Windows browser with a reader mode you can draw on

https://github.com/nimvorodev/quill-browser
1•nimvorodev•19m ago•0 comments

Memorilla: Latent Semantic Memory for LLMs

https://github.com/snap-stanford/memorilla
2•tomislavpet•20m ago•1 comments

Launch a swarm of obliterated AI agents to hack your site

https://mockhack.com
2•timm37•24m ago•2 comments

The True Causes of the Typo Generation

https://medium.com/luminasticity/on-the-true-causes-of-the-typo-generation-c30cedcf80c8
1•bryanrasmussen•26m ago•0 comments

Show HN: Ueddit.com – Reddit Without Logging In

https://ueddit.com/
2•DavCreator•26m ago•0 comments

The Rise of Worse is Better (1991)

https://www.dreamsongs.com/RiseOfWorseIsBetter.html
1•zahrevsky•26m ago•0 comments

DotJpegli – Fast, Portable, Memory-Safe JPEG Encoder

https://symbiogenesis.github.io/DotJpegli/
1•nwah1•28m ago•1 comments

How to Do Less (2022)

https://alexturek.com/2022-03-07-How-to-do-less/
1•germanrabbit•29m ago•0 comments

We've built an open-source feature flag server for 11 years

https://github.com/Unleash/unleash
7•ivarconr•30m ago•1 comments

Heisenbug

https://en.wikipedia.org/wiki/Heisenbug
2•green_biri•33m ago•0 comments

Markeplay – Run an online store with specialized AI agents

https://markeplay.channel.markedev.com/
1•dome0506•33m ago•0 comments

Towards formal verification: mbrotli and mzstd

https://m-compressors.github.io/2026/formal-verification-mbrotli-mzstd/
1•roliver•33m ago•0 comments

The Rheinmetall Curb Charger

https://www.rheinmetall.com/en/products/charging-infrastructure/curb-charger
1•robin_reala•33m ago•0 comments

Gnome Extension for getting windows list in Wayland

https://github.com/ickyicky/window-calls
1•ankitg12•33m ago•0 comments