My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·1d·
Discuss: r/compsci, r/programming
💾Cachix
Flag this post
Monorepo for large digital ecosystems – was it worth it?
dev.family·1h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
Modelling beliefs about sets
emiruz.com·5d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Spatial Secrets: Unlocking Hidden Patterns with Language Models
dev.to·8h·
Discuss: DEV
🧩Separation Logic
Flag this post
Accelerated Dielectric Barrier Coating Optimization via Multi-Modal Data Fusion & Bayesian Hyperparameter Tuning
dev.to·14h·
Discuss: DEV
🛡️Privacy Engineering
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·4h
❓Existential Types
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
Human Values ≠ Goodness
lesswrong.com·1d
⬜Minimalism
Flag this post
This is one way I use AI for coding
dev.to·18h·
Discuss: DEV
🧮Z3 Solver
Flag this post
Multi-Modal Feature Fusion for Spatial Morphology Analysis of Traditional Villages via Hierarchical Graph Neural Networks
arxiv.org·1d
🕸️Graph Theory
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·4h
🔲Cellular Automata
Flag this post
I Wondered Why I Procrastinate Even On Things I Am "Passionate" About
lesswrong.com·1d
📵Digital Minimalism
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·4h
🔲Cellular Automata
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·4h
📝Nix Language
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·4h
⏱️Computational Complexity
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·4h
🧩Parser Combinators
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·4h
⚙️Compiler Design
Flag this post
Deployable Vision-driven UAV River Navigation via Human-in-the-loop Preference Alignment
arxiv.org·4h
🤖Robotics
Flag this post
Towards Automated Petrography
arxiv.org·4h
🔲Cellular Automata
Flag this post