What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·22h
⚔️Lean Theorem
18 months. 12,000 questions. A whole lot of anxiety. What I learned from reading students’ ChatGPT logs
theguardian.com·7h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The mysteries of Roman inscriptions are being solved with a new AI tool
theartnewspaper.com·3d·
Discuss: Hacker News
🤖Paleographic AI
Moreutils: The utilities package every Unix/Linux/Mac OS developer should know
rentes.github.io·2d·
Discuss: Hacker News
🐚Shell Automation
Python Fundamentals: code coverage
dev.to·1d·
Discuss: DEV
📏Code Metrics
Build an intelligent eDiscovery solution using Amazon Bedrock Agents
aws.amazon.com·1d
🔄Document Workflows
ResearchWize for Language Learning: Flashcards and Quizzes for Vocabulary
dev.to·3h·
Discuss: DEV
🔬Academic Search
🐍 Top 51 Python Tasks Every Beginner Should Solve
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·4d·
Discuss: Hacker News
🔗Functional Compilers
StakeRunner - Automating the Future of Crypto Gambling
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Introduction to MCP Servers and writing one in Python
dev.to·4h·
Discuss: DEV
🌐NetworkProtocols
Bulletproof Go: Security Practices That Actually Work 🔐
dev.to·1d·
Discuss: DEV
🧪CBOR Fuzzing
Carly's Cuts: Simplicity and Struggle
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming
SnippetSearch: Code Snippets Discovery Engine for Developers
dev.to·1d·
Discuss: DEV
🔍BitFunnel
RealtimeAI Assistant - Voice-Powered Semantic Search with Redis Vector Engine
dev.to·22h·
Discuss: DEV
🎙️Whisper
RealtimeAI Assistant - Voice-Powered Semantic Search with Redis Vector Engine
dev.to·22h·
Discuss: DEV
🎙️Whisper
Artisanal Programming (Coding)
kuccello.medium.com·19h·
Discuss: Hacker News
📏Code Metrics
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com·2d·
Discuss: Hacker News
🔍MinHash Variants
Zig Wants to Replace Go and Rust. Does It Have What It Takes?
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Stop retyping. Turn your repeat text into smart templates.
dev.to·1d·
Discuss: DEV
📝Concrete Syntax