KCL part 0
ncameron.org·2d
🔩Systems Programming
Flag this post
I Built a SAT Solver Inspired by Quantum Field Theory and It Works
⚛️Information Physics
Flag this post
Structured error handling with slog by extracting attributes from wrapped errors
🔒Linear Types
Flag this post
Reasoning Is Not Model Improvement
⚙️Proof Engineering
Flag this post
Building Tiny Hero: A Text-Based RPG Adventure with Python for Beginners and Intermediates
⚔️Lean Tactics
Flag this post
Advancing Offshore Renewable Energy: Techno-Economic and Dynamic Performance of Hybrid Wind-Wave Systems
arxiv.org·2h
💰Preservation Economics
Flag this post
QueST: Incentivizing LLMs to Generate Difficult Problems
arxiv.org·3d
🧮SMT Solvers
Flag this post
Move, Destruct, Leak, and Rust
🔒Type Safety
Flag this post
Conan: Progressive Learning to Reason Like a Detective over Multi-Scale Visual Evidence
arxiv.org·2h
📊Learned Metrics
Flag this post
Compress to Impress: Efficient LLM Adaptation Using a Single Gradient Step on 100 Samples
arxiv.org·2h
🧠Neural Compression
Flag this post
Real-Time Reaction Intermediate Structural Elucidation via Dynamic Graph Neural Network Ensemble
🌈Spectroscopy
Flag this post
From karaoke terminals to AI résumés: The winners of GitHub’s For the Love of Code challenge
github.blog·1d
📟Terminals
Flag this post
Large Language Models for Fault Localization: An Empirical Study
arxiv.org·2h
🏗️Compiler Archaeology
Flag this post
Loading...Loading more...