frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Ransomware attack on fairlife (company owned by Coca Cola)

https://www.sec.gov/Archives/edgar/data/21344/000162828026048466/ko-20260716.htm
1•wolfi1•32s ago•0 comments

Daily Urban Systems: where people live and where they work (the Netherlands)

https://regio.toekom.st/
1•overboil•1m ago•0 comments

Controlling user access in ScalarDB Cluster by using OIDC-based JWT tokens

https://medium.com/scalar-engineering/controlling-user-access-in-scalardb-cluster-by-using-oidc-b...
1•josh-scalar•2m ago•0 comments

Asus XG27JCG: An Apple Studio Display XDR Contender?

https://simonfredsted.com/2245
1•fredsted•3m ago•0 comments

Whats App Hack

https://news.ycombinator.com/newsguidelines.html
1•Armanlhan•4m ago•0 comments

Trump administration reportedly reviving push to ban Chinese AI models, Kimi K3

https://www.tomshardware.com/tech-industry/artificial-intelligence/trump-administration-reportedl...
1•virgildotcodes•5m ago•0 comments

US is building 3000 data centers. The economics aren't as great as they seem

https://qz.com/data-center-construction-permanent-jobs-cliff-071026
1•robtherobber•8m ago•0 comments

Optique 1.2.0: fluent modifiers, deferred values, and new integrations

https://github.com/dahlia/optique/discussions/877
1•dahlia•8m ago•0 comments

Show HN: WhimPop – A macOS menu that pops up under your cursor

https://whimpop.com/
1•whimbyte•10m ago•0 comments

How to Love the World More: George Saunders on the Courage of Uncertainty

https://www.themarginalian.org/2026/07/20/george-saunders-uncertainty/
1•the-mitr•14m ago•0 comments

Show HN: Clair – open-source semantic news API

https://clair.im
1•kaanersoy•18m ago•0 comments

Visualizing the Artemis II Mission

https://foxglove.dev/blog/visualizing-the-artemis-ii-mission
1•msadowski•19m ago•0 comments

Did Claude Code became faster after Bun switch

https://claude.com/product/claude-code
1•preetham_rangu•20m ago•0 comments

Paraphraser AI – a rewriter with controls for meaning, tone, and keywords

https://tryparaphraser.com/
1•dinglumeng•20m ago•0 comments

Incremental View Maintenance on DuckDB

https://github.com/ila/openivm
2•hantusk•23m ago•0 comments

Fake kits worth £18M seized by police during World Cup

https://www.bbc.co.uk/sport/football/articles/c0rdgrkx552o
1•mmarian•27m ago•0 comments

NameRank: The Model Knows Your Project, Not You

https://01.me/research/namerank/
1•jarrett-ye•29m ago•0 comments

Escape Analysis in Go: Stack vs. Heap Allocations Explained

https://blog.jetbrains.com/go/2026/07/20/escape-analysis/
1•ingve•30m ago•0 comments

Grok Build Is Open Source, but xAI Won't Take Your Patches

https://www.vincentschmalbach.com/grok-build-open-source-contributions-closed/
1•vincent_s•30m ago•0 comments

How the Western Diet Has Derailed Our Evolution (2015)

https://nautil.us/how-the-western-diet-has-derailed-our-evolution-235683
1•XzetaU8•32m ago•0 comments

Isolation Failure from Shared Storage: Page-Cache SCA Leakage Across Containers

https://arxiv.org/abs/2607.17518
1•sbulaev•34m ago•0 comments

German government approves new gas power plant auctions to back up wind andsolar

https://www.cleanenergywire.org/news/german-government-approves-new-gas-power-plant-auctions-back...
2•leonidasrup•34m ago•0 comments

ANSI escape injection in MCP servers: Hidden from humans, visible to AI

https://brightsec.com/research/detecting-ansi-escape-sequence-injection-in-mcp-servers-with-dast/
1•xgpyc2qp•40m ago•0 comments

China's AI models have Trump's AI world at war with itself

https://www.technologyreview.com/2026/07/20/1140675/chinas-ai-models-have-trumps-ai-world-at-war-...
1•joozio•40m ago•0 comments

Show HN: SteerPlane – open-source runtime guardrails for AI agents

https://github.com/vijaym2k6/SteerPlane
1•vijaym2k6•41m ago•0 comments

Free website-cost calculator and open CC-BY dataset of what web projects cost

https://projectcostestimator.com
1•VrumVrum•44m ago•0 comments

Ask HN: Does it make sense to rotate AI accounts regularly?

1•kls0e•46m ago•1 comments

An open-source model on par with DeepSeek v4 has appeared in South Korea

https://old.reddit.com/r/LocalLLaMA/comments/1v23c6w/motif_3_beta_released/
1•haebom•46m ago•0 comments

Show HN: Claude is getting an attitude

2•_nhh•47m ago•0 comments

Head to head: GLM 5.2 vs. OpenAI: GPT-5.6 Sol

https://runtimewire.com/article/head-to-head-glm-5-2-vs-openai-gpt-5-6-sol
1•ryanmerket•55m ago•0 comments
Open in hackernews

Show HN: Forall – OpenSpec but with actual machine-checkable verification

https://github.com/astrio-labs/forall
2•Nolan_Lwin•10h ago

Comments

sightspinner•8h ago
I'm confused about what this is. Is basically doing formal verification on the things spec'd out?