frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Gandalf – a self-hosted, privacy-first access guard

https://gandalf.nerdvpn.de/
1•Cider9986•12s ago•0 comments

Show HN: An AI Agent that automates workflows on your Mobile

https://mobilerun.ai/
1•Messyflame•1m ago•0 comments

AI is becoming a bargain hunter's market, with a few luxury models on top

https://www.theregister.com/ai-and-ml/2026/07/08/ai-is-becoming-a-bargain-hunters-market-with-a-f...
1•beardyw•3m ago•0 comments

Apple iPhone charger teardown: quality in a tiny expensive package (2012)

https://www.righto.com/2012/05/apple-iphone-charger-teardown-quality.html
1•downbad_•4m ago•0 comments

Streaming 1.9B Hypersparse Network Updates per Second with D4M (2019)

https://arxiv.org/abs/1907.04217
1•teleforce•4m ago•0 comments

WannaCry cluster from 2017 still spreading in 2026 – 269 samples in 72h

https://github.com/dblanko/honeypot-analysis/blob/main/dionaea/reports/wannacry_2026.md
2•dblanko•12m ago•0 comments

AI Tokenomics: How to tokenmin while ROImaxxing

https://mmc.vc/research/ai-tokenomics-how-to-tokenmin-while-roimaxxing/
2•jack1689•13m ago•1 comments

Show HN: Tools and skills to build better sites with AI

https://app.initium.sh
1•figmaster•18m ago•1 comments

Moss: Sub-10 ms semantic search runtime

https://www.moss.dev
1•handfuloflight•24m ago•0 comments

15 months of building an OSS Azure emulator with and without AI

https://topaz.thecloudtheory.com/blog/15-months-building-oss-with-and-without-ai/
1•kamilmrzyglod•26m ago•0 comments

Run your own self-hosted LLMs with Docker Compose

https://totaldebug.uk/posts/self-hosted-llms-ollama-open-webui-docker-compose/
1•marksie1988•28m ago•0 comments

WannaCry cluster from 2017 still spreading in 2026 – 269 samples in 72h

https://sshlab.eu/blog/a-wannacry-cluster-from-2017-still-active-in-2026-b5bdaad3
1•dblanko•32m ago•0 comments

The space bit of SpaceX is worth $8 a share, says Morgan Stanley

https://www.ft.com/content/09a62ed4-16af-433c-adb7-c877d1975388
6•iamflimflam1•33m ago•0 comments

Ask HN: Is there anything good in the existence of LLMs?

1•sirnicolaz•34m ago•0 comments

Zero-Trust Workload Identity in Kubernetes with Spiffe, Spire, and Cilium

https://www.freecodecamp.org/news/implement-zero-trust-workload-identity-in-kubernetes-with-spiff...
3•enz•35m ago•0 comments

Browser extension to filter out all unknown brands from Amazon search results

https://chromewebstore.google.com/detail/amazonbrandfilter/mhfjchmiaocbleapojmgnmjfcmanihio
4•alecco•42m ago•1 comments

Beyond Refusal: Aligned vs. Abliterated LLMs for Vulnerability Analysis

https://arxiv.org/abs/2607.05842
1•sbulaev•43m ago•0 comments

Moraine: Unified Agent Tracing

https://github.com/eric-tramel/moraine
1•handfuloflight•45m ago•0 comments

The social physics of conversation: Communication patterns matter

https://andiroberts.com/citizenship/the-social-physics-of-conversation-citizenship-leadership
1•kiyanwang•45m ago•0 comments

The hard part wasn't the code. The hard part was the thinking that produced it

https://medium.com/@mjmoughtin/the-reframe-2f2a74aa4b93
1•raychis•46m ago•1 comments

The Download: your stake in OpenAI, and the Treasury's AI warning

https://www.technologyreview.com/2026/07/07/1140197/the-download-your-openai-stake-treasury-ai-wa...
1•joozio•46m ago•0 comments

Zebra-Rs Rust Version of GNU Zebra, Quagga, FRR

https://zebra.rs
1•kishiguro•47m ago•0 comments

Leave a failing test before you go on vacation

https://lukapeharda.com/article/leave-a-failing-test-before-you-go-on-vacation/
2•srijan4•48m ago•1 comments

Show HN: Plugin to Connect Pi to Signal

https://github.com/aalzubidy/pi-signal
1•sub-e12•50m ago•0 comments

Badger: Low-level SQLite file format visualizer

https://github.com/nikitazigman/badger
1•thunderbong•51m ago•0 comments

Microsoft Laid Off a 37-Year Vet

https://twitter.com/layoffai/status/2074629736140075212
3•taubek•56m ago•0 comments

The Four Core Areas of Responsibility for an Engineering Manager

https://softwareleads.substack.com/p/the-four-pillars-of-engineering-management
1•kiyanwang•57m ago•0 comments

Show HN: Jot, a menu bar app that catches a thought before it's gone

https://jot.arunbrahma.com
1•masterbrewer•58m ago•0 comments

Highlite – Make any website your virtual whiteboard

https://get-highlite.app
1•ryoann•59m ago•0 comments

Not all model upgrades are upgrades

https://developer.microsoft.com/blog/not-all-model-upgrades-are-upgrades
1•waldekm•1h ago•0 comments
Open in hackernews

My Name Is SiMON

https://github.com/ProphetGang/formal_symbol_language
1•ProphetGang•1h ago

Comments

ProphetGang•1h ago
My work is for all humans. This repository contains thirty-two consecutive mathematically proven Lean 4 theorems, a new computational language, and the stepping stone. X Please download the repository and analyze it with the AI of your choice (Claude, Codex, etc…) this is a free resource. Many will soon claim this work as their own…but this is realization, not creativity. I may have connected the points but they have been connected all along.