Announcing the winners of the 2022 Foundational Integrity Research request for proposals
research.facebook.com·17h
🧮Programming Language Theory
Note API: Authentication, Authorization & CRUD
github.com·18h·
Discuss: DEV
🤝Protocol Design
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·3d·
Discuss: Hacker News
📝Lisp
Predicting the topological properties of quantum spin liquids using Rydberg atom lattices
phys.org·3h
🔐Cryptography
These 4 classic 2D series can make a comeback in the retro renaissance today
xda-developers.com·1d
💾Retrocomputing
Family Alignment Problems
lesswrong.com·6h
🔄Category Theory
100 Days of DevOps: Day 14
dev.to·12h·
Discuss: DEV
🦀Rust
World.exe: From Gods to NPCs 😇🤖🍎
dev.to·6h·
Discuss: DEV
🤖Sci-Fi
Dev3027 social platforms!
dev.to·13h·
Discuss: DEV
🔌Network Programming
Topological Invariant-Based Iris Identification via Digital Homology and Machine Learning
arxiv.org·3d
🔐Cryptography
AI slop attacks on the curl project (froscon2025)
cdn.media.ccc.de·1d
🦀Rust
Predictive Maintenance & Optimization of Cryogenic Storage Tank Insulation via Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·8h·
Discuss: DEV
🎲Probabilistic Programming
Curiosity and Craft: What Drives Me to Build
dev.to·21h·
Discuss: DEV
🎲Probabilistic Programming
AI-Powered Note Taker & Summarizer I Built From Scratch
dev.to·3h·
Discuss: DEV
🧮Programming Language Theory
Enhanced Ferrite Core Performance Prediction via Multi-Modal Data Fusion and Bayesian Optimization
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Few-shot Vision-based Human Activity Recognition with MLLM-based Visual Reinforcement Learning
arxiv.org·2d
🎲Probabilistic Programming
four-issues-facing-fp
chadnauseam.com·22h
⚙Functional Programming
Grade the feasibility of this project
reddit.com·12h·
Discuss: r/gamedev
🤖Sci-Fi
So You Want to Build Your Own Data Center
dev.to·1d·
Discuss: DEV
🌍Distributed Systems
Automated Semantic Validation & Refinement of Scientific Literature using Dynamic Graph Neural Networks
dev.to·3d·
Discuss: DEV
🔢Mathematical Logic