✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

New Collaboration with Marco Behler
computerenhance.com·5h
🔬Nanopasses
Today’s Wordle #1552 Hints And Answer For Thursday, September 18th
forbes.com·8h
🌱Minimal Interpreters
FreeBSD Errata Notice FreeBSD-EN-25:15.arm64
bsdsec.net·1d
🏷️Memory Tagging
Embedded projects for someone looking to break into the field?
github.com·1d·
Discuss: r/embedded
📚Self-Documenting Code
Exploring Uploads in a Dshield Honeypot Environment [Guest Diary], (Thu, Sep 18th)
isc.sans.edu·8h
🛡️Taint Analysis
DisorientLiDAR: Physical Attacks on LiDAR-based Localization
arxiv.org·1d
🔍Lens Libraries
Day 19 of 100- building a mini quiz app.
dev.to·23h·
Discuss: DEV
🌙Lua
Hierarchical Importance Sampling for Estimating Occupation Time for SDE Solutions
arxiv.org·5h
✨Effect Inference
Wolverine + Marten: My story and subjective take
dev.to·11h·
Discuss: DEV
🔧Nickel
Quantifying Market Inefficiency via Proprietary Sentiment-Driven Portfolio Rebalancing
dev.to·5h·
Discuss: DEV
🚂Error Propagation
We rebuilt Cline so it can run natively in JetBrains IDEs (GA)
reddit.com·8h·
Discuss: r/ClaudeAI
⚙️TOML Parsers
Clarifying Model Transparency: Interpretability versus Explainability in Deep Learning with MNIST and IMDB Examples
arxiv.org·2d
🌱Minimal ML
OpenAI Says Models Programmed To Make Stuff Up Instead of Admitting Ignorance
slashdot.org·15h
🚂Error Propagation
SciML Agents: Write the Solver, Not the Solution
arxiv.org·3d
🔍ML Language
Joint data imputation and mechanistic modelling for simulating heart-brain interactions in incomplete datasets
arxiv.org·5h
🔍ML Language
Investigating Symbolic Triggers of Hallucination in Gemma Models Across HaluEval and TruthfulQA
arxiv.org·3d
🎲Parser Fuzzing
AI and the Future of Academic Peer Review
arxiv.org·5h
🌉Language Bridges
Vectorization in Python for Machine Learning
dev.to·1d·
Discuss: DEV
🔄Loop Optimization
Building Web Servers from First Principles (Part 1)
dev.to·9h·
Discuss: DEV
🌍HTTP Servers
Tips for working with Claude on large creative writing projects. My experience.
reddit.com·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs