🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

CFP: Ethical AI in GLAM: Challenges and Opportunities for Digital Stewardship
archivespublishing.com·13h
🏛Digital humanities
Audit the Deployment, Not Just the Code
blog.verichains.io·18h
🎫Kerberos Attacks
Philosophers and Embedded Ethics (guest post)
dailynous.com·16h
⚖️Archive Ethics
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·2d·
Discuss: www.blogger.com
⚔️Lean Theorem
GCVE with Cédric Bonhomme and Alexandre Dulaunoy
opensourcesecurity.io·2d
🔓Open Source Software
Speed up unit tests with paralllel GitHub Actions
ohdear.app·8h·
Discuss: Hacker News
🏠Homelab Pentesting
Rapid PCB Prototyping with KiCad and a CNC Router
peterprototypes.com·18h·
Discuss: Hacker News
⚙️DIY Electronics
OpenAI Transparency Letter
openai-transparency.org·1d·
Discuss: Hacker News
🔓Open Source Software
AI-Driven Observability: Fast, Context-Rich MCP Servers
devops.com·1d
👁️System Observability
Help me understand what this guy means by LLMs and language?
arstechnica.com·14h·
Discuss: Hacker News
🌳Context free grammars
Factoring RSA100
johndcook.com·1d
🔧Reed-Solomon
Make ’em Liable!
hackernoon.com·1d
🔓Hacking
Fly.io Distributed Systems Challenge solutions (again I guess)
reddit.com·1d·
Discuss: r/golang
🏛️Byzantine Archives
Assessing the Reliability and Validity of Large Language Models for Automated Assessment of Student Essays in Higher Education
arxiv.org·1d
🔍Information Retrieval
LLMs Can Covertly Sandbag on Capability Evaluations Against Chain-of-Thought Monitoring
arxiv.org·1d
🔒WASM Capabilities
FairFedMed: Benchmarking Group Fairness in Federated Medical Imaging with FairLoRA
arxiv.org·1d
📸PNG Optimization
Path-LLM: A Shortest-Path-based LLM Learning for Unified Graph Representation
arxiv.org·1d
🕸️Graph Embeddings
Gearshift Fellowship: A Next-Generation Neurocomputational Game Platform to Model and Train Human-AI Adaptability
arxiv.org·1d
🔲Cellular Automata
Context Guided Transformer Entropy Modeling for Video Compression
arxiv.org·1d
🧠Learned Codecs
LLMs are the End of Serverless
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap