🧩 WASM Modules

Module Linking, Component Model, Interface Types, Runtime Composition

Cactus Language • Syntax 12
inquiryintoinquiry.com·19h
📝Concrete Syntax
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
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·1d·
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·19h·
Discuss: DEV
🌊Stream Processing
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·7h
🔍Information Retrieval
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Logic App Http Connector with Swagger + C# Function App
dev.to·3d·
Discuss: DEV
🔐CBOR
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.org·7h
🔒Privacy Preserving
Rise of OpenJDK & Oracle vs Others
dev.to·9h·
Discuss: DEV
🔄Language Evolution
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·22h·
Discuss: DEV
🤖Lisp Machines
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·2d
💧Liquid Types
Becoming a Better Developer with Vibe Coding
dev.to·7h·
Discuss: DEV
⚡Proof Automation