Pragma Unroll
sandordargo.com·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Continuous Architecture: A decade of designing for change
continuousarchitecture.com·2d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Independently verifying Go's reproducible builds
golangweekly.com·2d
🔄Reproducible Builds
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·1h·
Discuss: DEV
🔧Microservices
Flag this post
Unleashing PIM: The Secret Weapon for AI Acceleration
dev.to·59m·
Discuss: DEV
🔀OCaml Multicore
Flag this post
The Benefits of Data Storytelling in Accessible Teaching
arxiv.org·1h
🎮Verification Games
Flag this post
Show HN: KnexBridge – Generate TypeScript and Zod Types from Knex DB
github.com·19h·
Discuss: Hacker News
❄️NixOS
Flag this post
Deep learning-based object detection of offshore platforms on Sentinel-1 Imagery and the impact of synthetic training data
arxiv.org·1h
🎨GADTs
Flag this post
Automated Exoplanet Atmospheric Biosignature Discrimination via Spectral Decomposition & Machine Learning
dev.to·1d·
Discuss: DEV
👁️Observability
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·2d
🔍CBMC
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·2d
🐫OCaml
Flag this post
Stop Calling LLMs AI
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
dev.to·2d·
Discuss: DEV
🔒Protocol Verification
Flag this post
No OpenAI API? No Problem. Build RAG Locally with Ollama and FastAPI
dev.to·15h·
Discuss: DEV
🔌APIs
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·11h·
Discuss: DEV
🎯Complexity Classes
Flag this post
When did people favor composition over inheritance?
sicpers.info·18h·
Discuss: Hacker News, r/programming
🔤Language Design
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·5h·
Discuss: DEV
🎮Verification Games
Flag this post
Conversational Collective Intelligence (CCI) using Hyperchat AI in an Authentic Forecasting Task
arxiv.org·1h
🎮Verification Games
Flag this post
Deep Learning Approach for Clinical Risk Identification Using Transformer Modeling of Heterogeneous EHR Data
arxiv.org·1h
📚Automata Learning
Flag this post