Googles CodeMender is designed to automatically find and fix security flaws in software
the-decoder.com·8h
🧮Z3 Solver
TypeScript Flaws (2024)
intercaetera.com·21h·
Discuss: Hacker News
🎯Gradual Typing
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1d
🧮SMT Solvers
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·9h
📐Mathematical Art
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·18h
🎯Performance Proofs
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
📏Code Metrics
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·18h
🌀Brotli Internals
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·6h·
Discuss: Hacker News
🌳Incremental Parsing
The Mondrian introduction to functional optics
marcosh.github.io·13h·
Discuss: Hacker News
⟷Bidirectional Programming
Detecting Distillation Data from Reasoning Models
arxiv.org·18h
⚙️ABNF Mining
We didn't rewrite our feed handler in Rust
databento.com·10h·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
Forking-Sequences
arxiv.org·18h
🌸Bloom Variants
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·18h
📊HyperLogLog
Causal Abstractions, Categorically Unified
arxiv.org·18h
✨Effect Handlers
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·18h
✓Automated Theorem Proving
Can LLMs Detect Ambiguous Plural Reference? An Analysis of Split-Antecedent and Mereological Reference
arxiv.org·18h
🔗Monadic Parsing
Relative Code Comprehensibility Prediction
arxiv.org·18h
🧠Intelligence Compression
A tiny recursive reasoning model achieves 45% on ARC-AGI-1 and 8% on ARC-AGI-2
alexiajm.github.io·2h·
Discuss: Hacker News, Hacker News
🧠Intelligence Compression