frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Gilles Dowek, automated theorem proving pioneer, passed away

https://www.lemonde.fr/disparitions/article/2025/07/21/gilles-dowek-informaticien-engage-et-vulgarisateur-est-mort_6622858_3382.html
2•dkural•12h ago

Comments

toomuchtodo•12h ago
https://fr.wikipedia.org/wiki/Gilles_Dowek

FreeToolSuite – 200 growing collection of genuinely useful free online tools

1•mviradia•2m ago•0 comments

Fig trees convert atmospheric CO₂ to stone, research reveals

https://phys.org/news/2025-07-fig-trees-atmospheric-stone-reveals.html
1•PaulHoule•8m ago•0 comments

Build an Open-Source Alternative to Cursor with Code Context

https://milvus.io/blog/build-open-source-alternative-to-cursor-with-code-context.md
1•Fendy•10m ago•0 comments

What border officials can see about you when they scan your passport

https://www.stuff.co.nz/travel/360767350/what-border-officials-can-see-about-you-when-they-scan-your-passport
1•hermitcrab•11m ago•0 comments

Singer Cleo Lane, regarded by many as Britain's greatest jazz voice, dies at 97

https://www.latimes.com/entertainment-arts/story/2025-07-25/cleo-laine-dead-jazz-singer-british
1•bookofjoe•14m ago•1 comments

For a human, AI is just a part of being. For a model, a human is all of being

https://habr.com/en/articles/930946/
1•kamil_gr•15m ago•1 comments

ChromaFiler

https://chroma.zone/chromafiler/
1•carlosjobim•16m ago•0 comments

Surveillance Pricing Using AI

https://www.nytimes.com/2025/07/26/business/dealbook/personalized-pricing.html
2•CommenterPerson•16m ago•1 comments

Show HN: Image Describer Chrome Extension

https://chromewebstore.google.com/detail/image-describer/ogoddjgogmlndofcpkljmmdobjpfdolf
2•ckundo•17m ago•0 comments

Cloudflare AI as well as upload VTT files now not working across all domains?

https://blog.cloudflare.com/stream-automatic-captions-with-ai/
1•mark-steven•18m ago•0 comments

What Dan Read

https://what-dan-read.com/
1•melenaboija•23m ago•0 comments

RIP iThoughts – Choosing a New iOS Mind Mapping Tool (2024)

https://www.podfeet.com/blog/2024/03/ithoughts-replacement/
1•walterbell•27m ago•0 comments

Ask HN: Why don't LLM dev tools used by "vibe coders" enforce main/develop?

1•consumer451•30m ago•0 comments

Queen Victoria Became the Biggest Drug Dealer of All Time

https://time.com/7295579/queen-victoria-drugs-essay/
2•begueradj•31m ago•0 comments

Marine Spongiibacter Exopolysaccharide Causes Potent Anti Cancer Pyroptosis

https://faseb.onlinelibrary.wiley.com/doi/10.1096/fj.202500412R
1•westurner•32m ago•1 comments

Show HN: I made a full Ethereum account-proof circuit in Circom

https://github.com/worm-privacy/proof-of-burn
1•keyvank•38m ago•0 comments

AI comparison: ChatGPT, Claude, Grok, Gemini adding complex single file feature [video]

https://www.youtube.com/watch?v=9eaV6IbDE-I
1•logicallee•38m ago•1 comments

Thank you for your interest in Astronomer

https://twitter.com/astronomerio/status/1948890827566317712
2•defrost•39m ago•0 comments

Solid Protocol Restores Digital Agency

https://www.schneier.com/blog/archives/2025/07/how-solid-protocol-restores-digital-agency.html
1•walterbell•40m ago•0 comments

The Whole Check

https://justismills.substack.com/p/the-whole-check
1•surprisetalk•42m ago•0 comments

A Practical (and Incomplete) History of Language Models

https://obrhubr.org/small-language-models
1•surprisetalk•42m ago•0 comments

American Solution for Burning EVs: A Modular, Portable Submersion Pool

https://www.core77.com/posts/137838/American-Solution-for-Burning-EVs-A-Modular-Portable-Submersion-Pool
1•surprisetalk•42m ago•0 comments

How face-like objects and averted gaze faces orient our attention

https://journals.sagepub.com/doi/10.1177/20416695251352129
1•bookofjoe•48m ago•0 comments

Google Flow

https://labs.google/flow/about
1•RyanShook•48m ago•0 comments

Scaling Inference to Billions of Users and AI Agents

https://medium.com/google-cloud/scaling-inference-to-billions-of-users-and-agents-516d5d9f5da7
1•m4r1k•49m ago•0 comments

Mistral's new "environmental audit" shows how much AI is hurting the planet

https://arstechnica.com/ai/2025/07/mistrals-new-environmental-audit-shows-how-much-ai-is-hurting-the-planet/
1•botanical•50m ago•0 comments

Refactoring in the Age of Unlimited Code Generation

https://worksonmymachine.substack.com/p/refactoring-in-the-age-of-unlimited
3•Stwerner•56m ago•0 comments

The Rise of Shippable Microfactories

https://www.thesisdriven.com/p/the-rise-of-shippable-microfactories
3•mhb•56m ago•0 comments

Hybrid AI-human approach is necessary to uphold research integrity

https://www.thehindu.com/education/why-a-hybrid-ai-human-approach-is-necessary-to-uphold-research-integrity/article69826844.ece
2•Bluestein•58m ago•0 comments

LazyVim for Ambitious Developers (Book)

https://lazyvim-ambitious-devs.phillips.codes/
1•AlexeyBrin•59m ago•0 comments