Rocket Software Expert on Modernizing and Securing COBOL Systems
channelinsider.com·2d·
Discuss: Hacker News
🔧DevOps
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·3d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Linus Tech Tips (LTT): He said it would be EASY - $5000 AMD Ultimate Tech Upgrade
dev.to·20h·
Discuss: DEV
💾Retro Computing
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·4d
📦Module Systems
Flag this post
The Privacy Manifesto
zac1258019.substack.com·1d·
Discuss: Substack
📵Digital Minimalism
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
PSF Gets a Donor Surge After Rejecting Anti-DEI Federal Grant
thenewstack.io·4h·
Discuss: Hacker News
🏛️CoreFoundation
Flag this post
Students' Acceptance of Arduino Technology Integration in Student-Led Science Inquiry: Insights from the Technology Acceptance Model
arxiv.org·2d
🔲Cellular Automata
Flag this post
🧠 Build a Document Search with RAG | Hugging Face Transformers + Flan-T5 + NLP Tutorial
dev.to·2h·
Discuss: DEV
🧩Parser Combinators
Flag this post
KPIs Are Destroying IT Teams: How to Actually Measure Developer Performance
hackernoon.com·2d
🔧DevOps
Flag this post
Bell bottom-era tape unearthed, could contain lost piece of Unix history
theregister.com·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Enhanced Spinodal Decomposition Prediction via Multi-Modal Data Fusion and HyperScore Evaluation
dev.to·2d·
Discuss: DEV
📐Linear Algebra
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·1d·
Discuss: DEV
🔧Microservices
Flag this post
Krish Naik: Stop Fighting with Kubernetes! Scale Python to 1000s of Machines with Coiled
dev.to·1d·
Discuss: DEV
⎈Kubernetes
Flag this post
Krish Naik: Stop Fighting with Kubernetes! Scale Python to 1000s of Machines with Coiled
dev.to·1d·
Discuss: DEV
⎈Kubernetes
Flag this post
Explore to Evolve: Scaling Evolved Aggregation Logic via Proactive OnlineExploration for Deep Research Agents
dev.to·9h·
Discuss: DEV
🧩Parser Combinators
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·1d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·1d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.org·3d
🧩Parser Combinators
Flag this post