GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.orgΒ·1d
π¦Binary Formats
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.orgΒ·15h
πCode Generation
Flag this post
Implementing your own "emacs-like" `M-x compile` in Neovim (not a plugin)
π¦Rust Macros
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
πParsing
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.orgΒ·15h
π¦Rust Macros
Flag this post
Show HN: Nallely β a modular reactive Python system for custom MIDI instruments
π¦Rust Macros
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
πDynamic Programming
Flag this post
Readable Code Is Unreadable
πCode Generation
Flag this post
KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
πCache Coherence
Flag this post
Help with Neovim configuration as an IDE for embedded systems development.
πSystem Calls
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
πΈοΈWebAssembly
Flag this post
Playing Around with ARM Assembly
π¦Rust Macros
Flag this post
OSS updates September and October 2025
blog.michielborkent.nlΒ·1d
π¦Rust Macros
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgΒ·15h
π¨Compiler Design
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.comΒ·1d
πΈοΈWebAssembly
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.orgΒ·15h
πParser Combinators
Flag this post
Loading...Loading more...