Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·7h
🦀Rust Macros
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·19h·
Discuss: Hacker News
💻Programming languages
How I Created a Voice AI Tutor with GPT-4 to Accelerate My Learning
hackernoon.com·3h
🎙️Whisper
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·18h·
Discuss: DEV
⚡Proof Automation
When AI Doesn’t Understand You: A New Form of Global Inequality
undark.org·4h
🌍Cultural Algorithms
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·7h
💻Local LLMs
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🧮Theorem Proving
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·7h
📝Concrete Syntax
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·1d·
Discuss: Hacker News
📝ABNF Parsing
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·1d
📏Linear Logic
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·7h
🤖Automated Parsing
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·1d
✨Effect Handlers
Redprints CFP: an open source CFP management app built with Rails + Inertia.js
evilmartians.com·1d·
Discuss: Hacker News
⭐Awesome lists
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·1d
🎯Dependent Parsing
Eliciting and Analyzing Emergent Misalignment in State-of-the-Art Large Language Models
arxiv.org·7h
🤖Grammar Induction
libsemigroups: C++ library for semigroups and monoids
github.com·2d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·19h·
Discuss: Hacker News
⚡Proof Automation