reclaiming em-en dashing back from AI and lowercasing
kau.sh·5d
🖋Typography
(1) Fitting hierarchical models in genetics, (2) A Stan model that runs faster with 400,000 latent parameters, (3) Super-scalable penalized maximum likelihood i...
statmodeling.stat.columbia.edu·1d
🧮Kolmogorov Bounds
IaCConf 2025: Automate All the Things Panel Discussion
blog.tedivm.com·2d
⚙️Proof Engineering
Forcing LLMs to be evil during training can make them nicer in the long run
technologyreview.com·1d·
Discuss: r/technews
🎯Gradual Typing
Show HN: LinCal – A Calendar View for Linear Issues
lincal.app·18h·
Discuss: Hacker News
📥Feed Aggregation
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·20h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·4d·
Discuss: Hacker News
⚙️RISC-V Microcode
FaceSeek
reddit.com·18h·
Discuss: r/artificial
🏺Media Archaeology
Cracking the code: resilient defense and rapid recovery
techradar.com·1d
💾Persistence Strategies
You're Never Going to Be Original (and Neither Am I)
default.blog·1d·
Discuss: Hacker News
📡Feed Security
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·2d
🔄Language Evolution
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·4d
🧮SMT Solvers
Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·1d
🤖Grammar Induction
Anthropic blocks OpenAI from accessing Claude models over alleged contract breach
the-decoder.com·2h
🔓Open Source Software
Observing and evaluating AI agentic workflows with Strands Agents SDK and Arize AX
aws.amazon.com·20h
🌊Stream Processing
Issue 55 – Out Now
digitalforensicsmagazine.com·23h
🔗Data Provenance
AI for Writing: Top 10 AI Writing Tools (From 6 Months of Testing & Reviews)
dev.to·2d·
Discuss: DEV
📊Feed Optimization
Evaluating the cognitive reality of Spanish irregular morphomic patterns: Humans vs. Transformers
arxiv.org·3d
📼Tape Linguistics
Semantic Caching with Spring AI & Redis
dev.to·2d·
Discuss: DEV
🌀Brotli Internals