๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

How to handle `datetime-local` inputs in Phoenix with Ash
tommasoamici.comยท1d
โœ…Format Verification
Updates: Setup Manager and utiluti
scriptingosx.comยท13h
๐Ÿ“ฆPackage Managers
A Conversation with Val Bercovici about Disaggregated Prefill / Decode
fabricatedknowledge.comยท1d
๐Ÿ“ผTape Combinators
Rethinking Risk in the Age of AI
hackerone.comยท17h
๐ŸŽฏThreat Hunting
Case study of over-engineered C++ code
blog.kowalczyk.infoยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”งKAITAI
Citrix NetScaler Memory Disclosure (CitrixBleed 2 CVE-2025-5777)
labs.watchtowr.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Hacking
You Should Run a Certificate Transparency Log
words.filippo.ioยท1dยท
Discuss: Lobsters, Hacker News
๐ŸŒณArchive Merkle Trees
A Corrective Frequency-Constrained Unit Commitment with Data-driven Estimation of Optimal UFLS in Island Power Systems
arxiv.orgยท1d
๐Ÿ’งLiquid Types
Don't miss events near you: Automated Tech Events Data Collection with Runner H
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ฐFeed Readers
Think Like a Coder: Loops in Python Explained
dev.toยท1hยท
Discuss: DEV
๐Ÿ”—Lisp
Biaxialformer: Leveraging Channel Independence and Inter-Channel Correlations in EEG Signal Decoding for Predicting Neurological Outcomes
arxiv.orgยท1d
โœจEffect Handlers
Discontinuity-aware Normal Integration for Generic Central Camera Models
arxiv.orgยท4h
๐Ÿ“Projective Geometry
Activation Steering for Chain-of-Thought Compression
arxiv.orgยท1d
โง—Information Bottleneck
Enhancing Scientific Visual Question Answering through Multimodal Reasoning and Ensemble Modeling
arxiv.orgยท4h
๐Ÿ›Digital humanities
EdgeCodec: Onboard Lightweight High Fidelity Neural Compressor with Residual Vector Quantization
arxiv.orgยท4h
๐Ÿ“ŠQuantization
Build Your First Text Analytics App with Azure AI in Under 30 Minutes
dev.toยท3dยท
Discuss: DEV
๐Ÿ“„Text Mining
Bridging Perception and Language: A Systematic Benchmark for LVLMs' Understanding of Amodal Completion Reports
arxiv.orgยท4h
๐Ÿ“ŠLearned Metrics
Beyond Retrieval: Ensembling Cross-Encoders and GPT Rerankers with LLMs for Biomedical QA
arxiv.orgยท4h
๐Ÿ”Information Retrieval
Talking to UIs: A Humble Exploration
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŸCLI Design
Finetuning CLIP to Reason about Pairwise Differences
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap