Babelscope
bbenchoff.github.io·3d
🖥Retro Computing
Binary Search in Haskell and Rust
mmhaskell.com·3d
📐Interval Arithmetic
Helix Parallelism: Sharding Strategies for Multi-Million-Token LLM Decoding
research.nvidia.com·14h·
Discuss: Hacker News
⚡Cache Coherence
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·1d
🐛Fuzzing
Automating Enterprise Applications with Implementation of LLM Frameworks
blog.devops.dev·20h
🔄Language Evolution
Making the Solution Fit the Problem
all-things-andy-gavin.com·5d·
Discuss: Hacker News
🦀Rust Macros
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·1d
⟷Bidirectional Programming
Parameter Passing in Golang: The Ultimate Truth
dev.to·9h·
Discuss: DEV
⬆️Lambda Lifting
The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence from GitHub Copilot
arxiv.org·6h
🔓Open Source Software
JECQ: Smart, Open-Source Compression for FAISS Users—6x Compression Ratio, 85% Accuracy
dev.to·21h·
Discuss: DEV
📊Quantization
Re-Emergent Misalignment: How Narrow Fine-Tuning Erodes Safety Alignment in LLMs
arxiv.org·2d
🔨Compilers
Havoc – Heap Allocated Value Object Containers
github.com·2d·
Discuss: Hacker News
🔒Type Safety
I ride AI-hype train
blog-doe.pages.dev·21h·
Discuss: Hacker News
🚀Indie Hacking
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·1d
⚡Proof Automation
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·1d
🔨Compilers
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·2d·
Discuss: r/programming
⚡Dependent Rust
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·2d·
Discuss: Hacker News
🌐WASI
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·2d
💻Programming languages
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·6h
⚡Incremental Computation
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·1d
🧮Z3 Solver