AI and the ironies of automation - Part 1
ufried.com·2d
⚡Proof Automation
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Hacker Review of Ghost in the Shell (1995)
hackerfiction.net·18h·
Discuss: Hacker News
🔓Hacking
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Artificial Intelligence and Origin of Life Prize, $10M USD
herox.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·18h
🕸️WebAssembly
Flag this post
Critical Thinking during the age of AI
addyo.substack.com·1d·
Discuss: Substack
📏Code Metrics
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code
Flag this post
AI assistance in Development
dev.to·20h·
Discuss: DEV
🔌Interface Evolution
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
From Raw to Refined: Data Pipeline Architecture at Scale
dev.to·13h·
Discuss: DEV
⚙️Batch Processing
Flag this post
Green Resilience of Cyber-Physical Systems: Doctoral Dissertation
arxiv.org·2d
🌊Streaming Systems
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·1h·
Discuss: DEV
⚡Incremental Computation
Flag this post
InfoQ: Why Observability Matters (More!) with AI Applications
dev.to·12h·
Discuss: DEV
👁️System Observability
Flag this post
Automated Accelerated Life Testing Protocol Optimization via Bayesian Hyperparameter Tuning
dev.to·23h·
Discuss: DEV
👁️System Observability
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
Streamline AI operations with the Multi-Provider Generative AI Gateway reference architecture
aws.amazon.com·1d
🌊Streaming Systems
Flag this post
Python Registry Pattern: A Clean Alternative to Factory Classes
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Flag this post