Personal blogs are back
perrotta.devยท1h
๐ฑPersonal Wikis
Flag this post
Raycast for Windows
๐ชAwesome windows command-line
Flag this post
SoX_ng
๐Open Source Software
Flag this post
Show HN: Annotation to document and runtime validate Pandas and Polars dataframe
โ
Format Verification
Flag this post
Introducing Strands Agent SOPs โ Natural Language Workflows for AI Agents
โกProof Automation
Flag this post
Liballocs: Meta-level run-time services for Unix processes a.k.a. dragging U
๐ฉSystems Programming
Flag this post
CausalMamba: Interpretable State Space Modeling for Temporal Rumor Causality
arxiv.orgยท2d
๐ง Machine Learning
Flag this post
ChangeDINO: DINOv3-Driven Building Change Detection in Optical Remote Sensing Imagery
arxiv.orgยท2d
โทBidirectional Programming
Flag this post
SeSE: A Structural Information-Guided Uncertainty Quantification Framework for Hallucination Detection in LLMs
arxiv.orgยท2d
๐งฎKolmogorov Bounds
Flag this post
Angular Graph Fractional Fourier Transform: Theory and Application
arxiv.orgยท2d
๐Spectral Graph Theory
Flag this post
CroPS: Improving Dense Retrieval with Cross-Perspective Positive Samples in Short-Video Search
arxiv.orgยท3d
๐๏ธVector Search
Flag this post
Generating Natural-Language Surgical Feedback: From Structured Representation to Domain-Grounded Evaluation
arxiv.orgยท3d
๐คGrammar Induction
Flag this post
The Sacrilegious Coder
๐ฏGradual Typing
Flag this post
Medal S: Spatio-Textual Prompt Model for Medical Segmentation
arxiv.orgยท5d
๐Semantic Chunking
Flag this post
Loading...Loading more...