PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·3d
🔤Language Design
Flag this post
Cure - Verification-First Programming for the BEAM
📐TLA+
Flag this post
Inception releases upgraded Mercury dLLM with improved coding and reasoning
💬Prompt Engineering
Flag this post
Ruby and Its Neighbors: Smalltalk
💎Refinement Types
Flag this post
When deep thinking turns into deep hallucination
🚀MLOps
Flag this post
Linux Troubleshooting: The Hidden Stories Behind CPU, Memory, and I/O Metrics
🐧Linux Kernel
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·1d
💫Effect Systems
Flag this post
SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
arxiv.org·1d
🔴Red-Black Trees
Flag this post
ServBay for Windows 1.11.1 Released: Refactoring the Core Experience for Unprecedented Flexibility and Efficiency
🔐Capability Systems
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·3d
🔢NumPy
Flag this post
Computational Turing Test Reveals Systematic Differences Between Human and AI Language
arxiv.org·9h
📝Parsing
Flag this post
Loading...Loading more...