CfP ATMCS 11 Proceedings
appliedtopology.org·10h
🕸️Algebraic Topology
Online activities 6 – 12 October
ests.wordpress.com·6d
🏗️Constructive Mathematics
The Mondrian introduction to functional optics
marcosh.github.io·6d·
Bidirectional Programming
Building AI Agents to Real-World Use Cases
thealliance.ai·7h·
Discuss: Hacker News
Proof Automation
The IP risks of LLMs at work are nontrivial
augmentedswe.com·1d·
Discuss: Hacker News
🔄Language Evolution
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·3d
Minimalism
KuzuDB was archived by the owner on Oct 10
github.com·5h·
Discuss: Hacker News
🌳Git Internals
00. AI in Bioinformatics
dev.to·22h·
Discuss: DEV
🦴Database Paleontology
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·3d·
Discuss: Hacker News
🔗Concatenative Programming
AgenticAD: A Specialized Multiagent System Framework for Holistic Alzheimer Disease Management
arxiv.org·19h
🔲Cellular Automata
Note
hsu.cy·3d
📜Text Collation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
🎵Audio ML
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Cross-Representation Benchmarking in Time-Series Electronic Health Records for Clinical Outcome Prediction
arxiv.org·19h
🧠Machine Learning
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Tech With Tim: How to Build AI Agents in Python
dev.to·15h·
Discuss: DEV
🧠Intelligence Compression
Import AI 431: Technological Optimism and Appropriate Fear
importai.substack.com·11h·
Discuss: Substack
🔲Cellular Automata