Karen Jex: Getting Ready for PGConf.EU 2025
karenjex.blogspot.com·1d
🗃️Query Compilation
Flag this post
Ordering types in SQL
📋Row Typing
Flag this post
Last weekend I had the honour of speaking on a panel at the Gazelli Digital Art Symposium @gazelliarthouse
brendandawes.com·7h
🏠indieweb
Flag this post
Building Naia in the Cloud
atomslab.dev·5h
🎯Finite Automata
Flag this post
Can an LLM Be a Black-Box Optimizer?
⚡Partial Evaluation
Flag this post
Bun 1.3 stuffs everything and kitchen sink into JS runtime
theregister.com·1d
🌪️V8 Pipeline
Flag this post
Establishing Visibility and Governance for Your Software Supply Chain
devops.com·11h
🛡️Security Type Systems
Flag this post
[audio] Netstack.FM Podcast Ep9 – Lucio Franco on Tonic, Tower & Rust Networking
🦀MIR Optimization
Flag this post
Open-Source AI-Native Web Server
🌐Network Protocols
Flag this post
Building Production-Grade Multi-Tier Web Infrastructure on AWS with CDK & CLI Only
✅Configuration Validation
Flag this post
Towards a Taxonomy of Sustainability Requirements for Software Design
arxiv.org·1d
📦Dependency Analysis
Flag this post
Why your boss isn’t worried about AI
lesswrong.com·6h
🏰Capability Machines
Flag this post
Emergence of hybrid computational dynamics through reinforcement learning
arxiv.org·20h
🎭Racket Modules
Flag this post
What Is Your Agent's GPA? A Framework for Evaluating Agent Goal-Plan-Action Alignment
arxiv.org·1d
🔮Metacircular Evaluators
Flag this post
From <Answer> to <Think>: Multidimensional Supervision of Reasoning Process for LLM Optimization
arxiv.org·20h
🪜Recursive Descent
Flag this post
Loading...Loading more...