KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
⚡Hardware Acceleration
Flag this post
I Use AI
💬Prompt Engineering
Flag this post
Shiroa: MdBook for Typst
🪟Tauri
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·2d
💎Refinement Types
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·2d
🎨Creative Coding
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
⚙️JIT Compilation
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
⏭️Skip Lists
Flag this post
🧠 How We Built an AI Code Reviewer That Understands Intent — Not Just Syntax
💬Prompt Engineering
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·2d
💬Prompt Engineering
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·2d
📝Parser Combinators
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·2d
🦀Rust Macros
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·2d
📐Linear Algebra
Flag this post
Loading...Loading more...