How Python Implements List Comprehensions
pythonkoans.substack.com·2d·
Discuss: Substack
📐Denotational Semantics
A framework for pricing AI products
stripe.com·18h·
Discuss: Hacker News
👁️System Observability
'Make invalid states representable' considered harmful
seangoedecke.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Exceptions vs. Results
tifi.blog·4d·
Discuss: Hacker News
💎Refinement Types
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·6d·
Discuss: Substack
🐫Embedded OCaml
Show HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
🔗 I've got your shovelware right here
justin.searls.co·2d·
Discuss: Substack, Hacker News
👁️System Observability
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·12h·
Discuss: Hacker News
🍎Apple
VariSAC: V2X Assured Connectivity in RIS-Aided ISAC via GNN-Augmented Reinforcement Learning
arxiv.org·2d
🩹Self-Healing Systems
How To Work With Local AI in the Zed IDE
thenewstack.io·1d
📦Unikernel Systems
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·2d·
Discuss: Lobsters
🧩Parser Combinators
JFrog Upgrades AI Tooling, Governance To Speed up Software Delivery
thenewstack.io·1d
🔄Reproducible Builds
Signals in the Noise: Decoding Unexpected Engagement Patterns on Twitter
arxiv.org·14h
🎮Verification Games
An Adaptive Scoring Framework for Attention Assessment in NDD Children via Serious Games
arxiv.org·14h
🎮Verification Games
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·14h
🐫OCaml
Optimization Methods and Software for Federated Learning
arxiv.org·14h
🔠Type-Level Programming
An End-to-End Deep Learning Framework for Arsenicosis Diagnosis Using Mobile-Captured Skin Images
arxiv.org·14h
📚Automata Learning
FOSS Projects Handle Legal Takedown Requests
f-droid.org·4h·
Discuss: Hacker News
❄️Nixified Development
Don't Build an RL Environment Startup
benanderson.work·3d·
Discuss: Hacker News
🔄Reproducible Builds
Lessons in Disabling RC4 in Active Directory
syfuhs.net·5h·
Discuss: Hacker News
🛡️seL4