🧩 WASM Modules

Module Linking, Component Model, Interface Types, Runtime Composition

Running C++ on Cloudflare WASM
saus.app·1d·
Discuss: Hacker News
🧩WASM Components
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·23h
💧Liquid Types
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Prefer Module Composition over Inheritance With TF
newsletter.masterpoint.io·12h·
Discuss: Hacker News
🔌Interface Evolution
Week 7 — Learning Basic Concepts of Cybersecurity
infosecwriteups.com·22h
🔐Capability Systems
Challenges of Pseudocode Expansion
funcall.blogspot.com·20h·
Discuss: www.blogger.com
🔗Lisp
The Problems With React Server Components
thenewstack.io·9h
🧩WASM Components
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·6h·
Discuss: Hacker News
🔄Reproducible Builds
Axum Is Shaping the Future of Web Development in Rust
dev.to·11h·
Discuss: DEV
🔒Linear Types
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Week 31 Status
blogs.gnome.org·4h
🎯Gradual Typing
Aviation Runway Lights Management Simulation System
pixelstech.net·20h
📟Terminal Physics
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·6h·
Discuss: Hacker News
🔌Archive APIs
TypeScript 5.9 creates leaner tsconfig.json files
heise.de·13h
🎯Gradual Typing
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·11h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·10h·
Discuss: Hacker News
🦀Rust Borrowing
Egui.NET: unofficial C# bindings for the easy-to-use Rust UI library
github.com·1d
🦀Rust Macros
Automating Boundary Filling in Cubical Type Theories
arxiv.org·23h
🔶Cubical Type Theory
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·9h
⚡gRPC
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·16h
⚗️Algebraic Coding