frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Lean Programming Language

https://lean-lang.org/
3•fagnerbrack•8h ago

The bottleneck for AI agents isn't the model anymore. It's the context layer

https://thenewstack.io/ai-agent-infrastructure-bottleneck/
1•Brajeshwar•1m ago•0 comments

New mandatory Gmail, your Android backup storage needs may increase

2•newsoftheday•2m ago•0 comments

Reverse Engineered the Plank Scale, Found an XOR

https://github.com/Michael-Ax64/K4-CompilingReality/blob/main/quantum/Q10-PlanckScale.md
1•michael-ax•5m ago•1 comments

JustREPL: A no-AI coding playground

https://justrepl.com
1•sharpshootersl•5m ago•1 comments

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
1•badcryptobitch•8m ago•0 comments

The Derelict (2015)

https://www.damninteresting.com/the-derelict/
1•EndXA•12m ago•0 comments

I Made 11 AI Agents Do My Job. Here's What Happened

https://hackenewhome.blogspot.com/p/my-take-on-ai-vc-benchmark-bloggers.html
1•AllForAll•16m ago•0 comments

Show HN: Free, curated prompts for AI image, video and music

https://ahaprompt.app
1•weijunext•17m ago•0 comments

The neutrality project – Making the politics inside AI measurable

https://neutralityproject.org/
1•amai•20m ago•0 comments

Show HN: A self-correcting algebraic agent swarm

https://github.com/Michael-Ax64/K4-AlgebraicSwarm
1•michael-ax•20m ago•0 comments

Petals: Collaborative Inference and Fine-Tuning of Large Models

https://arxiv.org/abs/2209.01188
2•rglover•21m ago•0 comments

The Economics of LLM Profits: HyperScalers, or Labs?

https://davidmanheim.com/AI-Economics/
2•davidmanheim•23m ago•1 comments

Show HN: Bribes.fyi – Built something to report bribes

https://bribes.fyi/
2•neverenderr•26m ago•0 comments

I analyzed 30 days of traffic hitting my homelab reverse proxy

https://www.reddit.com/r/selfhosted/s/O19M2uKF8j
2•frizlab•30m ago•0 comments

Investigation reveals disguised gambling apps on the App Store Brazil

https://9to5mac.com/2026/07/17/investigation-reveals-dozens-of-disguised-gambling-apps-on-the-app...
2•thm•30m ago•0 comments

OpenShip

https://openship.io
2•jasoncartwright•30m ago•0 comments

The New Washington Temptation Inside Information and a Prediction Market Account

https://www.wsj.com/politics/policy/dc-government-prediction-market-betting-8134c3fc
2•thm•30m ago•0 comments

Getting organized: personal inventory management

https://janschutte.com/posts/getting-organized/
1•duckerduck•31m ago•0 comments

Microsoft warns of surge in ACR Stealer attacks on customers

https://www.bleepingcomputer.com/news/security/microsoft-warns-of-surge-in-acr-stealer-attacks-on...
1•Brajeshwar•32m ago•0 comments

Show HN: Skimlane – A local-first, customizable, AI reading assistant for Chrome

https://skimlane.com/
1•bibryam•33m ago•1 comments

Plumbing Homebrew into the Vulnerability Ecosystem

https://nesbitt.io/2026/07/17/plumbing-homebrew-into-the-vulnerability-ecosystem.html
1•zdw•33m ago•0 comments

Codex app for macOS repeatedly triggers syspolicyd/trustd CPU and memory runaway

https://github.com/openai/codex/issues/25719
1•enraged_camel•33m ago•0 comments

AmbyKit

https://github.com/ambystechcom/AmbyKit
1•tavobarrientos•35m ago•1 comments

Show HN: My word game inspired by Wordle, Sudoku and crosswords

https://squareword.org/
1•oliwary•35m ago•0 comments

Sterna-Mail: Private, Native Android Email Client for JMAP and IMAP/SMTP

https://codeberg.org/emon/sterna-mail
1•galdan•36m ago•0 comments

Better synchronization primitives for Zig's std.Io

https://lalinsky.com/2026/07/17/better-synchronization-primitives-for-zig-std-io.html
2•ibobev•37m ago•0 comments

C64 Basic Dungeon Crawler: Goblin Attack (C64 Basic Part 8)

https://retrogamecoders.com/c64-basic-dungeon-part8/
2•ibobev•38m ago•0 comments

Starting the ZX Spectrum Shooting Gallery in Earnest – Bumbershoot Software

https://bumbershootsoft.wordpress.com/2026/07/18/starting-the-zx-spectrum-shooting-gallery-in-ear...
1•ibobev•38m ago•0 comments

US Construction Spending on Data Centers Eclipses $50B

https://www.bloomberg.com/news/articles/2026-06-01/us-construction-spending-on-data-centers-eclip...
1•airhangerf15•39m ago•0 comments

The one where Codex brushes my teeth

https://iamwillwang.com/notes/the-one-where-codex-brushes-my-teeth/
2•wxw•43m ago•0 comments