🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Interfacing HLK LD2420 24GHz Radar Sensor with Arduino
hackster.io·3h
🔍FPGA Verification
Cloud Logging for Security and Beyond
unit42.paloaltonetworks.com·11h
📝Log Parsing
Small Programming Language for editing photos (written in Rust)
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·1d·
Discuss: Substack
🎯Performance Proofs
Rust Clippy performance status update
blog.goose.love·2d·
Discuss: Hacker News
🦀Rust Macros
Writing Is Thinking
nature.com·2d·
Discuss: Hacker News
🏛Digital humanities
Using AI to Boost Your Productivity by Asking the Right Questions
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Multi-Strategy Improved Snake Optimizer Accelerated CNN-LSTM-Attention-Adaboost for Trajectory Prediction
arxiv.org·1d
🤖Advanced OCR
Are Foundation Models All You Need for Zero-shot Face Presentation Attack Detection?
arxiv.org·4h
👁️Perceptual Hashing
[R] SherlockBench benchmark and paper
reddit.com·3d·
Discuss: r/MachineLearning
🌊Streaming Algorithms
Top AI Agent Protocols for Developers in 2025
dev.to·18h·
Discuss: DEV
🔌Interface Evolution
IConMark: Robust Interpretable Concept-Based Watermark For AI Images
arxiv.org·2d
💧Digital Watermarking
I am 15 and Built a Dual Backend MLP From Scratch Using CUDA C++, 100% raw, no frameworks
github.com·2h·
Discuss: Hacker News, r/cpp
📊Quantization
The Cheapest LLM Call Is the One You Don't Await
inference.net·1d·
Discuss: Hacker News
🌊Stream Processing
Building Sentient Space(a social media platform): A Story of AI Speed, Human Grit, and a Bug That Wouldn't Die
dev.to·2h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·6d
💻Programming languages
Semantic Segmentation based Scene Understanding in Autonomous Vehicles
arxiv.org·1d
🧠Machine Learning
9 Leading Machine Learning Algorithms Powering AI Advancements
dev.to·3h·
Discuss: DEV
🧠Machine Learning
How to Use Kimi K2 for free? 3 Ways
dev.to·18h·
Discuss: DEV
🧠Intelligence Compression
From Flat to Round: Redefining Brain Decoding with Surface-Based fMRI and Cortex Structure
arxiv.org·4h
💎Information Crystallography