Personal blogs are back
perrotta.devยท1h
๐ŸŒฑPersonal Wikis
Flag this post
Raycast for Windows
raycast.comยท2hยท
๐ŸชŸAwesome windows command-line
Flag this post
Listening to a Book Counts as Reading
nytimes.comยท13hยท
Discuss: Hacker News
๐Ÿ“„Document Phonetics
Flag this post
SoX_ng
codeberg.orgยท12hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Flag this post
Developing an AI Strategy for Documentation
thisisimportant.netยท2dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Show HN: Annotation to document and runtime validate Pandas and Polars dataframe
github.comยท4hยท
Discuss: Hacker News
โœ…Format Verification
Flag this post
Introducing Strands Agent SOPs โ€“ Natural Language Workflows for AI Agents
aws.amazon.comยท2dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Liballocs: Meta-level run-time services for Unix processes a.k.a. dragging U
github.comยท5hยท
๐Ÿ”ฉSystems Programming
Flag this post
[P] Interactive Advanced Llama Logit Lens
reddit.comยท17hยท
๐ŸŒณContext free grammars
Flag this post
Tool42: AI assisted Rust development tooling
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.comยท2dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
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
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
Tips for Writing Compelling Introductions and Conclusions
dev.toยท6hยท
Discuss: DEV
๐Ÿ“šProof Pedagogy
Flag this post
The Sacrilegious Coder
dev.toยท20hยท
Discuss: DEV
๐ŸŽฏGradual Typing
Flag this post
Medal S: Spatio-Textual Prompt Model for Medical Segmentation
arxiv.orgยท5d
๐Ÿ“„Semantic Chunking
Flag this post