SpatialChat, Instructure's Canvas LMS, and HyFlex Learning
spatial.chat·18h·
Discuss: Hacker News
🍎Apple
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·1d·
Discuss: Hacker News
🤖Program Synthesis
Short-Term Gains, Long-Term Gaps: The Impact of GenAI and Search Technologies on Retention
arxiv.org·14h
💻CS
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·14h
💻CS
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🧪Property-Based Testing
The Bitter Lesson (2025)
artfintel.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·14h
🐫OCaml
Social Tinkering: Why Collaborative Curiosity Beats Vibe-Coding
cosmosinstitute.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·2h·
Discuss: r/programming
❄️Nixified Development
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Authorization in LLM Applications
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Being a psychologist to your (over)thinking LLM
specy.app·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The Next Wave
dumindu.github.io·23h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·14h
⚙️PL Implementation
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·14h
🔍Formal Verification