Building UIs in the Terminal With Python Textual
realpython.com·12h
🔤Language Design
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
📡Network Protocol Design
Flag this post
Beyond Standard LLMs
📚Automata Learning
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
🤖Program Synthesis
Flag this post
The Curious Case of Factual (Mis)Alignment between LLMs' Short- and Long-FormAnswers
📚Automata Learning
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·21h
📐Linear Algebra
Flag this post
Dynamic Model Selection for Trajectory Prediction via Pairwise Ranking and Meta-Features
arxiv.org·21h
👁️Observability
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
🔤Language Design
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.org·21h
🧩Parser Combinators
Flag this post
Knowledge Elicitation with Large Language Models for Interpretable Cancer Stage Identification from Pathology Reports
arxiv.org·21h
🧩Parser Combinators
Flag this post
Why your AI evals keep breaking
👁️System Observability
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·21h
🧠Automated Reasoning
Flag this post
Realistic pedestrian-driver interaction modelling using multi-agent RL with human perceptual-motor constraints
arxiv.org·1d
🔲Cellular Automata
Flag this post
A Quantitative Framework to Predict Wait-Time Impacts Due to AI-Triage Devices in a Multi-AI, Multi-Disease Workflow
arxiv.org·1d
👁️Observability
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
🔒Protocol Verification
Flag this post
Fragments Nov 3
martinfowler.com·1d
🔬Static Analysis
Flag this post
Loading...Loading more...