Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·7h
✓Automated Theorem Proving
Data Science Weekly – Issue 607
datascienceweekly.substack.com·7h·
Discuss: Substack
👁️System Observability
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com·18h·
Discuss: r/programming
⚙️PL Implementation
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🎮Verification Games
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·3h·
Discuss: Substack
🔬Static Analysis
StreamDiffusion: A Pipeline-level Solution for Real-time Interactive Generation
arxiv.org·2d
👁️System Observability
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·19h·
Discuss: Hacker News
🔠Type-Level Programming
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·7h
🔍Formal Verification
(Quite) a few words about async
yoric.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
Croissant! Building a No-Framework Web App
dbushell.com·3h·
Discuss: Hacker News
🌐NetworkProtocols
How to Write Rust Code Like a Rustacean
thenewstack.io·1d·
Discuss: Hacker News
🔬Static Analysis
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·23h·
Discuss: Hacker News
🤖Program Synthesis
C++: Maps on Chains
bannalia.blogspot.com·3h·
Discuss: Hacker News
🏹Effect Systems
DATABench: Evaluating Dataset Auditing in Deep Learning from an Adversarial Perspective
arxiv.org·2d
🎮Verification Games
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·7h
⚙️PL Implementation
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
Agent simulations = unit testing for AI?
news.ycombinator.com·1d·
Discuss: Hacker News
🔍Formal Verification
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds