A systems-theoretic approach for identifying security vulnerabilities in machine learning-enhanced industrial control systems
sciencedirect.com·1d
🛡️Security Type Systems
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·2d
⚖️Inference Rules
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🎭Program Synthesis
Flag this post
Qwen3 VL 30b a3b is pure love
💬Smalltalk VMs
Flag this post
AWK technical notes (2023)
🐚Shell Languages
Flag this post
The Next Big Thing
semiengineering.com·9h
🔮CPU Branch Prediction
Flag this post
Double categories for adaptive quantum computation
arxiv.org·3d
🔗Category Theory
Flag this post
learn-data-structures-js
🪢Rope Data Structures
Flag this post
The Hardest Bug to Fix Is Ambiguity
🚂Error Propagation
Flag this post
Entropy in algorithm analysis
11011110.github.io·1d
🧮Combinator Calculus
Flag this post
Cheesy dialogue between Immanuel Kant and Claude as written by Claude.
⚖️Inference Rules
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.com·3d
🔍ML Language
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·12h
🔬Nanopasses
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
🔄Subinterpreters
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
🔒Rust Borrowing
Flag this post
Loading...Loading more...