Cactus Language • Pragmatics 3
inquiryintoinquiry.com·9h
🔲Proof Irrelevance
Revisiting LLM Reasoning via Information Bottleneck
arxiv.org·2d
📏Linear Logic
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·1h·
Discuss: Hacker News
🔗Lisp
Ohm: A JavaScript library and PEG-based language for building parsers
github.com·1d·
Discuss: Hacker News
📝ABNF Parsing
"Not created by man"
languagelog.ldc.upenn.edu·1d
🌳Context free grammars
Python Fundamentals: command line arguments
dev.to·9h·
Discuss: DEV
🐚Shell Calculus
Analysing FIT data with Perl: interactive data analysis
perl.com·9h
📰SGML
Building cmarkprocess
rsdoiel.github.io·1d
✅Format Verification
Use LLamaIndex Workflow to Create an Ink Painting Style Image Generation Workflow
dev.to·18h·
Discuss: DEV
📜Manuscript Workflows
Reverse-Engineering Claude Code CLI Using Claude Sub Agents
sabrina.dev·1h·
Discuss: Hacker News
⚡Proof Automation
(Weak) Factorization Systems
bartoszmilewski.com·1d·
Discuss: Hacker News
🔀Category Theory
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·9h·
Discuss: Lobsters, Hacker News
📚MARC Archaeology
Finding entities with given uuids in the current project
mbork.pl·1d
🗄️Database Internals
Why Context-Aware AI Is Quickly Replacing Code-Only Tools
thenewstack.io·5h
⚡SMT Integration
Pair Programming With ChatGPT: An Experience Report
brainbaking.com·1d·
Discuss: Hacker News
🦀Rust Macros
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·2d
🧮Algebraic Datatypes
Systematic AI Development: A Demo Project Breakdown
dev.to·2d·
Discuss: DEV
⚡Proof Automation
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.com·3d·
Discuss: Hacker News
💻Local LLMs
LangGraph & LangChain: Building Agentic AI
dev.to·4h·
Discuss: DEV
⚡Proof Automation