California Board of Education Approves Takeoff by IXL, California Edition
prnewswire.com·5h
🔢Mathematical Logic
Flag this post
First Public Working Draft: Web of Things (WoT) Thing Description 2.0
w3.org·2d
🤝Protocol Design
Flag this post
Inquiries-Week 5: Triangles Emerge
fractalkitty.com·19h
🕸️Graph Theory
Flag this post
The Path to a Superhuman AI Mathematician
cacm.acm.org·9h
🧩Theorem Proving
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
🦀Rust
Flag this post
Is A.I. Amazing or Are We Simple?
newyorker.com·4h
🧫Cellular Automata
Flag this post
<p>**요약:** 본 연구는 완전 자율주행 시스템의 핵심 과제인 Level 5 수준의 자율주행 가능 달성을 위해, 도심 협곡(Urban Canyon) 환경에서 GPS 신호의 취약점을 극복하고 LiDAR-SLAM (Simultaneous Localization and Mapping) 기...
freederia.com·4h
🕸️Graph Theory
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙Functional Programming
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
🧩Theorem Proving
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
🤝Protocol Design
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Do Androids Dream of Unseen Puppeteers? Probing for a Conspiracy Mindset in Large Language Models
arxiv.org·22h
🎲Probabilistic Programming
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1d
🔗Parser Combinators
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·1d
⚖️Logic Programming
Flag this post
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·1d
🧭SMT Solvers
Flag this post
Loading...Loading more...