PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·6h
✨Effect Handlers
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·22h·
Discuss: Hacker News
⚡Dependent Rust
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🧪Property-Based Testing
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6h·
Discuss: DEV
📏Code Metrics
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
ChatGPT Imbotster Syndrome is gumming up how we write professionally
businessinsider.com·2h
⚡Proof Automation
Functional Threading “Macros”
aartaka.me·1d
🧠Lisp Dialects
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
⚡Cache Coherence
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·4h
📏Code Metrics
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·19h·
Discuss: Hacker News
💻Programming languages
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·15h·
Discuss: Hacker News
🛡️WASM Security
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·15h·
Discuss: Hacker News
🧮Algebraic Datatypes
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·35m·
Discuss: Hacker News
🧮Theoretical Computer Science
valuetier.org (and some thoughts on LLMs)
ericphanson.com·16h·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
Mitigating Modal Imbalance in Multimodal Reasoning
arxiv.org·6h
🌳Context free grammars
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·7h·
Discuss: Hacker News
🧮SMT Solvers
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·6h
🎙️Whisper