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

Advancing Digital Rights in Sudan and Somalia through Wikimedia Projects
diff.wikimedia.org·1d
🌍Cultural Computing
Jardine-Fest at University of Western Ontario, June 8-12, 2026
appliedtopology.org·3d
🕸️Algebraic Topology
Lifespan.io: Cyclarity Launches Human Trial to Cure Atherosclerosis
bakarlabs.berkeley.edu·12h·
Discuss: Hacker News
🔗Data Provenance
GenAI sustainability: a review of the 2025 numbers
blog.scottlogic.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Choosing a Database Schema for Polymorphic Data (2024)
dolthub.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
Fine-tuning NeoBERT for a multi-class text classification with a dataset created by LLM
eamag.me·3d·
Discuss: Hacker News
🤖Grammar Induction
Generating prototypes from game design document with Cursor, Zed and LÖVE
blog.luden.io·1d·
Discuss: Hacker News
🎮Game Decompilation
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·3d·
Discuss: Hacker News
🌐WASI
Google Chrome to Distrust Chunghwa & Netlock Certificates: How Qualys Certificate View Helps You Respond
blog.qualys.com·1d
🔐Certificate Analysis
Hugging Face’s Reachy Mini is an open-source AI robot for your computer or Raspberry Pi 5
cnx-software.com·2h
🔓Open Source Software
Launch HN: Leaping (YC W25) – Self-Improving Voice AI
news.ycombinator.com·16h·
Discuss: Hacker News
🎙️Whisper
Announcing New Bleed, Trim, and Art Box Controls in pdfAssistant’s PDF/X Add-On for Adobe Express
pdfa.org·20h
📄PostScript
https:// daniel.haxx.se/blog/2025/07/08 /keeping-tabs-on-curls-memory-use/
daniel.haxx.se·3d·
Discuss: Hacker News
🦀Rust Borrowing
Microsoft’s Revolutionary Diagnostic Medical AI, Explained
towardsdatascience.com·2d
⚡Proof Automation
Take Foxit's New PDF APIs for a Spin
dev.to·1d·
Discuss: DEV
📄PostScript
GLOSS: Group of LLMs for Open-Ended Sensemaking of Passive Sensing Data for Health and Wellbeing
arxiv.org·2d
🏛Digital humanities
🚀Building with Bolt: How I Created Smile2Earn
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Improving Trust in AI Systems
dev.to·3d·
Discuss: DEV
📰Content Curation
What Shapes User Trust in ChatGPT? A Mixed-Methods Study of User Attributes, Trust Dimensions, Task Context, and Societal Perceptions among University Students
arxiv.org·3d
🏛Digital humanities
CPKD: Clinical Prior Knowledge-Constrained Diffusion Models for Surgical Phase Recognition in Endoscopic Submucosal Dissection
arxiv.org·3d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap