๐Ÿฟ๏ธ 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

Darcula and the Magic Cat: How Osint Unmasked a Phishing Tycoon
osint.industriesยท2dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Preparing for the Post-Quantum Era: Best Practices for Federal Agencies
medium.comยท3d
๐Ÿ”Quantum Security
Using Socratic Dialog with AI for Better Technical Decisions
matthewsinclair.comยท3dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
How Confident Are You, ChatGPT?
aylinakkus.github.ioยท6dยท
Discuss: Hacker News
โšกProof Automation
Why financial services choose single-tenant SaaS
about.gitlab.comยท1d
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
OASIS INTERNSHIP
dev.toยท1dยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Local AI Data Tool: No Coding, Privacy, Big Data Friendly
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Quantum Inspired Legal Tech Environmental Integration for Emergency Pharmaceutical Logistics with Entropy Modulated Collapse and Multilevel Governance
arxiv.orgยท2d
๐Ÿ”Quantum Security
Micro-Health Interventions: Exploring Design Strategies for 1-Minute Interventions as a Gateway to Healthy Habits
arxiv.orgยท1d
โœ‹Tactile Computing
Reading Code Effectively: An Overlooked Developer Skill โ€ข Marit van Dijk & Hannes Lowette
youtube.comยท3d
๐Ÿ“Code Metrics
Detection of Odor Presence via Deep Neural Networks
arxiv.orgยท1d
๐Ÿง Machine Learning
Empowering students with disabilities: University Startupsโ€™ generative AI solution for personalized student pathways
aws.amazon.comยท1d
๐Ÿ—บ๏ธCompetency Maps
Concerning the Responsible Use of AI in the U.S. Criminal Justice System
cacm.acm.orgยท2dยท
Discuss: Hacker News
๐Ÿ”Vector Forensics
miRKatAI: An Integrated Database and Multi-agent AI system for microRNA Research
arxiv.orgยท2d
๐Ÿ—‚๏ธVector Databases
The Hype and the Hangover: Unpacking the Underwhelming Debut of GPT-5
dev.toยท9hยท
Discuss: DEV
โš™๏ธProof Engineering
Neural Tangent Knowledge Distillation for Optical Convolutional Networks
arxiv.orgยท2d
๐Ÿง Neural Codecs
CATP: Contextually Adaptive Token Pruning for Efficient and Enhanced Multimodal In-Context Learning
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
Ethics2vec: aligning automatic agents and human preferences
arxiv.orgยท3d
๐Ÿค–AI Curation
What Makes "Good" Distractors for Object Hallucination Evaluation in Large Vision-Language Models?
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
CROP: Integrating Topological and Spatial Structures via Cross-View Prefixes for Molecular LLMs
arxiv.orgยท3d
๐Ÿค–Paleographic ML
Loading...Loading more...
AboutBlogChangelogRoadmap