Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·3h·
Discuss: DEV
🧪Test DSLs
Compiling with Continuations
swatson555.github.io·1h·
Discuss: Hacker News
🔬programming language theory
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·20h
🗺️Region Inference
Machine Scheduler in LLVM
myhsu.xyz·21h·
Discuss: Hacker News, r/programming
📅Instruction Scheduling
Chapter 2: LLM Benchmarks
cline.ghost.io·11h
🏁Language Benchmarks
VImpl: A Virtual Take on the C++ PImpl Pattern
solidean.com·16h·
Discuss: r/cpp
🔀Control Structures
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1h
📜Proof Languages
Inside RISC-V Verification – A Hands-On Look at RISC-V Verification for Next-Gen Designs Using Synopsys’ Flow
dev.to·2h·
Discuss: DEV
🏗️LLVM
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·11h·
Discuss: Hacker News
🦉Swift Interpreters
IsoSched: Preemptive Tile Cascaded Scheduling of Multi-DNN via Subgraph Isomorphism
arxiv.org·1h
🌱Green Threads
Why I Still Reach for C for Certain Projects
dev.to·12h·
Discuss: DEV
🪄C Metaprogramming
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
System Instruction Fixed Point
funcall.blogspot.com·9h·
Discuss: www.blogger.com
💬Interactive REPLs
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·1h
🧪Parser Testing
Safepoints and Fil-C
fil-c.org·1d·
Discuss: Hacker News
🎯Ring Buffers
JIT-ing a stack machine (with SLJIT)
bullno1.com·1d·
Discuss: Hacker News, r/C_Programming
📜Bytecode Interpreters
Engineering "The" Loop
dev.to·3h·
Discuss: DEV
🔀Control Structures
Performance of Row-major 1D Array vs. 2D Array in C
reddit.com·2h·
Discuss: r/C_Programming
📚Stack Allocation
Putting 3D IC to work for you
edn.com·16h
🔌Microcontrollers