LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.orgยท1d
๐Ÿ”FPGA Verification
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท7h
๐Ÿ“Concrete Syntax
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท14hยท
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ยท23h
๐Ÿงฎ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ยท13h
๐Ÿ”“Open Source Software
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.comยท7h
๐Ÿ’ปLocal LLMs
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท11hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท9hยท
Discuss: DEV
๐Ÿ“Code Metrics
My AI Workflow for Understanding Any Codebase
steipete.meยท13h
โšกProof Automation
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท1d
โš–๏ธHoare Logic
The Guide to the Foundation Models Framework
azamsharp.comยท10hยท
Discuss: Hacker News
ฮปLambda Formalization
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท9hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท8hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
BNFGen: A random text generator based on context-free grammars
baturin.orgยท6hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
PEGTL -- Parsing Expression Grammar Template Library
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.orgยท1d
๐Ÿ”งHardware Verification
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท13hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp