The Rosetta Code of Being โ€“ When Philosophy Compiles Itself
ontocode.orgยท17hยท
Discuss: Hacker News
๐Ÿ’ฌPhilosophy of Language
Flag this post
Friday 5 December 2025 - 11am
informatics.ed.ac.ukยท1h
๐ŸงฎInformation theory
Flag this post
How much disorder is there in a descending run?
morwenn.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ“กInformation Theory
Flag this post
Teaching My Team How to Build LINQ from Scratch
dev.toยท20hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท1d
๐Ÿค–AI
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.orgยท1d
๐ŸŽฒBayesian Cognition
Flag this post
Day 2 of building Secrin
dev.toยท8hยท
Discuss: DEV
๐Ÿ“NLP
Flag this post
Can-t stop till you get enough
cant.bearblog.devยท2dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸŽMacos
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.orgยท6h
๐Ÿ’ฌPhilosophy of Language
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“NLP
Flag this post
Scala vs. F#
alexn.orgยท2dยท
Discuss: Hacker News
๐Ÿ’ฌPhilosophy of Language
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.toยท1dยท
Discuss: DEV
๐Ÿ“NLP
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.comยท12hยท
Discuss: DEV
๐Ÿ”งWorkflow Automation
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.orgยท1d
๐Ÿ”งWorkflow Automation
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.toยท3hยท
Discuss: DEV
๐Ÿ“NLP
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.comยท16h
๐Ÿ”งWorkflow Automation
Flag this post
Advancing Cognitive Science with LLMs
arxiv.orgยท1d
๐Ÿ’กCognitive Science
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.orgยท1d
๐Ÿ“NLP
Flag this post