🐿️ 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

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
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
Why the Launch of Dreamspace Could Redefine Who Gets to Build in the AI Economy
hackernoon.com¡22h
🏠Homelab Federation
Kinetic Isotope Effects in Enzyme-Catalyzed Michaelis-Menten Reactions: A Multi-Scale Modeling Approach
dev.to¡16h¡
Discuss: DEV
🧮Algorithmic Cooking
miRKatAI: An Integrated Database and Multi-agent AI system for microRNA Research
arxiv.org¡2d
🗂️Vector Databases
How Attention made the AI leap possible!
dev.to¡1d¡
Discuss: DEV
🎧Learned Audio
G-UBS: Towards Robust Understanding of Implicit Feedback via Group-Aware User Behavior Simulation
arxiv.org¡4d
🎛️Feed Filtering
Securing the supply chain at scale: Starting with 71 important open source projects
github.blog¡4d¡
Discuss: Hacker News
🔓Open Source Software
The Hype and the Hangover: Unpacking the Underwhelming Debut of GPT-5
dev.to¡7h¡
Discuss: DEV
⚙️Proof Engineering
I was kinda wrong about GPT-5
dev.to¡7h¡
Discuss: DEV
🖥️Terminal Renaissance
Neural Tangent Knowledge Distillation for Optical Convolutional Networks
arxiv.org¡2d
🧠Neural Codecs
Loading...Loading more...
AboutBlogChangelogRoadmap