Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
🕸️WebAssembly
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·1d
🕸️WebAssembly
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔨Compiler Design
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·1d
📝Parser Combinators
Flag this post
Reforging the ReScript Build System
🎯WASM Runtime
Flag this post
Playing Around with ARM Assembly
🦀Rust Macros
Flag this post
Prog8
🦀Rust Macros
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·2d
🦀Rust Macros
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·2h
🐧Linux Kernel
Flag this post
AMD Contributes BFloat16 Support To LLVM's SPIR-V Target
phoronix.com·5h
📞System Calls
Flag this post
I switched from LM Studio/Ollama to llama.cpp, and I absolutely love it
xda-developers.com·2d
⌨️CLI Development
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
🔁Cache Coherence
Flag this post
Pain Points of OCaml
🦀Rust Macros
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
⚡Performance Engineering
Flag this post
Loading...Loading more...