frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Autoformalization of mathematical theorems? No shit

https://freedommathdance.blogspot.com/2025/07/autoformalization-of-mathematical.html
1•surprisetalk•4h ago

Show HN: A DNS Based Web Filtering Service

https://webshield.in
1•quaintdev•1m ago•0 comments

Why the simplest desktop agent abstraction wins

https://www.bytebot.ai/blog/designing-bytebot-why-the-simplest-desktop-agent-abstraction-wins
1•atupem•1m ago•0 comments

Show HN: Outlier, a daily puzzle for word nerds and trivia champs

https://outlier.land/
1•paulvoge•1m ago•0 comments

Show HN: A browser extension to control Google's Random Number Generator

https://github.com/weefunker/Google-Random-Number-Generator-Override
1•chompin•2m ago•0 comments

We need to escape the Gernsback Continuum

https://www.programmablemutter.com/p/we-need-to-escape-the-gernsback-continuum
2•ilamont•3m ago•0 comments

Built a Symbolic System to Control and Audit GPT Interactions

1•wk-al•4m ago•0 comments

Show HN: Track Your Product Revenue in One Place

https://devcashboard.xyz
2•aravindkumarv•7m ago•0 comments

Ask HN: What are others using to connect with good UX talent these days?

1•travisgriggs•7m ago•0 comments

Module-sized artificial leaf with a solar-to-hydrogen efficiency over 10%

https://www.nature.com/articles/s41467-025-59597-2
1•PaulHoule•8m ago•0 comments

Chris Lattner on High Performance AMD GPU Programming with Mojo [video]

https://www.youtube.com/watch?v=liR2Pn5Zp9g
1•foofoo4u•10m ago•1 comments

Mysterious life form found on ship that docked in Cleveland

https://www.cleveland.com/news/2025/07/mysterious-life-form-found-on-ship-that-docked-in-cleveland.html
2•DocFeind•11m ago•0 comments

That boolean should probably be something else

https://ntietz.com/blog/that-boolean-should-probably-be-something-else/
1•fanf2•11m ago•0 comments

Show HN: AI Image Selector – Pick Your Best Photo for Social Media

1•shadowofvacuum•13m ago•1 comments

Commit Mono – Neutral programming typeface

https://commitmono.com/
1•ananddtyagi•17m ago•0 comments

Opening up ‘Zero-Knowledge Proof’ technology

https://blog.google/technology/safety-security/opening-up-zero-knowledge-proof-technology-to-promote-privacy-in-age-assurance/
3•doomroot13•17m ago•1 comments

What is SOTA for retrieval in RAG systems now?

1•stormfather•18m ago•0 comments

Show HN: NoteSub – I built this because I cannot use Notion

https://notesub.com
1•zahirbmirza•18m ago•0 comments

How Health Care Remade the U.S. Economy

https://www.nytimes.com/interactive/2025/07/03/business/economy/healthcare-jobs.html
1•brandonb•19m ago•0 comments

The End of Moore's Law for AI? Gemini Flash Offers a Warning

https://sutro.sh/blog/the-end-of-moore-s-law-for-ai-gemini-flash-offers-a-warning
4•sethkim•19m ago•0 comments

How to Replace Your Manager with an LLM

https://readfromdisk.substack.com/p/how-to-replace-your-manager-with
1•thunderbong•20m ago•0 comments

Cheaper Transcriptions, Pricier Errors

https://github.com/LeonEricsson/stt-speedup-bench
1•flash_leon•21m ago•0 comments

Instagram uses expiring certificates as single day TLS certificates

https://hereket.com/posts/instagram-single-day-certificates/
1•libcheet•22m ago•0 comments

Pornhub and other porn sites to introduce 'government approved' age checks in UK

https://www.bbc.com/news/articles/cr5v2lz5vl6o
1•Funes-•24m ago•0 comments

Strong jump in US jobs as economy defies expectations

https://www.bbc.com/news/articles/c70x7plq75ko
1•tartoran•25m ago•0 comments

Level up your technical AI/ML skills and transform into a modern technologist

https://www.deepatlas.ai/
1•mooreds•27m ago•0 comments

Navigating the Mythical Sea of Sameness

https://kellblog.com/2025/06/29/navigating-the-mythical-sea-of-sameness/
2•gk1•28m ago•0 comments

Free Public APIs

https://freeapis.io/
1•mddanishyusuf•30m ago•0 comments

Improved load balancing with machine learning

https://lwn.net/SubscriberLink/1027096/7fecce40a407a9c3/
2•dpifke•33m ago•0 comments

DevSummit Boston: Key Lessons from Shipping AI Products Beyond the Hype – InfoQ

https://www.infoq.com/news/2025/07/devsummit-shipping-beyod-hype/
1•rbanffy•35m ago•0 comments

Under China's Threat, Taiwan Needs Its Own Power Sources More Than Ever

https://www.nytimes.com/2025/06/19/business/taiwan-chips-energy-china.html
2•bookofjoe•36m ago•1 comments