๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿค Unification Algorithms

Type Inference, Pattern Matching, Logic Programming, Term Unification

Post-Quantum Cryptography in Kubernetes
kubernetes.ioยท17h
๐Ÿ”Quantum Security
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.ilยท2dยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Hiding messages in a deck playing cards
asherfalcon.comยท2hยท
Discuss: Hacker News
๐Ÿฆ Parasitic Storage
The Future of AI Agent Communication with ACP
towardsdatascience.comยท3d
๐Ÿ”ŒInterface Evolution
Show HN: Toy LLM Daydreaming
github.comยท21mยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
AI in the Classroom Promises Efficiencyโ€”But at What Cost to Learning?
hackernoon.comยท12h
๐ŸŒCultural Algorithms
Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
arxiv.orgยท1d
โšกIncremental Computation
Sandboxing AI - Extending AI Responsibly
dev.toยท3dยท
Discuss: DEV
๐Ÿ”’WASM Capabilities
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.orgยท2d
๐Ÿ’พBinary Linguistics
IDS with Machine Learning: Simulating Cyberattacks (โš”๏ธ Simulating Attacks. Strengthening Defenses)
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏThreat Hunting
AI-Powered Quiz Generator - SyllabusQuiz
dev.toยท12hยท
Discuss: DEV
โšกProof Automation
From Goliath Idea to Reality with Bolt
dev.toยท4hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.orgยท13h
๐ŸŽงLearned Audio
An Empirical Study of Multi-Agent RAG for Real-World University Admissions Counseling
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.orgยท13h
๐Ÿ“ฐRSS Archaeology
Intra-view and Inter-view Correlation Guided Multi-view Novel Class Discovery
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
S2SRec2: Set-to-Set Recommendation for Basket Completion with Recipe
arxiv.orgยท3d
๐ŸงญContent Discovery
[P] Cogency โ€“ ReAct agents in 3 lines, out of the box (Python OSS)
reddit.comยท19hยท
Discuss: r/MachineLearning
๐ŸŒ€Brotli Internals
MapIQ: Benchmarking Multimodal Large Language Models for Map Question Answering
arxiv.orgยท1d
๐Ÿš€SIMD Text Processing
Thesys React SDK: Turn LLM Responses into real time User Interfaces
dev.toยท1dยท
Discuss: DEV
๐ŸงฉWASM Components
Loading...Loading more...
AboutBlogChangelogRoadmap