Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4h
✅Type Checking
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·5h·
Discuss: Hacker News
🔀SSA Construction
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
Detecting Distillation Data from Reasoning Models
arxiv.org·4h
✅Type Checking
Beating the L1 cache with value speculation (2021)
mazzo.li·16h·
Discuss: Lobsters, Hacker News
🔮Branch Predictors
What happened to Longcat models? Why are there no quants available?
huggingface.co·14h·
Discuss: r/LocalLLaMA
✨Gleam
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·4h
🎭Program Synthesis
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·4h
🧩Constraint Solvers
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·16h·
Discuss: Lobsters, Hacker News, r/javascript
🗃️Query Compilation
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·16h·
Discuss: Hacker News
🗺️Region Inference
From Noisy Traces to Stable Gradients: Bias-Variance Optimized Preference Optimization for Aligning Large Reasoning Models
arxiv.org·4h
⚡Partial Evaluation
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·11h
⚡functional programming
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·4h
🪜Recursive Descent
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
📱Bytecode Design
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Causal Abstractions, Categorically Unified
arxiv.org·4h
💫Effect Systems
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4h
🎭Staged Interpreters
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·11h
🎯Symbolic Execution