Embedding MicroHs
thma.github.io·2d
🔗Functional Compilers
Model-Task Alignment Drives Distinct RL Outcomes
arxiv.org·40m
✨Effect Handlers
Quantum Algorithm Verification via Multi-Modal Data Fusion & HyperScore Analytics
dev.to·6h·
Discuss: DEV
⚛️Quantum LDPC
Working with Contexts
oreilly.com·3d
🌳Context free grammars
What Is Complexity in Chess?
lichess.org·55m·
Discuss: Hacker News
🧮Z3 Solver
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🎯Gradual Typing
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·4d·
Discuss: DEV
🧠Computational Logic
Think in Games: Learning to Reason in Games via Reinforcement Learning with Large Language Models
arxiv.org·40m
🔲Cellular Automata
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·15h·
Discuss: Hacker News
🌊Stream Processing
The Prompt Architect's Playbook: 12 Patterns Defining 2025
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·1d·
Discuss: r/rust
🦀Rust Macros
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·40m
✨Algebraic Effects
The importance of self-approval
dev.to·7h·
Discuss: DEV
🔓Reverse engineering
Cyclic Implicit Complexity
arxiv.org·40m
🎯Performance Proofs
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·9h·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·14h·
Discuss: Hacker News
🔄Language Evolution
R-4B: Incentivizing General-Purpose Auto-Thinking Capability in MLLMs via Bi-Mode Annealing and Reinforce Learning
arxiv.org·40m
🤖Grammar Induction
BED-LLM: Intelligent Information Gathering with LLMs and Bayesian Experimental Design
arxiv.org·40m
💻Local LLMs
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·1d·
Discuss: DEV
📝ABNF Parsing