frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

LeanScreen: Lean Verification

https://www.millenniumresearch.ai/leanscreen.html
30•Hdjlaf•51m ago

Comments

sdfjsfd•45m ago
When Will you release paid version and is pay as you go or how much
sdfjsfd•45m ago
When are we getting to see the math research
sjnknsnf•43m ago
What are your backgrounds

Does every question mark deserve a Betteridge?

https://dynomight.net/betteridge/
1•zdw•50s ago•0 comments

The Best Debugging Story I've Ever Heard (2010)

https://patrickthomson.tumblr.com/post/2499755681/the-best-debugging-story-ive-ever-heard
1•downbad_•53s ago•0 comments

Ailments: A field guide to potential Al-induced cognitive-behavioural disorders

https://informationisbeautiful.net/visualizations/ai-induced-mental-disorders-ai-mental-health-gl...
1•zdw•2m ago•0 comments

Hooray for the Sockets Interface

https://blog.apnic.net/2026/07/28/hooray-for-the-sockets-interface/
1•jruohonen•4m ago•0 comments

The BBC Tetris Companion

https://www.leadedsolder.com/2026/07/28/bbc-bridge-companion-part-1-overview.html
1•zdw•5m ago•0 comments

SpaceXAI Sues Minnesota AG ban on nudifying apps

https://gizmodo.com/grok-creator-spacexai-sues-minnesota-ag-to-stop-ban-on-nudification-2000792143
1•pseudosavant•6m ago•0 comments

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

https://github.com/jagg-ix/zil-lean
1•kbradero•7m ago•0 comments

Ask HN: What agentic AI ad optimization tool do you use?

1•smb06•9m ago•0 comments

Show HN: AiTextToHandwriting] – Text to Handwriting Converter

https://aitexttohandwriting.com/
1•zhou594660747•17m ago•0 comments

France Approves Automated, Real-Tim

https://torrentfreak.com/france-approves-automated-real-time-blocking-of-pirate-sports-streams/
1•gslin•18m ago•0 comments

Show HN: SeaTicket – Duplicate Bug Finder for GitHub

3•Daniel-Pan•18m ago•0 comments

Show HN: MegaDSP an effects plugin for DAWs with 50 effects

1•locusofself•21m ago•0 comments

Bartz et al. vs. Anthropic PBC

https://dockets.justia.com/docket/california/candce/3:2024cv05417/434709
1•uneven9434•26m ago•0 comments

Revealed: The Authors Whose Pirated Books Are Powering Generative AI (2023)

https://www.theatlantic.com/technology/archive/2023/08/books3-ai-meta-llama-pirated-books/675063/
2•uneven9434•28m ago•0 comments

The tired you can't explain

https://nathanielfishel.substack.com/p/the-tiredness-you-cant-explain-to
2•bigfish2026•32m ago•0 comments

Satyress "Threehalves Superhumanoid General Purpose Robot"

https://www.satyress.com/
3•King-Aaron•34m ago•3 comments

Chip stocks slide in US and Asia as AI jitters rattle investors

https://www.bbc.com/news/articles/cly8zng43npo
2•yogthos•34m ago•0 comments

Pakistan accused of fatally shooting 30 unarmed protesters in Kashmir

https://www.theguardian.com/world/2026/jul/28/pakistan-accused-firing-unarmed-protesters-kashmir-...
1•Cider9986•34m ago•0 comments

Trump administration bans new Chinese humanoid robots

https://www.bbc.com/news/articles/cp9e2ex3ekyo
9•BIackSwan•35m ago•5 comments

New sw dev tool for safe local AI usage

https://github.com/alexs60/safe-sde
1•alexfg93•36m ago•0 comments

Open AI announces two new models- GPT-transcribe and GPT-live-transcribe

https://developers.openai.com/api/docs/models/gpt-transcribe
1•rochansinha•37m ago•0 comments

LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences

https://learnvector.ai/
17•ajhai•40m ago•8 comments

Autoclaw

https://autoclaw.z.ai/
2•qainsights•43m ago•1 comments

I Built a Free AI Pain Point Miner

https://github.com/joatsaint/pain-point-miner
1•movieman32•44m ago•0 comments

Ask HN: How many AI agents do you actively use?

2•rjpruitt16•46m ago•5 comments

Symbols That Speak Color

https://colorsym.com/
1•mooreds•51m ago•0 comments

LeanScreen: Lean Verification

https://www.millenniumresearch.ai/leanscreen.html
30•Hdjlaf•51m ago•3 comments

Show HN: MD Flow – native macOS/iOS app for browsing and reading Markdown files

https://www.markdownfinder.app/en
2•azambrano•51m ago•0 comments

Modern Software Registries Are a Trust Service

https://redmonk.com/kholterhoff/2026/07/28/modern-software-registries-trust-service/
1•mooreds•52m ago•1 comments

RuntimeWire launches a live dashboard with auditable readership metrics

https://runtimewire.com/article/runtimewire-launches-a-live-dashboard-with-auditable-readership-m...
1•ryanmerket•53m ago•0 comments