LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·13h
📝Concrete Syntax
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·1d
💻Local LLMs
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·1d
🎯Performance Proofs
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·4h·
Discuss: DEV
✓Automated Theorem Proving
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lol·10h·
Discuss: Hacker News
📐Proof Assistants
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Machine Learning Fundamentals: active learning with python
dev.to·2h·
Discuss: DEV
🧠Machine Learning
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·15h
🔗Topological Sorting
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
PARALLELPROMPT: Extracting Parallelism from Large Language Model Queries
arxiv.org·1d
🚀SIMD Text Processing
What LLMs Know About Their Users
schneier.com·8h·
Discuss: Hacker News
💻Local LLMs
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·3h·
Discuss: DEV
🌊Stream Processing
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·3h
💻Local LLMs
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·18h·
Discuss: Hacker News
🦀Rust Macros
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·23h·
Discuss: DEV
🔗Concatenative Programming