Embedded records - extracting data from classes
blogger.comยท10h
โš™Functional Programming
Flag this post
Think DSP second edition
allendowney.comยท1d
โš™Functional Programming
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.comยท1hยท
Discuss: r/rust
๐Ÿ—Computer Architecture
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.comยท1d
๐Ÿ”Static Analysis
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.devยท23hยท
Discuss: Hacker News
๐Ÿ“Text Editors
Flag this post
You are going to get priced out of the best AI coding tools
newsletter.danielpaleka.comยท9hยท
Discuss: Hacker News
๐ŸŽฒProbabilistic Programming
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.aiยท17hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.orgยท1d
๐Ÿ”Cryptography
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.orgยท12h
๐ŸงฎProgramming Language Theory
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.orgยท1d
โšกConcurrency
Flag this post
We open-sourced a minimal NASDAQ ITCH parser in Rust. Built for clarity, not just speed. Here's how we pushed it to 107M msg/sec.
reddit.comยท4dยท
Discuss: r/rust
๐Ÿฆ€Rust
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.orgยท2d
๐ŸŽฒProbabilistic Programming
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.toยท10hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post
100 Techniques for Writing Readable Rust Code
github.comยท13hยท
Discuss: r/rust
๐Ÿฆ€Rust
Flag this post
๐ŸŽ™๏ธ Building a Text-to-Speech (TTS) GUI with Python
dev.toยท1hยท
Discuss: DEV
๐Ÿ“Text Editors
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท1d
โœ…Formal Verification
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Flag this post