Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.instituteยท1d
๐ŸงฎAlgebraic Archives
Tech News 2025, week 42
diff.wikimedia.orgยท5h
๐Ÿ›Wikidata
SonicWall confirms all Cloud Backup Service users were compromised
scworld.comยท1dยท
Discuss: Hacker News
๐ŸบKerberos Archaeology
Two Kinds of "Relicensing"
writing.kemitchell.comยท4dยท
๐ŸŒณArchive Merkle Trees
I Have An Admittedly Ridiculous Idea To Save โ€˜Destiny 2โ€™
forbes.comยท1d
๐ŸบGaming Archaeology
GoMem is a high-performance memory allocator library for Go
github.comยท3d
๐Ÿง Memory Allocators
Hash Me If You Can โ€” How I Beat a 2-Second Hashing Challenge on RingZer0Team
infosecwriteups.comยท17h
๐ŸŒDNS Security
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.toยท2dยท
Discuss: DEV
๐ŸŒˆSpectroscopy
Progressive Uncertainty-Guided Evidential U-KAN for Trustworthy Medical Image Segmentation
arxiv.orgยท20h
๐ŸŒ€Riemannian Computing
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.toยท5dยท
Discuss: DEV
๐ŸŒŠStream Processing
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.orgยท3dยท
Discuss: r/LLM
๐Ÿ’ปLocal LLMs
AdapTive-LeArning Speculator System (ATLAS): Faster LLM inference
dev.toยท22hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
RO-Bench: Large-scale robustness evaluation of MLLMs with text-driven counterfactual videos
arxiv.orgยท20h
๐Ÿ“ŠLearned Metrics
Why Wikipedia cannot claim the Earth is not flat
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฐContent Curation
Onedev: Git Server with CI/CD, Kanban, and Packages. Seamless Integration
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆGit LFS
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
The Developerโ€™s Dilemma: Build Fast or Build Forever?
dev.toยท20hยท
Discuss: DEV
๐Ÿ“Code Metrics
Safety Analysis of eVTOL Operations based on STPA
arxiv.orgยท20h
๐Ÿ”Capability Systems
Autonomous Reef Mapping & Predictive Maintenance via Hydrodynamic Field Modeling
dev.toยท3dยท
Discuss: DEV
๐ŸŒŠStream Processing
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG