Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Three ways formally verified code can go wrong in practice
buttondown.com·9h
📜Proof Carrying Code
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·2d·
Discuss: Hacker News
🔒Language-based security
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·22h
🔗Parser Combinators
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
A Manifesto for the Programming Desperado
github.com·10h·
Discuss: Hacker News
💻Programming languages
In-Depth Analysis: "Attention Is All You Need"
dev.to·11h·
Discuss: DEV
🧠Intelligence Compression
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·22h
📊HyperLogLog
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3d
💻Programming languages
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·3h·
Discuss: Hacker News
⚡Proof Automation
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·22h
🧮Prolog Parsing
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org·1d
🔗Monadic Parsing
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·1d
🧮Prolog Parsing
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·15h·
Discuss: Hacker News
📄PDF Internals
Automated Spectral Fingerprint Deconvolution for Polymer Identification via Deep Oligomer Networks
dev.to·1h·
Discuss: DEV
🌈Spectroscopy
The rapidly evolving field of artificial intelligence has le
dev.to·10h·
Discuss: DEV
🧭Content Discovery
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·17h·
Discuss: DEV
🌊Apache Kafka
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·18h·
Discuss: Hacker News
✨Effect Handlers
The Hidden Bias: A Study on Explicit and Implicit Political Stereotypes in Large Language Models
arxiv.org·22h
🤖Grammar Induction
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·22h
📜Digital Philology