Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·1h·
Discuss: DEV
🦀Rust Borrowing
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·14h·
Discuss: Hacker News
🧩WASM Modules
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·16h·
Discuss: DEV
🌐Network Protocols
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·5h
🔒Linear Types
My AI Workflow for Understanding Any Codebase
steipete.me·11h
⚡Proof Automation
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Can You Patch a Protobuf File? Not Really—and Here’s Why
hackernoon.com·15h
📋Protocol Buffers
Field Sensitive Escape Analysis in Golang?
reddit.com·17h·
Discuss: r/golang
🧠Lisp Dialects
Cactus Language • Syntax 12
inquiryintoinquiry.com·6h
📝Concrete Syntax
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·18h
🔍Concolic Testing
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
The Guide to the Foundation Models Framework
azamsharp.com·8h·
Discuss: Hacker News
λLambda Formalization
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·21h·
Discuss: Hacker News
🦀Rust Macros
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Serialization from Node.js
adamfaulkner.github.io·2d·
Discuss: Hacker News
🔢Binary Formats
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·5d
🌐Protocol Synthesis