original ↗
dandelion-utilitarian.com·23h
⛪Church Encoding
The Most Strict #ProgrammingLanguage @KevlinHenney Has Ever Used: #occam
youtube.com·11h
🎮Language Ergonomics
A Kevin week
blog.mitrichev.ch·4d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Configuration files are user interfaces
ochagavia.nl·23h·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code
DMEXCO: "No stone left unturned"
heise.de·17h
🔍Fuzzy Indexing
How AI coding tools can learn to develop secure software
reversinglabs.com·1d
🛡️Security Type Systems
Discrete Time System Properties- Plainly
pub.towardsai.net·1d
💫Effect Systems
The $4trn accounting puzzle at the heart of the AI cloud - The Economist
news.google.com·9h
🔄Subinterpreters
Taming S3 Costs: Automated Reports with Lambda, Python, Athena & SES (because weekends are for coffee, not cost reports ☕)
dev.to·2d·
Discuss: DEV
🌲Deforestation
Modular, On-Site Solutions with Lightweight Anomaly Detection for Sustainable Nutrient Management in Agriculture
arxiv.org·1d
✨Effect Inference
Layout-Aware OCR for Black Digital Archives with Unsupervised Evaluation
arxiv.org·1d
🌱Minimal ML
Don’t Trust the Scroll: Stop AI Agents from Running Code
pub.towardsai.net·1d
🛡️Security Type Systems
Analogy-Driven Financial Chain-of-Thought (AD-FCoT): A Prompting Approach for Financial Sentiment Analysis
arxiv.org·1d
🔍Tokenizers
Automated Generation of Research Workflows from Academic Papers: A Full-text Mining Framework
arxiv.org·1d
🗂️Term Indexing
CourseTime Analyzer: Python + Selenium + GUI Project for Tracking YouTube Course Time
github.com·1d·
Discuss: DEV
💬Interactive REPLs
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.org·1d
📋S-Expression
AI's Imperfect Memory: Rewriting the Code of Forgetting
dev.to·12h·
Discuss: DEV
🚂Error Propagation
The Next Evolution of Code Agents is Coming
dev.to·1d·
Discuss: DEV
✨Gleam
Spatial Balancing: Harnessing Spatial Reasoning to Balance Scientific Exposition and Narrative Engagement in LLM-assisted Science Communication Writing
arxiv.org·19h
🌳Parser Visualization
Some ideas about writing instructions.
reddit.com·20h·
Discuss: r/perchance
📝Rope Editors