Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·18h·
Discuss: Hacker News
⚡Proof Automation
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·3d
🧬Functional Programming
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·14h·
Discuss: Hacker News
🔗Constraint Handling
Shelling Out Is Selling Out
petersobot.com·1d·
Discuss: Hacker News
🎞️MKV Forensics
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages
Generative Interfaces for Language Models
arxiv.org·4h
⚙️Parser Generators
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·1d·
Discuss: DEV
🔒Type Safety
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·16h
🔄Reproducible Builds
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·1d
🕸️Network Topology
Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source)
midday.ai·34m·
Discuss: Hacker News
🔤EBCDIC Mining
Go 1.25 Highlights: How Generics and Performance Define the Future of Go
dev.to·17h·
Discuss: DEV
🔌Interface Evolution
Chatting with Unmesh about building language with LLMs
martinfowler.com·19h
💻Programming languages
TRIM: Accelerating High-Dimensional Vector Similarity Search with Enhanced Triangle-Inequality-Based Pruning
arxiv.org·1d
🗂️Vector Databases
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·1d
✨Algebraic Effects
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·1d
🤖Grammar Induction
Scheme Basics
courses.cs.washington.edu·4d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·17h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.to·23h·
Discuss: DEV
🦀Rust Macros