Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·11h·
Discuss: DEV
🚚Data Migration
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·14h
⚗️Algebraic Coding
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Automating Boundary Filling in Cubical Type Theories
arxiv.org·21h
🔶Cubical Type Theory
Extensions and Shadows (9)
sites.psu.edu·11h
✨Effect Handlers
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
SAT Requires Exhaustive Search
link.springer.com·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity
A safer memcpy with very limited use cases
subethasoftware.com·3d
🧪Binary Fuzzing
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·3h·
Discuss: Hacker News
🔄Reproducible Builds
OWASP ASVS 5.0.0 is here!
scotthelme.ghost.io·14h
🛡️WASM Sandboxing
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Introductory Computer Science and Software Engineering Topics
albertyw.com·22h
🛠Language Design
Week 31 Status
blogs.gnome.org·2h
🎯Gradual Typing
pdfRest Launches New Sign PDF API Tool for Legally Compliant Digital Signatures
pdfa.org·11h
📄PDF Archaeology
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·22h
🦀Rusty Databases
Challenges of Pseudocode Expansion
funcall.blogspot.com·18h·
Discuss: www.blogger.com
🔗Lisp
Testing races with a synchronizing Decorator
blog.ploeh.dk·17h
🔄Sync Engine
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·4d·
Discuss: Hacker News
📝Concrete Syntax
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·17h·
Discuss: Hacker News
📜Proof Carrying Code