newest
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
toomuchtodo•12h ago