Dependent Types, Proof Assistant, Type-driven Development, Verification

Data rescue for World Digital Preservation Day 2025
erambler.co.uk·1h
🎓Academic Torrents
Flag this post
dcaf: An implementation of the ACE-OAuth framework
docs.rs·3d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Using XDP for Egress Traffic
loopholelabs.io·1d·
🖥️Modern Terminals
Flag this post
AI's capabilities may be exaggerated by flawed tests, according to new study
nbcnews.com·7h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·3d·
🌊Streaming Databases
Flag this post
[D] Favorite Deep Learning Textbook for teaching undergrads?
reddit.com·16h·
🧠Machine Learning
Flag this post
Fixing failing health checks to ensure near 100% uptime/HA in K8s
reddit.com·3h·
Discuss: r/kubernetes
📦Container Security
Flag this post
GTIG AI Threat Tracker: Advances in Threat Actor Usage of AI Tools
cloud.google.com·1d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
How to deploy the NE101 rapidly and at scale?
hackster.io·19h
🔌Archive APIs
Flag this post
Integrity Under Siege: A Rogue gNodeB's Manipulation of 5G Network Slice Allocation
arxiv.org·17h
🌳Archive Merkle Trees
Flag this post
Leveling with cluster analysis in Python: basic Python concepts
dev.to·52m·
Discuss: DEV
📈Time Series
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·3d·
Discuss: DEV
🔐Quantum Security
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·2d
🔍Vector Forensics
Flag this post
How Data 360 Vector Search Delivers Near Real-Time Intelligence on 90% of Enterprise Data
engineering.salesforce.com·3d
🌊Stream Processing
Flag this post
🛡️ Fortify - AI-Powered Security Analysis Platform
dev.to·3d·
Discuss: DEV
Proof Automation
Flag this post
Regression vs Functional Testing: Ensuring Quality from Both Ends
dev.to·1d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
But then again...maybe alias?
smallcultfollowing.com·1d
🔒Type Safety
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·3d
🔗Concatenative Languages
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·12h·
Discuss: DEV
🎮Switch Archaeology
Flag this post