frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra

https://twitter.com/__eknight__/status/2075643450196971805
1•virgildotcodes•1h ago

Comments

virgildotcodes•59m ago
Proof linked here - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...

Prompt used - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...

Lean formalization of the proof - https://github.com/openai/cdc-lean

HuggingNews

https://huggingnews.com/
1•ilreb•56s ago•0 comments

Decommissioning the original Model S and X assembly line in just 46 days

https://twitter.com/gigafactories/status/2075636160508866562
1•simonebrunozzi•2m ago•0 comments

What's the best way to do authentication in modern applications

https://neciudan.dev/most-secure-way-to-store-auth-token
1•freediver•4m ago•0 comments

Open source retro futuristic pi camera

https://old.reddit.com/r/raspberry_pi/comments/1urysi6/four_months_ago_i_showed_my_retrofuturisti...
1•ludkiller•12m ago•1 comments

Show HN: KRNL – a quieter browser for the essence of the web

1•keepamovin•14m ago•0 comments

Create high-converting AI UGC ads in minutes

https://aiugcads.net/
1•mrguo•15m ago•0 comments

Show HN: Krbn, a pencil-style 3D renderer with SVG output

https://github.com/vpalos/Krbn
1•vpalos•22m ago•0 comments

The Metaphysics (350 BCE)

https://classics.mit.edu/Aristotle/metaphysics.1.i.html
1•andsoitis•25m ago•0 comments

Meta Deletes Face-Recognition System from Smart Glasses App After Wired Report

https://www.wired.com/story/meta-removes-face-recognition-code-meta-ai-app-smart-glasses/
1•1vuio0pswjnm7•27m ago•0 comments

Hasharot – Control a Claude Code agent on your machine from Telegram

https://github.com/Mamasodikov/hasharot
1•mamasodikov•32m ago•0 comments

Why Rodents Can't Throw Up, in Case You Were Wondering

https://www.smithsonianmag.com/smart-news/why-rodents-cant-throw-up-in-case-you-were-wondering-25...
1•thunderbong•33m ago•0 comments

Show HN: isitsecure - 1-command SAST & DAST & LLM security scanner for web apps

https://github.com/jaurakunal/isitsecure
2•kunaljaura•34m ago•0 comments

The Conversation We're Not Having About AI in Peer Review

https://cabird.com/ide/posts/ai-in-peer-review
1•azhenley•37m ago•0 comments

Why is (the word game) Lingo 'lightning in a bottle'? (2026)

https://icely.neocities.org/articles/lingo-lightning-in-a-bottle
1•icely•38m ago•0 comments

Parents' Phone Addiction Affects Bond with Kids, New Study Finds

https://www.bloomberg.com/news/articles/2026-07-08/parents-phone-addiction-affects-bond-with-kids...
1•1vuio0pswjnm7•42m ago•0 comments

Show HN: River Rescue – Game mechanic for 3yo

https://www.pip.quest/
1•satellite2•44m ago•1 comments

Crypto Criminal Accused of Crypto Crimes Again, While in Jail

https://www.bloomberg.com/news/articles/2026-07-09/crypto-criminal-accused-of-crypto-crimes-again...
1•1vuio0pswjnm7•47m ago•0 comments

Self-replicating spacecraft, a.k.a. von Neumann probes

https://en.wikipedia.org/wiki/Self-replicating_spacecraft
1•gurjeet•48m ago•0 comments

Depone – Delete legacy require_once with proof, not guesswork

https://github.com/lll-lll-lll-lll/depone
2•www_lll•48m ago•0 comments

AI Limit, Social Divide

https://valand.dev/blog/post/ai-limit-divide
1•valand•51m ago•0 comments

Nectar: A programming language that compiles to WebAssembly

https://github.com/HibiscusConsulting/nectar-lang
2•handfuloflight•52m ago•0 comments

Vermont becomes first US state to ban paraquat herbicide over Parkinson's fears

https://www.theguardian.com/environment/2026/may/26/vermont-paraquat-weedkiller-ban
3•xoa•53m ago•0 comments

Show HN: Files402 – share or sell a folder online from $1/mo

https://files402.net/
1•mannders•54m ago•0 comments

The Vintage Beauty of Soviet Control Rooms

https://designyoutrust.com/2018/01/vintage-beauty-soviet-control-rooms/
2•mvdtnz•54m ago•0 comments

Show HN: Numbergram – Make 10 from 4 numbers

https://numbergram.app
1•zmilou•56m ago•1 comments

Show HN: Paste a URL, get an honest answer to "can I build this with a prompt?"

https://onepromptai.app
1•pro_methe5•58m ago•1 comments

Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra

https://twitter.com/__eknight__/status/2075643450196971805
1•virgildotcodes•1h ago•1 comments

EPA to open habitats of endangered species to logging and mining

https://www.theguardian.com/us-news/2026/jul/10/epa-rollback-endangered-habitats-logging-mining
2•Jimmc414•1h ago•1 comments

The Stubborn Myth of the Literary Genius (2025)

https://www.theatlantic.com/books/2025/11/shakespeare-marlowe-and-myth-literary-genius/684797/
1•bryanrasmussen•1h ago•0 comments

Show HN: I built a YouTube for generative videos in 50 prompts

https://gallery.samsar.one/
1•proy24•1h ago•0 comments