Getting Started With Elixir and Phoenix, a JS Alternative
thenewstack.io·2h
⚡Live Coding
Evaluation of joint reliability of linear two-dimensional consecutive <math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si449.svg" display="inline" i...
sciencedirect.com·2h
🚂Error Propagation
Mastering SVM in R: Classification, Kernels & Model Tuning
p2w2.com·10h·
Discuss: DEV
🔢Algebraic Datatypes
Basic Consequences: On Information And Agency
3quarksdaily.com·1d
💫Effect Systems
Linkage
11011110.github.io·1d
🧮Combinator Calculus
PHP: A fractal of bad design (2012)
eev.ee·1d·
Discuss: Hacker News
🔄Bootstrapping
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·2d
⏭️Skip Lists
Visual Exploration of Gradient Descent (many images)
lesswrong.com·2h
🔮Type Inference Visualization
Feedback on my first library
reddit.com·1d·
Discuss: r/rust
🚂Cranelift Backend
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🎯Finite Automata
LLMs: Erase the Past, Preserve the Future
dev.to·18h·
Discuss: DEV
🔗Memory Linearization
FastProxy: A Go Blueprint for Enterprise-Grade Service Proxies
github.com·8h·
Discuss: DEV
🛡️Capability VMs
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·2d
🎭Erlang OTP
Engineering "The" Loop
dev.to·14h·
Discuss: DEV
🔀Control Structures
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·6d·
Discuss: Hacker News
🔮Type Inference Visualization
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·1d
⚖️Inference Rules
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔮Lisp Interpreters
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🧩SAT Solvers
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.org·11h
📋S-Expression
Evaluating LLM Alignment on Personality Inference from Real-World Interview Data
arxiv.org·11h
🪜Recursive Descent