🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

A CEO’s summer guide to protecting profits
economist.com·5h
💰Archive Economics
Wharton Generative AI Labs Prompt Library | All Prompts
hd3ns092ns.notion.site·2d
🤖Grammar Induction
Scientists develop novel recording tool to monitor protein kinase activities in living cells
phys.org·1h
🧲Magnetic Resonance
Real-time simulation makes understanding nonlinear quantum dynamics much easier
phys.org·3h
⚛️Quantum Tape
Show HN: Credit Card Generator for Devs and Testers
news.ycombinator.com·1h·
Discuss: Hacker News
🔐CBOR
Minigalaxy - A simple GOG client for Linux
github.com·5h·
Discuss: r/linux
🔓Open Source Software
AI-assisted software development
senkorasic.com·3d·
Discuss: Hacker News
🔄Language Evolution
NourID+: A Digital Energy Identity Framework for Efficient Subsidy Allocation in Morocco
arxiv.org·2d
🔧KAITAI
High-Availability Integrity Monitoring for Multi-Constellation GNSS Navigation with Non-Gaussian Errors
arxiv.org·2d
🛡️Error Boundaries
I Built a Blog Website in Minutes Using ChatGPT — Here's the Exact Workflow
dev.to·13h·
Discuss: DEV
📰RSS Feed Discovery
Scale generative AI use cases, Part 1: Multi-tenant hub and spoke architecture using AWS Transit Gateway
aws.amazon.com·1d
🖥️Self-hosted Infrastructure
QS4D: Quantization-aware training for efficient hardware deployment of structured state-space sequential models
arxiv.org·1d
📊Quantization
Disambiguation-Centric Finetuning Makes Enterprise Tool-Calling LLMs More Realistic and Less Risky
arxiv.org·2d·
Discuss: Hacker News
🎙️Whisper
A Systematization of Security Vulnerabilities in Computer Use Agents
arxiv.org·1d
🎯Threat Hunting
Latent Motion Profiling for Annotation-free Cardiac Phase Detection in Adult and Fetal Echocardiography Videos
arxiv.org·2d
🌀Fractal Compression
Can Video LLMs Refuse to Answer? Alignment for Answerability in Video Large Language Models
arxiv.org·2d
🎵Audio ML
Train an obedient AI! I made a free AI prompt optimizer!
dev.to·2d·
Discuss: DEV
🎙️Whisper
What can agents actually do?
lethain.com·4d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
PLACE: Prompt Learning for Attributed Community Search
arxiv.org·1d
🔍Information Retrieval
The Neural Approximated Virtual Element Method for Elasticity Problems
arxiv.org·1d
🌀Differential Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap