🎭 Proc Macros

Metaprogramming, Code Generation, Derive Macros, Syntax Extensions

We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2d
🧠Memory Allocators
From Prompt to Pipeline: Large Language Models for Scientific Workflow Development in Bioinformatics
arxiv.org·4d
🏗️LLVM
Rust Support in Socket
socket.dev·1d·
Discuss: Hacker News
🔧Embedded Rust
An Empirical Study on the Amount of Changes Required for Merge Request Acceptance
arxiv.org·1d
🏗️LLVM
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·1d
⏱️Real-time Systems
MRGSEM-Sum: An Unsupervised Multi-document Summarization Framework based on Multi-Relational Graphs and Structural Entropy Minimization
arxiv.org·1d
📈Graph Algorithms
Open source PDF reader built with Rust, Dioxus and PDFium
github.com·1d·
Discuss: Hacker News
🌐WebGPU
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
arxiv.org·3d
🔧Embedded Rust
Efficient Differentially Private Fine-Tuning of LLMs via Reinforcement Learning
arxiv.org·2d
🏗️LLVM
SketchMind: A Multi-Agent Cognitive Framework for Assessing Student-Drawn Scientific Sketches
arxiv.org·1d
🤖AI
Formal Bayesian Transfer Learning via the Total Risk Prior
arxiv.org·1d
🕯️Candle
From Sufficiency to Reflection: Reinforcement-Guided Thinking Quality in Retrieval-Augmented Reasoning for LLMs
arxiv.org·2d
🕯️Candle
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·1d
🤖AI
Research Areas in Evaluation and Guarantees in Reinforcement Learning (The Alignment Project by UK AISI)
lesswrong.com·1d
🤖AI
Show HN: AI code reviewer with Python agent called from Rust, streaming works
medium.com·5d·
Discuss: Hacker News
📊Profiling Tools
Data Leakage and Redundancy in the LIT-PCBA Benchmark
arxiv.org·3d
📊Profiling Tools
AISN #60: The AI Action Plan
lesswrong.com·1d
🤖AI
LLM-Assisted Cheating Detection in Korean Language via Keystrokes
arxiv.org·1d
🏗️LLVM
Tropical solution of discrete best approximation problems
arxiv.org·2d
🧮Linear Algebra