K. Dick, Marcel Proust, Mark Twain) also cannot live without music (Tinariwen, Wu-Tang Clan, Kapela Ze Wsi Warszawa, 2 Pac, Led Zeppelin, Budos Band, Ondatropoca). I code fore a living, hike and play djembe for fun.
Understanding Neural Network, Visually…
https://visualrambling.space/neural-network
#tech #technology #science #math #MachineLearning #ML #BigTech #AI #ArtificialIntelligence #LLM #LLMs #MachineLearning #GenAI #generativeAI #Meta #Google #NVIDIA #gemini #OpenAI #ChatGPT #anthropic #claude
nanochat - The best ChatGPT that $100 can buy - (github.com/karpathy)
I wrote the manual Karpathy said was missing for agentic AI
https://github.com/nicolasahar/morphic-programming
#HackerNews #agenticAI #morphicProgramming #Karpathy #manual #AIdevelopment #techinnovation

First principles for 10x productivity with AI agents like Claude Code. Star for updates. Covers: morphability, abstraction, recursion, consistency, reproducibility, complexity limits, E2E autonomy,...
In 1973, Penrose conjectured a lower bound on the mass M of a black hole as a function of its area A:
M ≥ sqrt(A/16π)
This is called the Penrose inequality, and it's resisted proof for a long time, though in 2001 Huisken-Ilmanen and Bray proved a special case.
In December this year, Da Xu from China Mobile Research Institute came out with a paper that claims to prove the Penrose inequality. It's 449 pages long! I've only skimmed through it, and this sort of technical work on general relativity is not my field, so I have no opinion regarding its validity. I've heard claims that it was prepared with the help of AI.
Do any experts on the math of general relativity have an opinion?
We prove the Spacetime Penrose Inequality: for any asymptotically flat initial data set satisfying the Dominant Energy Condition, the ADM mass is bounded below by the square root of the trapped surface area divided by 16 pi, with equality only for Schwarzschild. Unlike previous partial results, our proof is unconditional and holds for any trapped surface regardless of stability or topology. The proof combines the generalized Jang equation with the p-harmonic level set method. We establish Fredholm solvability in weighted Sobolev spaces, verify that Jang-conformal metrics with distributional curvature satisfy all required analytic hypotheses, prove mean curvature jump positivity for stable horizons, and justify the double limit with explicit bounds. This resolves Penrose's 1973 conjecture, a central open problem in mathematical relativity for over fifty years.
Prehistoric arrowhead embedded in human rib reveals ancient violence in the Pyrenees over 4,000 years ago
A remarkable case of ancient violence has been discovered in a prehistoric burial site at 1,800 meters above sea level in the Catalan Pyrenees. Archaeologists found a flint arrowhead embedded in the rib of a human skeleton, an unequivocal and unusual testimony to conflict in the region...
More info: https://archaeologymag.com/2025/07/prehistoric-arrowhead-embedded-in-human-rib/
Follow @archaeology
Archaeologists uncover 5,500-year-old ‘Polish pyramids’
More for the #Denisovans, mysterious and extremely intelligent, widespread humans across Asia, with descendants among us today.