🧩 WASM Modules

Module Linking, Component Model, Interface Types, Runtime Composition

Building a unified homelab documentation & infrastructure management platform - looking for feedback from the community
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Preservation
Show HN: CompoConf – modular configuration for modular systems
korbi.ai·6d·
Discuss: Hacker News
💧Liquid Types
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·3d·
Discuss: Hacker News
✅Format Verification
Driving the Rust Compiler to Compile Single Files as Shellcode
kirchware.com·2d·
Discuss: Hacker News
🦀Rust Macros
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
Heartbeat of Modern Web Real Time Patterns User Design（1750804864723400）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Evaluating the Use of LLMs for Documentation to Code Traceability
arxiv.org·3d
🔄Reproducible Builds
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·12h·
Discuss: DEV
🌊Stream Processing
Probing AI Safety with Source Code
arxiv.org·3h
✨Effect Handlers
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
An Expert Survey on Models and Digital Twins
arxiv.org·2d
⚙️TLA+
Build, Celebrate, collaborate: Microsoft SharePoint Web Parts That Do It All
dev.to·21h·
Discuss: DEV
🧠Personal Knowledge Base
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·15h·
Discuss: DEV
🌊Stream Processing
Mastering Laravel's MVC: A Practical Guide for Cleaner Code
dev.to·7h·
Discuss: DEV
🔬Refinement Types
Scale APP using Dependency Inversion Principle
dev.to·4d·
Discuss: DEV
💧Liquidhaskell
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Biomed-Enriched: A Biomedical Dataset Enriched with LLMs for Pretraining and Extracting Rare and Hidden Content
arxiv.org·3h
🔍Information Retrieval
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming