PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·15h
💻Programming languages
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔲Proof Irrelevance
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
💻Programming languages
Detection Engineering: Practicing Detection-as-Code – Monitoring – Part 7
blog.nviso.eu·11h
🚨Incident Response
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Online activities 6 – 12 October
ests.wordpress.com·10h
🏗️Constructive Mathematics
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·23h·
Discuss: DEV
SMT Applications
The Mondrian introduction to functional optics
marcosh.github.io·9h·
Discuss: Hacker News
Bidirectional Programming
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·8h
🎯Proof Tactics
Detecting Distillation Data from Reasoning Models
arxiv.org·15h
⚙️ABNF Mining
Causal Abstractions, Categorically Unified
arxiv.org·15h
Effect Handlers
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·15h
🎯Performance Proofs
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
🔗Functional Compilers
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·15h
Proof Automation
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·6h
📐Mathematical Art
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·1d·
Discuss: Hacker News
🌳Context free grammars
JSON Schema Compatibility and the Robustness Principle
yokota.blog·3h·
Discuss: Hacker News
📋Protocol Buffers
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·14h·
Discuss: Hacker News
🛠Language Design