Xqerl – Erlang XQuery 3.1 Processor
🐫OCaml
Flag this post
Speech at Christening of Computer [1967]
💾Retro Computing
Flag this post
From SEO Playbooks to Geo Architectures
🌐ActivityPub
Flag this post
TigerFans: Building a High-Performance Ticketing System with TigerBeetle
📊Runtime Verification
Flag this post
Modern perspectives in proof theory (2023)
🔗Curry-Howard
Flag this post
Everyone is Missing GPT-4o: Why People Prefer it to GPT-5
hackernoon.com·2d
📦Unikernel Systems
Flag this post
Personality over Precision: Exploring the Influence of Human-Likeness on ChatGPT Use for Search
arxiv.org·1d
📚Automata Learning
Flag this post
Automated Glaucoma Implant Micro-Fluid Dynamics Optimization via Bayesian Hyperparameter Tuning
🔧Unikernel Development
Flag this post
Building a Structured Menu Tracker – Lessons from a Simple Drink Menu Project
💎Refinement Types
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
🧱Immutable Infrastructure
Flag this post
GastroDL-Fusion: A Dual-Modal Deep Learning Framework Integrating Protein-Ligand Complexes and Gene Sequences for Gastrointestinal Disease Drug Discovery
arxiv.org·1d
🎨GADTs
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
🖥️Self-hosted Infrastructure
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
🔧Microservices
Flag this post
Krish Naik: Stop Fighting with Kubernetes! Scale Python to 1000s of Machines with Coiled
⎈Kubernetes
Flag this post
Leveraging the Power of AI and Social Interactions to Restore Trust in Public Polls
arxiv.org·58m
🌐ActivityPub
Flag this post
Loading...Loading more...