SIFa peptidergic neurons orchestrate the internal states and energy balance of male <i>Drosophila melanogaster</i>
journals.plos.org·2d
🧫Cellular Automata
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🧩Theorem Proving
How a "Boring" CLI Cleanup in Apache Kafka Tells a Big Story
devtopost.ai·2d·
Discuss: DEV
🔗Parser Combinators
Interpreting Smoke Signals with AI and Drones
hackster.io·2d
🎲Probabilistic Programming
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·6d·
Discuss: r/rust
🔧Compiler Design
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
arxiv.org·2d
🌍Distributed Systems
On the Perturbed Projection-Based Distributed Gradient-Descent Algorithm: A Fully-Distributed Adaptive Redesign
arxiv.org·2d
🌍Distributed Systems
Here's My Simple Cribbage Game Made in Godot!
reddit.com·3d·
Discuss: r/godot
🧩Theorem Proving
Odeta Rose- 404: Crime Not Found
dev.to·2d·
Discuss: DEV
🔐Cryptography
Controlling Deformable Objects with Non-negligible Dynamics: a Shape-Regulation Approach to End-Point Positioning
arxiv.org·2d
🧮Programming Language Theory
SESGO: Spanish Evaluation of Stereotypical Generative Outputs
arxiv.org·2d
🎲Probabilistic Programming
EvolveSignal: A Large Language Model Powered Coding Agent for Discovering Traffic Signal Control Algorithms
arxiv.org·2d
🔧Compiler Design
DCPO: Dynamic Clipping Policy Optimization
arxiv.org·3d
🎲Probabilistic Programming
Looking for a high-quality course on async Python microservices (FastAPI, Uvicorn/Gunicorn) and scaling them to production (K8s, AWS/Azure, OpenShift)
reddit.com·2d·
Discuss: r/kubernetes
🌍Distributed Systems
Automated Job Function Decomposition and Re-Optimization via Constraint Programming and Deep Reinforcement Learning
dev.to·3d·
Discuss: DEV
🎯Constraint Programming
Java Exercises
mygreatlearning.com·3d
🔧Compiler Design
Augmented Shuffle Differential Privacy Protocols for Large-Domain Categorical and Key-Value Data
arxiv.org·3d
🔐Cryptography
AgenTracer: Who Is Inducing Failure in the LLM Agentic Systems?
arxiv.org·2d
⚖Algorithmic Game Theory
🚧 Building something for devs who want to work smarter, not just harder.
dev.to·1d·
Discuss: DEV
🔧Compiler Design
MuMTAffect: A Multimodal Multitask Affective Framework for Personality and Emotion Recognition from Physiological Signals
arxiv.org·1d
🧮Programming Language Theory