I Taught an AI to Dream
blog.minibase.aiยท8hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.comยท1dยท
Discuss: Hacker News
๐Ÿ‘๏ธObservability
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.comยท2dยท
Discuss: Hacker News
๐Ÿ”CBMC
Flag this post
Weekly AI Startup Funding: October 26 - November 1, 2025
hackernoon.comยท3h
๐ŸŒActivityPub
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.orgยท20h
โ“Existential Types
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.orgยท20h
๐Ÿ“Hoare Logic
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.orgยท20h
๐Ÿ“šAutomata Learning
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.orgยท20h
๐Ÿ”CBMC
Flag this post
For Synthetic Situations
lesswrong.comยท1d
๐ŸŽฎVerification Games
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.orgยท1d
๐Ÿ”„Finite State Machines
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.orgยท20h
โ“Existential Types
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.toยท5hยท
Discuss: DEV
๐ŸŽฎVerification Games
Flag this post
I Use AI
ben.stolovitz.comยท11hยท
Discuss: Hacker News
๐Ÿ”คLanguage Design
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.orgยท20h
๐Ÿ”Formal Verification
Flag this post
Multi-refined Feature Enhanced Sentiment Analysis Using Contextual Instruction
arxiv.orgยท20h
๐ŸงฉParser Combinators
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.orgยท20h
๐ŸงฉParser Combinators
Flag this post
A Machine Learning-Based Framework to Shorten the Questionnaire for Assessing Autism Intervention
arxiv.orgยท1d
๐Ÿ”Type Inference
Flag this post
Trust in the Machine: Building Reputable Service Networks for AI Agents
dev.toยท1dยท
Discuss: DEV
๐ŸฉนSelf-Healing Systems
Flag this post