Axelang - A Systems Programming Language with Concurrency as a First-Class feature
🔧Error Recovery
Flag this post
Esbuild XSS Bug That Survived 5B Downloads and Bypassed HTML Sanitization
🛡️Parser Security
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
original ↗
toast.al·1d
🔄Bootstrapping
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.com·1d
🔗Weak References
Flag this post
Minimizing Variable Scope in Go: New Blog Post and Static Analyzer Tool
blog.fillmore-labs.com·2d
🔗Lexical Scoping
Flag this post
The age of personalized software
discuss.samsaffron.com·5h
🎮Language Ergonomics
Flag this post
Rust/Tokio vs. Go for a server side app that requires high performance/low latency.
🐹Goroutine Scheduling
Flag this post
The Architecture of Browser Sandboxes: A Deep Dive into JavaScript Code Isolation
🛡️Parser Security
Flag this post
The Secret Life of Python: Bytecode Secrets - What Python Really Runs
📜Bytecode Interpreters
Flag this post
Hands-On With Antigravity: Google’s Newest AI Coding Experiment
thenewstack.io·21h
⚡Live Coding
Flag this post
Assorted Thoughts on "Pivoting" to AI
lesswrong.com·13h
🎭Program Synthesis
Flag this post
Loading...Loading more...