essential spectrum
ncatlab.org·1d
⚙️Programming
Flag this post
A QOJ week
🧮Homomorphic Encryption
Flag this post
There is no truthy or falsy in Rust
joschuba.com·1d
⚙️Programming
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🧮Homomorphic Encryption
Flag this post
Building Scalable API Test Automation with Postman + Newman — My Gradific API Testing Project
📜Smart Contracts
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·19h
🔧MLIR
Flag this post
Anthropic Commits To Model Weight Preservation
lesswrong.com·2h
🛡️AI Safety
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
⚙️Programming
Flag this post
Intentionality
lesswrong.com·19h
🛡️AI Safety
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
🔧MLIR
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🔄Protocol Design
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
🛡️AI Safety
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·19h
🔄Protocol Design
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
⚙️Programming
Flag this post
Real-world chemistry lab image dataset for equipment recognition across 25 apparatus categories
nature.com·8h
🛡️AI Safety
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·1d
🛡️AI Safety
Flag this post
Loading...Loading more...