frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Varto proves complete PutnamBench AI math benchmark in Isabelle

https://varto.ai/news/putnambench/
1•simonbohnen•51m ago

Ukraine's Fire Point is integrating European tech into missile defence system

https://www.reuters.com/business/aerospace-defense/ukraines-fire-point-starts-integrate-european-...
1•JumpCrisscross•32s ago•0 comments

Testing Used LFP Cells Requires Some Automation

https://hackaday.com/2026/08/04/testing-hundreds-of-used-lfp-cells-requires-some-automation/
1•toomuchtodo•41s ago•1 comments

FlareStarter – edge-native SaaS starter on TanStack Start and Cloudflare

https://flarestarter.com/
1•beilunyang•1m ago•0 comments

JD Vance: How I Joined the Resistance (2020)

https://thelampmagazine.com/blog/how-i-joined-the-resistance
1•geneticdrifts•2m ago•0 comments

Diamond industry misjudged threat of lab-grown gems, says Anglo American CEO

https://www.ft.com/content/e171131f-e68d-481c-afc4-48f70d51e08a
1•JumpCrisscross•2m ago•0 comments

Autoresearch isn't just for training models (2026)

https://shopify.engineering/autoresearch
1•doppp•2m ago•0 comments

When AI Benchmarks Plateau: A Systematic Study of Benchmark Saturation

https://arxiv.org/abs/2602.16763
2•doppp•4m ago•0 comments

Thresholds: Why Two Nearly Identical Crowds Do Opposite Things

https://theholbrookreport.com/reports/thresholds-and-collective-behavior/
1•TyrunDemeg101•5m ago•0 comments

FARA 7649 Foreign Influence Audit

https://www.bitchute.com/video/IRfICXureUeW/
1•untiledsource•6m ago•0 comments

Performing live migrations of VMs at scale

https://www.sailresearch.com/blog/performing-live-migrations-of-massive-vms-at-scale
1•blintz•7m ago•0 comments

The applause that disrupted nothing – yet still led to an arrest

https://expression.fire.org/p/the-applause-that-disrupted-nothing
2•timr•7m ago•0 comments

Most countries provide between 20 and 40 paid days off

https://www.not-ship.com/not-ship-summer-vacation/
1•speckx•8m ago•0 comments

Flyte 2 is GA: durable distributed AI workflows using regular Python

https://www.union.ai/blog-post/flyte-2-is-generally-available-the-durable-open-source-ai-runtime
6•kumare3•9m ago•0 comments

How mathematicians are responding to AI

https://www.understandingai.org/p/mathematicians-are-grappling-with
2•chiwilliams•11m ago•0 comments

Mixture-of-Kittens: our open-source MoE megakernel for NVL72s

https://cursor.com/blog/mixture-of-kittens
3•mfiguiere•12m ago•0 comments

Steffen Boarding Method

https://en.wikipedia.org/wiki/Steffen_Boarding_Method
1•thunderbong•12m ago•0 comments

NPM's keyv package got compromised having 127M weekly downloads

https://safedep.io/keyv-npm-supply-chain-compromise/
2•birdculture•13m ago•1 comments

Why Netcup Isn't in the Webbynode Dataset

https://webbynode.com/articles/why-netcup-isnt-in-the-webbynode-dataset
1•gsgreen•13m ago•0 comments

The Dynamics of the Egg

https://www.the-hinternet.com/p/the-dynamics-of-the-egg
1•Caiero•14m ago•0 comments

Why remote roles are region specific and not 100% remote?

1•moizrocky1•14m ago•2 comments

An LLM attacked our lab so we made it work for us

https://jesta.ai/blog/darkreasoning
1•nirga•16m ago•0 comments

Retries don't fix eventual consistency

https://var0.xyz/posts/retries-dont-fix-eventual-consistency.html
2•tuxie_•16m ago•0 comments

AMD's FP64 Boost with MI430X Is Even Bigger Than Expected

https://www.hpcwire.com/2026/08/03/amds-fp64-boost-with-mi430x-is-even-bigger-than-expected/
1•rbanffy•16m ago•0 comments

How fast is C++26's std:hive?

https://lemire.me/blog/2026/08/02/how-fast-is-c26s-stdhive/
2•ibobev•17m ago•0 comments

Relative Velocity and Closing Speed

https://eli.thegreenplace.net/2026/relative-velocity-and-closing-speed/
1•ibobev•17m ago•0 comments

A field guide to rendering: from triangles to Gaussians

https://www.4rknova.com/blog/2026/07/19/a-field-guide-to-rendering#interlude-renderman-which-chan...
1•ibobev•18m ago•0 comments

Bundling Bioweapons with Vite

https://github.com/HughParry/vite-bundle-antillm
2•HughParry•18m ago•0 comments

Secretspec 0.18: Secret Lifecycle, Bitwarden, Keeper, AWS PS, and Swift

https://secretspec.dev/blog/secretspec-0-18-secret-lifecycle-bitwarden-keeper-aws-parameter-store...
1•domenkozar•18m ago•0 comments

Show HN: Jido Assembly; Slack Clone in Pure Elixir with Integrated Agents

https://jido.run/blog/jido-assembly-slack-clone
2•mikehostetler•18m ago•0 comments

Nvidia Alpamayo 2 Super, the Frontier Open Model for Autonomous Vehicles

https://blogs.nvidia.com/blog/alpamayo-2-super-open-model-now-available/
2•malshe•20m ago•1 comments