Functions Are Vectors (2023) https://thenumb.at/Functions-are-Vectors/
thenumb.at
Functions are Vectors
Hannah Cairo: 17-year-old teen refutes a math conjecture proposed 40 years ago https://english.elpais.com/science-tech/2025-07-01/a-17-year-old-teen-refutes-a-mathematical-conjecture-proposed-40-years-ago.html
EL PAÍS English
A 17-year-old teen refutes a mathematical conjecture proposed 40 years ago
Hannah Cairo has solved the so-called Mizohata-Takeuchi conjecture, a problem in harmonic analysis closely linked to other central results in the field. This fall, she will begin her doctoral studies at the University of Maryland
Claude Code Pro Limit? Hack It While You Sleep https://github.com/terryso/claude-auto-resume
GitHub
GitHub - terryso/claude-auto-resume
Contribute to terryso/claude-auto-resume development by creating an account on GitHub.
Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics https://alpha.lisagui.com/
LisaGUI
A Lisa-themed Graphical User Interface
Can we test it? Yes, was can [video] https://www.youtube.com/watch?v=MqC3tudPH6w
YouTube
Can we test it? Yes, we can! - Mitchell Hashimoto
As the co-founder of HashiCorp, Mitchell has been instrumental in the development of tools that many of us use daily, like Vagrant, Terraform, Vault, and more. He also helped shape the initial testing strategies for them, gaining hard-won insights into testing…
Data on AI-related Show HN posts https://ryanfarley.co/ai-show-hn-data/
Jane Street barred from Indian markets as regulator freezes $566M https://www.cnbc.com/2025/07/04/indian-regulator-bars-us-trading-firm-jane-street-from-accessing-securities-market.html
CNBC
Jane Street barred from Indian markets as regulator freezes $566 million over Nifty 50 manipulation claims
The U.S. trading firm's entities are "further prohibited from buying, selling or otherwise dealing in securities, directly or indirectly."
I extracted the safety filters from Apple Intelligence models https://github.com/BlueFalconHD/apple_generative_model_safety_decrypted
GitHub
GitHub - BlueFalconHD/apple_generative_model_safety_decrypted: Decrypted Generative Model safety files for Apple Intelligence containing…
Decrypted Generative Model safety files for Apple Intelligence containing filters - BlueFalconHD/apple_generative_model_safety_decrypted
Cool People [pdf] https://www.apa.org/pubs/journals/releases/xge-xge0001799.pdf
Async Queue – One of my favorite programming interview questions https://davidgomes.com/async-queue-interview-ai/
David Gomes
Async Queue – One of My Favorite Programming Interviews (Can AI Break It?)
For the past 7+ years, I've been conducting a programming interview that has been a true personal favorite of mine. It was passed down to me from good friends (Jeremy Kaplan and Carl Sverre, and it was the latter whom I believe invented it). This interview…
I don't think AGI is right around the corner https://www.dwarkesh.com/p/timelines-june-2025
Dwarkesh
Why I don’t think AGI is right around the corner
Continual learning is a huge bottleneck
Backlog.md – Markdown‑native Task Manager and Kanban visualizer for any Git repo https://github.com/MrLesk/Backlog.md
GitHub
GitHub - MrLesk/Backlog.md: Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem
Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem - MrLesk/Backlog.md
A non-anthropomorphized view of LLMs http://addxorrol.blogspot.com/2025/07/a-non-anthropomorphized-view-of-llms.html
Blogspot
A non-anthropomorphized view of LLMs
In many discussions where questions of "alignment" or "AI safety" crop up, I am baffled by seriously intelligent people imbuing almost magic...
LLMs should not replace therapists https://arxiv.org/abs/2504.18412
arXiv.org
Expressing stigma and inappropriate responses prevents LLMs from...
Should a large language model (LLM) be used as a therapist? In this paper, we investigate the use of LLMs to *replace* mental health providers, a use case promoted in the tech startup and research...
Nobody has a personality anymore: we are products with labels https://www.freyaindia.co.uk/p/nobody-has-a-personality-anymore
www.freyaindia.co.uk
Nobody Has A Personality Anymore
We are products with labels
Bitchat – A decentralized messaging app that works over Bluetooth mesh networks https://github.com/jackjackbits/bitchat
GitHub
GitHub - jackjackbits/bitchat: bluetooth mesh chat, IRC vibes
bluetooth mesh chat, IRC vibes. Contribute to jackjackbits/bitchat development by creating an account on GitHub.
The Broken Microsoft Pact: Layoffs and Performance Management https://danielsada.tech/blog/microsoft-pact/
danielsada.tech
The broken Microsoft Pact: Layoffs and Performance Management | Daniel Sada Caraveo | Developer Productivity & Culture
The unspoken agreement that made Microsoft's lower pay tolerable has fundamentally broken.