Dr Adriana Sejfia Awarded Royal Academy of Engineering Research Fellowship
informatics.ed.ac.ukยท16h
โœ…Configuration Validation
Should Neovim support transitive plugin dependencies?
sink.ioยท27mยท
๐Ÿ”„Incremental Compilation
Celebrating Five Years of OpenSSF: A Journey Through Open Source Security
openssf.orgยท12hยท
Discuss: Hacker News
๐ŸŒฑForth Kernels
Rogue Protocol
joelchrono.xyzยท13h
๐Ÿ’ฌInteractive REPLs
Build systems ร  la carte - 3236774.pdf
dl.acm.orgยท17h
๐ŸŒฑForth Kernels
Appleโ€™s New Memory Integrity Enforcement
schneier.comยท17h
๐Ÿท๏ธMemory Tagging
็ฌฌๅ››: A Japanese and Forth inspired postfix language
gist.github.comยท1dยท
๐Ÿ”—Concatenative Languages
Reducing binary size of (Rust) programs with debuginfo
kobzol.github.ioยท1dยท
๐Ÿ“ฆExecutable Size
Conversation with Claude on Reasoning
blog.yellowflash.inยท11hยท
Discuss: Hacker News, r/LLM
๐Ÿ”„Subinterpreters
I Don't Want to Code with LLM's
blaines-blog.comยท1dยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Generalized Momenta-Based Koopman Formalism for Robust Control of Euler-Lagrangian Systems
arxiv.orgยท1d
๐Ÿ”„Loop Optimization
I Built a Clinical AI Agent โ€” and It Skipped the Tools I Gave It
pub.towardsai.netยท1d
๐ŸŽฏFinite Automata
A Windows port of Terry Davis' HolyC from TempleOS called SchismC
github.comยท4dยท
Discuss: r/programming
๐Ÿ“ฆPortable Bytecode
Kludex/uvicorn
github.comยท2h
๐ŸŒMinimal HTTP
The One-Tab Rule: How to Increase Coding Focus by 300%
dev.toยท1dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Learning and Optimization with 3D Orientations
arxiv.orgยท1d
๐Ÿ”„Loop Optimization
Shift Parallelism: Low-Latency, High-Throughput LLM Inference for Dynamic Workloads
arxiv.orgยท1d
๐Ÿš€Tokenizer Performance
GuardianMPC: Backdoor-resilient Neural Network Computation
eprint.iacr.orgยท1d
๐Ÿ“Linear Memory
From Scores to Steps: Diagnosing and Improving LLM Performance in Evidence-Based Medical Calculations
arxiv.orgยท1d
๐ŸŒฑMinimal ML
UniPwn: Unitree Humanoid Robot BLE Service Command Injection Analysis
github.comยท3dยท
Discuss: Hacker News
๐ŸŒNetwork Protocols