engineering-portfolio
alessiotoniolo.com·2d
🤖Sci-Fi
Cobra & Viper Fortify Security as Part of GitHub Secure Open Source Fund
spf13.com·1d
🔌Network Programming
Distributed Generative AI Inference on Arm
community.arm.com·1d
⚖️Logic Programming
Time, Fences and the Ordering of Events in TSO
arxiv.org·2d
⚡Concurrency
Wav file operations
reddit.com·12h·
Discuss: r/C_Programming
🔧Compiler Design
Speed modulations in grid cell information geometry
nature.com·1d
🧫Cellular Automata
My Year of Rust
xavd.id·6d·
Discuss: Hacker News
🦀Rust
Two Hours With Cursor Changed How I See AI Coding
hackernoon.com·3h
🧩Theorem Proving
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·2d
⚖️Logic Programming
Hyperdimensional Semantic Mapping for Automated Historical Narrative Reconstruction
dev.to·18h·
Discuss: DEV
🔗Parser Combinators
SocialTrack: Multi-Object Tracking in Complex Urban Traffic Scenes Inspired by Social Behavior
arxiv.org·1d
🎲Probabilistic Programming
A2HCoder: An LLM-Driven Coding Agent for Hierarchical Algorithm-to-HDL Translation
arxiv.org·2d
🎲Probabilistic Programming
A beginner's guide to the Qwen3-235b-A22b-Instruct-2507 model by Qwen on Replicate
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
Today I took my skills to the next level at Payilagam Institute
dev.to·18h·
Discuss: DEV
🔧Compiler Design
🔥 Building a Simple PDF AI Chat app with Next.js, React PDF and OpenAI 💬
dev.to·20h·
Discuss: DEV
🤝Protocol Design
Active inference for action-unaware agents
arxiv.org·1d
🎲Probabilistic Programming
MOON: Generative MLLM-based Multimodal Representation Learning for E-commerce Product Understanding
arxiv.org·1d
🎲Probabilistic Programming
Why Aggregators Ate the Internet
every.to·1h
👐Open Source Software
Expertise-aware Multi-LLM Recruitment and Collaboration for Medical Decision-Making
arxiv.org·6h
🔢Mathematical Logic
Structural insight: Metaclassical physics
fexpr.blogspot.com·23h
🔐Cryptography