🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔄 Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

Show HN: XR2000: A science fiction programming challenge
clearsky.dev·17h·
Discuss: Hacker News
🦀Rust Borrowing
LLM Context Rot
valinsky.dev·12h·
Discuss: Hacker News
🌳Context free grammars
Programming languages and dimensions of units of measure
cl.cam.ac.uk·2d·
Discuss: Hacker News
💻Programming languages
SAEMark: Multi-bit LLM Watermarking with Inference-Time Scaling
arxiv.org·20h
⚙️Compression Benchmarking
Automated Vulnerability Prioritization via Knowledge Graph Reasoning & Reinforcement Learning
dev.to·23h·
Discuss: DEV
🎯Threat Hunting
Towards Experience-Centered AI: A Framework for Integrating Lived Experience in Design and Development
arxiv.org·20h
🌍Cultural Algorithms
Programming a Language
nrinaudo.github.io·1d·
Discuss: Hacker News
🔗Concatenative Programming
Selective Contrastive Learning for Weakly Supervised Affordance Grounding
arxiv.org·20h
📊Learned Metrics
FOBNN: Fast Oblivious Inference via Binarized Neural Networks
arxiv.org·20h
🔢Binary Embeddings
Why we open sourced our MCP server, and what it means for you
github.blog·10h
🔓Open Source Software
I Built a "GPT" in My Browser in One Evening. The Journey from Amnesia to Stable Learning with Pure JS.
dev.to·8h·
Discuss: DEV
⚡Proof Automation
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·18h·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Multi-Hop Privacy Propagation for Differentially Private Federated Learning in Social Networks
arxiv.org·20h
🤐Secure Multiparty
Can LLMs Detect Their Confabulations? Estimating Reliability in Uncertainty-Aware Language Models
arxiv.org·20h
💻Programming languages
Dynamic Holographic Rendering Adaptation via Multi-Modal Data Fusion and Generative Adversarial Networks
dev.to·15h·
Discuss: DEV
🌈Color Science
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·1d
🎯Interactive Provers
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.org·20h
🧠Intelligence Compression
Dual Information Speech Language Models for Emotional Conversations
arxiv.org·20h
🧠Intelligence Compression
Recent cross-research on LLM and RL on ArXiv
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
An Introduction to Python-Rust Interop for Scientific Codebases
github.com·2h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap