๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Linear Logic

Resource Awareness, Session Types, Proof Nets, Substructural Logic

Assisted-living facility where fire killed 10 temporarily lost certification for mistreatment
the-independent.comยท9h
๐Ÿ›ก๏ธPreservation Logic
[$] A proxy-execution baby step
lwn.netยท15h
๐Ÿ”eBPF
Improve QML Quality with Seamless Linter for Gen AI - Qt AI Assistant v0.9.4 Released
qt.ioยท21h
๐ŸŽ™๏ธWhisper
Playing with more user-friendly methods for multi-factor authentication
tesseral.comยท1dยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology
Pair Programming With ChatGPT: An Experience Report
brainbaking.comยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Fast-Tracking ASIC Design with FPGA Prototyping
hackster.ioยท3h
๐Ÿ”FPGA Verification
Unlocking Facial Recognition with Azure AI: A Step-by-Step Developer Guide
dev.toยท7hยท
Discuss: DEV
๐ŸŽฌWebCodecs API
What is Python Any Type
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏGradual Typing
Beginner HomeLab for Programming and testing phase/VM
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ HomeLab
Representations in vision and language converge in a shared, multidimensional space of perceived similarities
arxiv.orgยท1h
๐Ÿ“ŠLearned Metrics
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.orgยท5d
๐ŸงฎAlgebraic Archives
Adaptive XAI in High Stakes Environments: Modeling Swift Trust with Multimodal Feedback in Human AI Teams
arxiv.orgยท1h
๐Ÿง Intelligence Compression
DEM-NeRF: A Neuro-Symbolic Method for Scientific Discovery through Physics-Informed Simulation
arxiv.orgยท1h
๐Ÿ•ธ๏ธTensor Networks
Retail Router: Building Beyond Boundaries
dev.toยท2dยท
Discuss: DEV
๐Ÿ–ฅ๏ธModern Terminals
SAMITE: Position Prompted SAM2 with Calibrated Memory for Visual Object Tracking
arxiv.orgยท1h
๐Ÿท๏ธMemory Tagging
Hypergraph Neural Networks Reveal Spatial Domains from Single-cell Transcriptomics Data
arxiv.orgยท1d
๐ŸŒ€Hyperbolic Geometry
AI for Coding: Why Most Developers Are Getting It Wrong
ksred.comยท1dยท
Discuss: Hacker News
โšกEffectful Programming
Perspective from a Higher Dimension: Can 3D Geometric Priors Help Visual Floorplan Localization?
arxiv.orgยท2d
๐Ÿ“Projective Geometry
๐ŸŽจ Clean code setup that boosts focus:
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Provable In-Context Learning of Nonlinear Regression with Transformers
arxiv.orgยท1d
๐Ÿง Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap