Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·11h
🦀Rust Macros
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·23h·
Discuss: Hacker News
💻Programming languages
Neurosymbolic AI: Why, What, and How
muratbuffalo.blogspot.com·1h·
Discuss: www.blogger.com
🧠Intelligence Compression
Spritely Goblins v0.16.0 released!
spritely.institute·4h
🔒Linear Types
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·11h
💻Local LLMs
🔁 Elegant Iterator Chains in Go — Finally Here
dev.to·10h·
Discuss: DEV
⬆️Lambda Lifting
PHP compile time generics: yay or nay?
thephp.foundation·3h·
Discuss: Hacker News
🔗Dependently Typed
Eliciting and Analyzing Emergent Misalignment in State-of-the-Art Large Language Models
arxiv.org·11h
🤖Grammar Induction
original ↗
wingolog.org·15h
🔩Systems Programming
Show HN: VectorOps Know
vectorops.dev·1h·
Discuss: Hacker News
🌳Incremental Parsing
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🧮Theorem Proving
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·11h
📝Concrete Syntax
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·1h·
Discuss: Substack
⚔️Lean Tactics
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·1d
📊Static Analysis
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·1d
📏Linear Logic
The Ultimate List of 50 LLMs Interview Question
dev.to·1d·
Discuss: DEV
💻Local LLMs
Intent Aware Context Retrieval for Multi-Turn Agricultural Question Answering
arxiv.org·11h
🔍Information Retrieval
Can Large Multimodal Models Actively Recognize Faulty Inputs? A Systematic Evaluation Framework of Their Input Scrutiny Ability
arxiv.org·11h
🔍Z3 Parsing
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity