Linkage from Toronto
11011110.github.io·2d
🧭SMT Solvers
Links 17/08/2025: "The Performance of Power" and "My Undesirable Friends"
techrights.org·1d
🤖Sci-Fi
Advice on Buhner's core protocol
reddit.com·21h·
Discuss: r/Lyme
🤝Protocol Design
A Constant-Time Hardware Architecture for the CSIDH Key-Exchange Protocol
arxiv.org·8h
🤝Protocol Design
Discovering Invariant Neighborhood Patterns for Heterophilic Graphs
arxiv.org·8h
🕸️Graph Theory
What is Unit Testing?
dev.to·1d·
Discuss: DEV
🔍Static Analysis
⭐ sirupsen napkin-math
waylonwalker.com·1d
🧮Programming Language Theory
Tristan's Projects
lesswrong.com·3d
🧮Programming Language Theory
Training-free Dimensionality Reduction via Feature Truncation: Enhancing Efficiency in Privacy-preserving Multi-Biometric Systems
arxiv.org·8h
🔐Cryptography
CTRL Your Shift: Clustered Transfer Residual Learning for Many Small Datasets
arxiv.org·8h
🎲Probabilistic Programming
HTTP Request Processing with Zero-Copy Optimization(9624)
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Sophisticated Learning: A novel algorithm for active learning during model-based planning
arxiv.org·8h
🎲Probabilistic Programming
<i>ROSIE</i>: AI generation of multiplex immunofluorescence staining from histopathology images
nature.com·2d
🎲Probabilistic Programming
Enhanced Real-Time Data Acquisition and Processing Through FPGA-Accelerated Waveform Analysis in LabVIEW
dev.to·15h·
Discuss: DEV
🏗Computer Architecture
Unlocking the Magic: My First ML Project – Handwritten Digit Recognition with MNIST ✨
dev.to·18h·
Discuss: DEV
🔗Parser Combinators
Seeking Architectural Feedback on a Local-First, Self-Coding AI Assistant (README Inside)
reddit.com·1d·
Discuss: r/AskProgramming
🔧Compiler Design
DashCam Video: A complementary low-cost data stream for on-demand forest-infrastructure system monitoring
arxiv.org·8h
🎲Probabilistic Programming
⭐ grantjenks python-c2f
waylonwalker.com·1d
🧮Programming Language Theory
Introducing OxMPL - the Oxidised Motion-Planning Library
reddit.com·1d·
Discuss: r/rust
🦀Rust
SpecDetect: Simple, Fast, and Training-Free Detection of LLM-Generated Text via Spectral Analysis
arxiv.org·8h
🔧Compiler Design