Babelscope
bbenchoff.github.io·3d
🖥Retro Computing
Binary Search in Haskell and Rust
mmhaskell.com·3d
📐Interval Arithmetic
Beyond prompt crafting: How to be a better partner for your AI pair programmer
github.blog·19h
🔗Concatenative Programming
Java Criminally Underhyped? Not Back in 1997. (2021)
dylanbeattie.net·9h·
Discuss: Hacker News
🎮Switch Archaeology
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·16h·
Discuss: Substack
👁️Observatory Systems
Understand CPU Branch Instructions Better
chrisfeilbach.com·3d·
Discuss: Hacker News
🦾ARM Assembly
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·1d
🐛Fuzzing
Making the Solution Fit the Problem
all-things-andy-gavin.com·5d·
Discuss: Hacker News
🦀Rust Macros
Automating Enterprise Applications with Implementation of LLM Frameworks
blog.devops.dev·22h
🔄Language Evolution
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·1d
⟷Bidirectional Programming
The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence from GitHub Copilot
arxiv.org·7h
🔓Open Source Software
Parameter Passing in Golang: The Ultimate Truth
dev.to·11h·
Discuss: DEV
⬆️Lambda Lifting
Re-Emergent Misalignment: How Narrow Fine-Tuning Erodes Safety Alignment in LLMs
arxiv.org·2d
🔨Compilers
JECQ: Smart, Open-Source Compression for FAISS Users—6x Compression Ratio, 85% Accuracy
dev.to·23h·
Discuss: DEV
📊Quantization
Havoc – Heap Allocated Value Object Containers
github.com·3d·
Discuss: Hacker News
🔒Type Safety
I ride AI-hype train
blog-doe.pages.dev·22h·
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
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·2d
💻Programming languages