Research Areas in Evaluation and Guarantees in Reinforcement Learning (The Alignment Project by UK AISI)
lesswrong.com·1d
🤖AI
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·3d·
Discuss: Hacker News
🔧Embedded Rust
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·11h·
Discuss: Hacker News
🕯️Candle
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·4d·
Discuss: Lobsters, Hacker News
🎮Game Engines
Efficient Differentially Private Fine-Tuning of LLMs via Reinforcement Learning
arxiv.org·2d
🏗️LLVM
Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·4d·
Discuss: Hacker News, r/programming
⚡Async Rust
LLM-Assisted Cheating Detection in Korean Language via Keystrokes
arxiv.org·1d
🏗️LLVM
Locked In, Leaked Out: Measuring Isolation via Kernel Locks
arxiv.org·3d
📁File Systems
Open source PDF reader built with Rust, Dioxus and PDFium
github.com·2d·
Discuss: Hacker News
🌐WebGPU
Emacs: The macOS Bug
xlii.space·3d·
Discuss: Lobsters, Hacker News
🎭Proc Macros
NIST Post-Quantum Cryptography Standard Algorithms Based on Quantum Random Number Generators
arxiv.org·3d
📦Binary Formats
Automated HEMT Model Construction from Datasheets via Multi-Modal Intelligence and Prior-Knowledge-Free Optimization
arxiv.org·3d
🔢SIMD Programming
Exploration hacking: can reasoning models subvert RL?
lesswrong.com·3d
🎮Game Engines
Secure Tug-of-War (SecTOW): Iterative Defense-Attack Training with Reinforcement Learning for Multimodal Model Security
arxiv.org·3d
🎮Game Engines
Efficient handover based on Near-field and Far-field RIS for seamless connectivity
arxiv.org·2d
📡Network Protocols
Anyone Can Jailbreak: Prompt-Based Attacks on LLMs and T2Is
arxiv.org·3d
📦Binary Formats
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·3d
⏱️Real-time Systems
Sharpening the Shears: 8 Lessons from Garden Leave
lesswrong.com·2d
🦀Rust
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·1d
🤖AI
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com·1d·
Discuss: Lobsters, Hacker News
🕸️WebAssembly