Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·20h·
Discuss: Substack
🕸️Graph Theory
The Nickel Configuration Language
nickel-lang.org·2d·
Discuss: Hacker News
📐Type Theory
Install Apache Maven on Ubuntu with JDK 17, SDKMAN, CI/CD Automation
digitalocean.com·14h
🦀Rust
original ↗
manton.org·1d
🦀Rust
Hardware Technologies And Algorithms for Vector Symbolic Architectures (Purdue Univ., Georgia Tech)
semiengineering.com·16h
🏗Computer Architecture
AIAI Seminar-Friday 3rd October 2025 by Visiting Speaker: Marija Slavkovik
informatics.ed.ac.uk·1h
🧮Programming Language Theory
Tough Season in the Apple Fields
inessential.com·14h·
Discuss: Hacker News
💻Operating Systems
Mocking svelte aliases
reddit.com·18h·
Discuss: r/webdev
🦀Rust
Claude Finally Got Image and Video Powers! The Canva integration that gives Claude users visual superpowers (Complete guide with 50+ prompts you can use)
promptmagic.dev·2d·
Discuss: r/ClaudeAI
🧩Theorem Proving
Ow Dynamic K8s Sandboxes Can Improve Dora Metrics
signadot.com·5d·
Discuss: Hacker News, r/devops
🌍Distributed Systems
DeepSeek-V3.1: Hybrid Thinking Model Now Available on Together AI
together.ai·14h
🧭SMT Solvers
I built package scout a wasm based package analyzer
reddit.com·2d·
Discuss: r/webdev
🦀Rust
How Carney’s Housing Initiative Can Industrialize Canada’s Mass Timber Sector
cleantechnica.com·1d
🔌Network Programming
2 years of building Velocy - A Zero-Dependency Node.js Library
reddit.com·3d·
Discuss: r/webdev
📦WebAssembly
ISALux: Illumination and Segmentation Aware Transformer Employing Mixture of Experts for Low Light Image Enhancement
arxiv.org·10h
🎲Probabilistic Programming
SafeBimanual: Diffusion-based Trajectory Optimization for Safe Bimanual Manipulation
arxiv.org·10h
🤖Sci-Fi
FastAPI vs Flask vs Django: Building a Production API in 2025
dev.to·3d·
Discuss: DEV
🤝Protocol Design
Evaluating Retrieval-Augmented Generation Strategies for Large Language Models in Travel Mode Choice Prediction
arxiv.org·10h
🎲Probabilistic Programming
MichaIng/DietPi v9.16
github.com·2d
👐Open Source Software
I Audited 100 Agency Workflows: The 3 Collaboration Mistakes Costing $50k+ Annually
dev.to·9h·
Discuss: DEV
🔌Network Programming