LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.orgยท1d
๐Ÿ”FPGA Verification
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท2h
๐Ÿ“Concrete Syntax
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท9hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท18h
๐ŸงฎProlog Parsing
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.comยท7h
๐Ÿ”“Open Source Software
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.comยท2h
๐Ÿ’ปLocal LLMs
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท6hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท4hยท
Discuss: DEV
๐Ÿ“Code Metrics
Explaining software and computational methods
blog.khinsen.netยท18h
๐Ÿ“Concrete Syntax
The Guide to the Foundation Models Framework
azamsharp.comยท4hยท
Discuss: Hacker News
ฮปLambda Formalization
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท1d
โš–๏ธHoare Logic
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท3hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท3hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
BNFGen: A random text generator based on context-free grammars
baturin.orgยท37mยท
Discuss: Hacker News
๐ŸŒณContext free grammars
PEGTL -- Parsing Expression Grammar Template Library
github.comยท19hยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท7hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.orgยท1d
๐Ÿ”งHardware Verification