frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Beyond the Library: An Agentic Framework for Autoformalizing Research Math

https://arxiv.org/abs/2606.31134
1•matt_d•55m ago

Show HN: Greatarrow.ai – Shared Memory for Claude, ChatGPT, Gemini and Cursor

https://www.greatarrow.ai
1•clapptastic•1m ago•0 comments

From Memory to Agency

https://arkalabs.app/from-memory-to-agency
1•Jergrim•3m ago•0 comments

Google repository now has 90 skills

https://github.com/google/skills
1•haebom•3m ago•0 comments

Everyday Technology Is Becoming a Black Box. Is There a Cost?

https://thereader.mitpress.mit.edu/everyday-technology-is-becoming-a-black-box-is-there-a-cost/
1•EA-3167•3m ago•0 comments

Gemma Translator: offline DIY translation device built with Gemma 4

https://www.youtube.com/watch?v=4dNry5zP0Jo
1•twobitshifter•4m ago•0 comments

Slopaganda Countermeasures: Part 1

https://docsgoblin.com/blog/26-03-17-slopaganda-countermeasures.html
1•erikhopf•4m ago•0 comments

Spin audit of SQD/QSCI quantum-chemistry benchmarks on iron–sulfur clusters

https://zenodo.org/records/21359923
1•purestatelabs•6m ago•0 comments

Kevin Warsh to stick with lean Fed messaging despite market backlash

https://www.ft.com/content/debe096f-ec89-424f-a8ca-d3843ef53549
1•petethomas•7m ago•0 comments

"I loved every minute of it, however hard it had been" [video]

https://www.youtube.com/watch?v=GS7CxAtV5Ks
1•jackdoe•14m ago•1 comments

OpenAI's ring-shaped smart speaker will reportedly cost between $300 and $400

https://www.engadget.com/2232108/openai-s-ring-shaped-smart-speaker-will-reportedly-cost-between-...
2•prng2021•16m ago•2 comments

Patient Zero (you can hug faces with cyber arms)

https://lokley.substack.com/p/patient-zero
1•loopscrollgame•17m ago•0 comments

The Schwarzschild Metric: Complete Derivation – General Relativity [video]

https://www.youtube.com/watch?v=6cSYZMM0wU4
1•binyu•20m ago•0 comments

VCS Friendly Scene Diffs in Godot 4.8

https://godotengine.org/article/dev-snapshot-godot-4-8-dev-2/#core-write-object-variants-with-n-b...
1•BinRoo•21m ago•0 comments

Snapline – menu-bar screenshot app that searches shots by their text

https://snap-line.app/
2•ziadeh•22m ago•0 comments

Blasting the Air in Front of Hypersonic Vehicles with Lasers Reduces Drag

https://www.twz.com/33859/blasting-the-air-in-front-of-hypersonic-vehicles-with-lasers-could-unlo...
1•delichon•27m ago•0 comments

How I released a game that has no assets [video]

https://www.youtube.com/watch?v=Qr3VsZYQy4s
1•EspadaV9•30m ago•1 comments

tla-rs: IronFleet and AutoMan in Verus

https://github.com/stonysystems/tla-rs
1•matt_d•31m ago•0 comments

Introducing Dogwood: runtime verification for AI agents

https://aws.amazon.com/blogs/opensource/introducing-dogwood-runtime-verification-for-ai-agents/
1•matt_d•32m ago•0 comments

Data Science Weekly – Issue 663

https://datascienceweekly.substack.com/p/data-science-weekly-issue-663
1•sebg•33m ago•0 comments

PyTorch Tutorial for Deep Learning – The JetBrains Blog

https://blog.jetbrains.com/pycharm/2026/07/pytorch-tutorial-for-deep-learning/
1•rbanffy•33m ago•0 comments

Cloudflare Announces Second Quarter 2026 Financial Results

https://cloudflare.net/news/news-details/2026/Cloudflare-Announces-Second-Quarter-2026-Financial-...
1•TheqO•34m ago•0 comments

OpenAI and four rivals just agreed on one standard for AI agents

https://thenextweb.com/news/openai-agent-plugins-open-standard-skills-mcp
5•FireBeyond•34m ago•1 comments

South Korea province deploys drones to warn elderly farmers amid heatwave

https://www.reuters.com/business/environment/south-korea-province-deploys-drones-warn-elderly-far...
1•petethomas•35m ago•0 comments

Rise of the $100 Hot Dog

https://www.wsj.com/arts-culture/food-cooking/the-rise-of-the-100-hot-dog-2ac6f322
2•bcaulfield•38m ago•1 comments

The Race to Come Up with the Next Big Sleep Drug

https://www.wsj.com/health/pharma/the-race-to-come-up-with-the-next-big-sleep-drug-473a4a5e
1•bookofjoe•38m ago•1 comments

New York Has Sued Kalshi for Running Illegal Gambling Operation

https://ag.ny.gov/press-release/2026/governor-hochul-and-attorney-general-james-announce-new-york...
2•cdrnsf•40m ago•0 comments

The messy politics behind Google's big AI shakeup

https://www.theverge.com/tech/976108/google-ai-leadership-shakeup-jeff-dean-demis-hassabis-deepmind
1•Anon84•40m ago•0 comments

BMS ran AI for drug discovery 3 years- what they found and why they doubled down

https://blogs.nvidia.com/blog/bristol-myers-squibb-building-life-science-industrys-most-advanced-...
1•bcaulfield•41m ago•0 comments

With software alone, one B200 beats the LPU and gets close to Cerebras

https://runinfra.ai/news/b200-beats-the-lpu
3•OsamaJaber•41m ago•0 comments

Why AI is a risk to Communist China

https://www.economist.com/leaders/2026/08/06/why-ai-is-a-risk-to-communist-china
2•petethomas•41m ago•0 comments