Two high school students have a new proof of the Pythagorean Theorem / Pythag theorem older than thought
blog.computationalcomplexity.org·2h·
Discuss: blog.computationalcomplexity.org
👑Isabelle
For the Free Software Foundation's Summer Fundraiser, the 'GNU Press Shop' is Open
news.slashdot.org·7h
🔓Free and open source
Blazing matrix products
panadestein.github.io·3d·
Discuss: Lobsters, Hacker News
⚡SIMD Optimization
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·6d
💻Programming languages
The Googly way of Making AI Agents
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Day 6/100: Numbers, Arithmetic, and Type Conversion
dev.to·2d·
Discuss: DEV
🧮Algebraic Datatypes
Engineering Logs & Intelligence: My Internship Journey at Invisibl Cloud Solutions
dev.to·17h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
A Deep Learning framework for building damage assessment using VHR SAR and geospatial data: demonstration on the 2023 Turkiye Earthquake
arxiv.org·1h
🤖Advanced OCR
Just launched a free 9-chapter course on Agentic AI Systems
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
AI Blog Studio: Multimedia Content Generation with AI & Storyblok
dev.to·19h·
Discuss: DEV
🌀Brotli Internals
🧠 DEV Community Support App (DEV MBS) 🤖
dev.to·1d·
Discuss: DEV
🎙️Whisper
Running External Commands in C# and Wait Until They Finish
dev.to·1d·
Discuss: DEV
🐚Shell Calculus
More Than Just AI: The Tangible Difference of TLRAG
dev.to·14h·
Discuss: DEV
🌀Brotli Internals
True or False Game by AmazonQ
dev.to·2d·
Discuss: DEV
📐Proof Assistants
Building a Secure Serverless Portfolio Generator Using AWS
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Programming Entry Level: cheat sheet github
dev.to·1d·
Discuss: DEV
🌿git
😎 What Every Developer Should Learn Before 2026
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
The “agent” hype in AI/crypto is peaking—but behind the noise is a real shift in how software works
dev.to·13h·
Discuss: DEV
✨Algebraic Effects
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·6d
🧮Z3 Solver