sqlalchemy check constraints and operator precedence
blog.kobaltlabs.comยท9hยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Data processing pipeline for MIMIC-IV an open electronic health record dataset
proceedings.mlr.pressยท2dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Chaos Is the Operating System
paid.aiยท14hยท
Discuss: Hacker News
๐ŸฉนSelf-Healing Systems
MileSan: Detecting ฮผ-Architectural Leakage via Differential HW/SW Taint Tracking
comsec.ethz.chยท4hยท
Discuss: Hacker News
โš™๏ธOperating System Design
Unifying real-time analytics and observability with OpenTelemetry and ClickStack
clickhouse.comยท1dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
100,000,000 CROWPOWER and no horses on the moon
taylor.townยท3dยท
Discuss: Hacker News, Hacker News
โœ“Automated Theorem Proving
On beautiful code
keygen.shยท3dยท
Discuss: r/programming
๐Ÿ’ŽRefinement Types
The Recursive Loop: How Code Shapes Minds โ€“ Kenneth Reitz
kennethreitz.orgยท7hยท
Discuss: Hacker News
๐ŸฉนSelf-Healing Systems
The repercussions of a typo in C++ & Rust
nablag.comยท3dยท
Discuss: Hacker News, r/programming
๐Ÿ”ฌStatic Analysis
Build an AI PR Reviewer with MCP and Gemini
decodingml.substack.comยท13hยท
Discuss: Substack
๐Ÿ”„Reproducible Builds
Understanding Transformers Using a Minimal Example
rti.github.ioยท2dยท
Discuss: Hacker News, r/programming
๐ŸงฉParser Combinators
In Defense of the Mediocre Developer (are we overestimating averages?)
pugsiman.github.ioยท5hยท
Discuss: r/programming
๐Ÿ‘๏ธSystem Observability
Globally Asymptotically Stable Trajectory Tracking of Underactuated UAVs using Geometric Algebra
arxiv.orgยท1d
๐ŸฉนSelf-Healing Systems
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.orgยท2d
๐ŸงฉParser Combinators
Compressed verification for post-quantum signatures with long-term public keys
arxiv.orgยท1d
๐ŸŒNetworkProtocols
The maths you need to start understanding LLMs
gilesthomas.comยท3dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Diverse Unionable Tuple Search: Novelty-Driven Discovery in Data Lakes [Technical Report]
arxiv.orgยท2d
๐Ÿ“Term Rewriting
Automated Wildfire Damage Assessment from Multi view Ground level Imagery Via Vision Language Models
arxiv.orgยท2d
๐ŸงฉParser Combinators
LINKER: Learning Interactions Between Functional Groups and Residues With Chemical Knowledge-Enhanced Reasoning and Explainability
arxiv.orgยท1d
โžก๏ธCategory Theory
Line Graphs of Non-Word-Representable Graphs are Not Always Non-Word-Representable
arxiv.orgยท1d
๐Ÿ“Denotational Semantics