Visualizing Intersecting Sets
upset.appยท1dยท
Discuss: Hacker News
๐Ÿ”ขAlgebraic Data Types
Flag this post
Relay โ€“ Team Collaboration in Obsidian
relay.mdยท15hยท
Discuss: Hacker News
๐ŸŒActivityPub
Flag this post
Microsoft launches 'superintelligence' team targeting medical diagnosis to start
tech.yahoo.comยท2hยท
Discuss: Hacker News
๐ŸฉนSelf-Healing Systems
Flag this post
Async DNS with Mac OS Getaddrinfo_async_start and Rust Smol
fnordig.deยท1dยท
Discuss: Hacker News
๐Ÿ“ฆNamespaces
Flag this post
Pragma Unroll
sandordargo.comยท4dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
The Path to a Superhuman AI Mathematician
cacm.acm.orgยท3dยท
Discuss: Hacker News
๐Ÿง Automated Reasoning
Flag this post
How To Build WebAssembly Components With the MoonBit Language
thenewstack.ioยท1dยท
Discuss: Hacker News
๐Ÿ“ฆOPAM
Flag this post
Bumble Berry Pi โ€“ A Cheap DIY Raspberry Pi Handheld Cyberdeck
github.comยท12hยท
Discuss: Hacker News
๐Ÿ’ปQEMU
Flag this post
Show HN: Pipeflow-PHP โ€“ Automate anything with pipelines even non-devs can edit
github.comยท15hยท
Discuss: Hacker News
๐ŸณContainerization
Flag this post
Build a System to Learn and Remember Technical Topics as a Developer
spin.atomicobject.comยท2dยท
Discuss: Hacker News
๐Ÿ“ตDigital Minimalism
Flag this post
Coordination-Free Lane Partitioning for Convergent ANN Search
arxiv.orgยท2d
๐ŸงฎZ3 Solver
Flag this post
GMoPE:A Prompt-Expert Mixture Framework for Graph Foundation Models
arxiv.orgยท3d
๐Ÿ•ธ๏ธGraph Theory
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.orgยท5d
๐Ÿ”ฒCellular Automata
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same Appโ€ฆ
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post
AI & Tech Quarterly Roundup: Navigating Trends, Building Careers, Staying Credible (2025-11-08)
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Program Synthesis
Flag this post
RAGCap-Bench: Benchmarking Capabilities of LLMs in Agentic Retrieval AugmentedGeneration Systems
dev.toยท1dยท
Discuss: DEV
๐Ÿ“šAutomata Learning
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.orgยท4d
๐Ÿ“šAutomata Learning
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.orgยท4d
๐Ÿ”CBMC
Flag this post