PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·18h
🎭Staged Interpreters
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
✅Type Checking
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·5h·
Discuss: Hacker News
💬Interactive REPLs
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
💬Interactive REPLs
I've been using LLMs since 2020. Here's how I used Claude Code to reduce "hallucinations" from LLMs
reddit.com·11h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·7h
🦀MIR Optimization
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
Discuss: Hacker News
🪜Recursive Descent
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
🗺️Region Inference
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·18h
🪜Recursive Descent
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
The Chip That Spoke Lisp
jxself.org·10h
🖥️Lisp Machines
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Petri: An open-source auditing tool to accelerate AI safety research
lesswrong.com·1h
🔮Metacircular Evaluators
Making performant Python bindings to compiled code
kylebarron.dev·8h·
Discuss: Hacker News
📋JSON Parsing
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
We didn't rewrite our feed handler in Rust
databento.com·9h·
Discuss: Hacker News, r/rust
🔒Rust Borrowing
Static Bundle Object: Modernizing Static Linking
medium.com·7h·
Discuss: Hacker News
🌈Gradual Languages
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
Detecting Semantic Clones of Unseen Functionality
arxiv.org·18h
🔍Comby