Speeding Up NestJS Tests with DB Transactions
medium.com·15h·
Discuss: Hacker News
🧪Compiler Testing
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·4h
🎯Finite Automata
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·2h·
Discuss: Hacker News
🪆Embedded DSLs
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·4h
🔗Hash Algorithms
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
arxiv.org·4h
🩺Compiler Diagnostics
A non-smooth regularization framework for learning over multitask graphs
arxiv.org·4h
🪜Recursive Descent
VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
arxiv.org·4h
🔬Nanopasses
Adaptive Parametric Facade Optimization via Generative Design & Multi-Objective Simulation
dev.to·1h·
Discuss: DEV
🎭Program Synthesis
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·4h
🧩SAT Solvers
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·20h·
Discuss: Hacker News
📦Monorepos
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·4h
🚂Cranelift IR
Creating a database of motivated proofs
gowers.wordpress.com·10h·
Discuss: Hacker News
⚖️Inference Rules
Clean Design, Strong Client: The way of the Elasticsearch's Java SDK
dev.to·1d·
Discuss: DEV
🔧API Design
IDfRA: Self-Verification for Iterative Design in Robotic Assembly
arxiv.org·4h
🎭Program Synthesis
Checking extracted rules in Neural Networks
arxiv.org·4h
⚖️Inference Rules
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.org·4h
🧮Theorem Provers
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·12h
🎯99-Line Tools
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.org·4h
📜Bytecode Interpreters
Need feedback on my AI cli tool
github.com·13h·
Discuss: r/golang
⚡Live Coding