Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📊type
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·21h
📊type
Anonymous Functions in Python
valuetown.bearblog.dev·22m
📊type
AI Safety Through Operational Physics: Why Resource Constraints Beat Value Alignment
lesswrong.com·5h
🏗️Enterprise Software Architecture
Speaking in "LLM Idioms"
blog.promptlayer.com·1d·
Discuss: Hacker News
📊type
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
📥Embeddings
Show HN: Virtual Ontologies with Claude Code
medium.com·18m·
Discuss: Hacker News
📊type
Relative Completeness of Incorrectness Separation Logic
arxiv.org·21h
🏗️Enterprise Software Architecture
How the Lean language brings math to coding and coding to math
amazon.science·7h·
Discuss: Hacker News
🏗️Enterprise Software Architecture
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·5h·
Discuss: Hacker News
📥Embeddings
Why Computer Science Is No Good, Redux
cacm.acm.org·8h
📊type
Level 2: The Art of Transformation – Type Conversion & Operations in JavaScript 🔄➕
dev.to·3h·
Discuss: DEV
📊type
Who Am I in the Eye of AI?
lightcapai.medium.com·1d·
Discuss: Hacker News
📥Embeddings
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·7h·
Discuss: Hacker News
📥Embeddings
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·2h·
Discuss: Hacker News
📊type
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·21h
🖨️3d printing
Qwen3 Uses 40% Fewer Tokens When Reasoning in Chinese vs English
reddit.com·3h·
Discuss: r/LocalLLaMA
📊type
libsemigroups: C++ library for semigroups and monoids
github.com·19h·
Discuss: r/cpp
📥Embeddings
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
📥Embeddings
How LLMs See the World
blog.bytebytego.com·1d
📥Embeddings