The 80/20 Rule Doesn’t Apply to Security: How Cisco SASE Bridges the Gap
blogs.cisco.com·20h
🔐Capability Protocols
Porting a library to a different language with a sentence
randomlabs.ai·11h·
Discuss: Hacker News
🎮Language Ergonomics
Can coding agents build complex systems?
technicaldeft.com·2h·
Discuss: Hacker News
🎭Program Synthesis
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·1d·
Discuss: r/programming
🔍Debugging Compilers
Object Orientation [2013 !]
jackrusher.com·2d·
Discuss: Hacker News
💬Smalltalk VMs
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
eprint.iacr.org·11h
🔗Hash Functions
Quantum Simulation Programming via Typing
arxiv.org·4h
🏗️Minimal Compilers
A Lightweight Authentication and Key Agreement Protocol Design for FANET
arxiv.org·4h
🛡️Security Type Systems
My Google Summer of Code Journey: Part 3
dev.to·2d·
Discuss: DEV
🏷️Memory Tagging
Proof Rules for MetaSMT
philipzucker.com·1d
🧮Theorem Provers
Emotions are Recognized Patterns of Cognitive Activities
arxiv.org·4h
🎯Finite Automata
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.org·4h
📚Self-Documenting Code
Psychometric Personality Shaping Modulates Capabilities and Safety in Language Models
arxiv.org·4h
⚡Algebraic Effects
MERN Stack Alternatives in Golang
dev.to·6h·
Discuss: DEV
🐹Go Runtime
Taming Stateful at the Edge: A Real-Time API with Cloudflare Durable Objects
dev.to·49m·
Discuss: DEV
📮Persistent Queues
pBeeGees: A Prudent Approach to Certificate-Decoupled BFT Consensus
arxiv.org·4h
📡Binary Protocols
Trainee Action Recognition through Interaction Analysis in CCATT Mixed-Reality Training
arxiv.org·4h
🏗️MLIR
Similarity as Thermodynamic Work: Between Depth and Diversity -- from Information Distance to Ugly Duckling
arxiv.org·4h
🗂️Type Indexing
Auditability and the Landscape of Distance to Multicalibration
arxiv.org·4h
🗺️Region Inference
Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.org·4h
🎲Parser Fuzzing