🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏹 Effect Systems

Algebraic Effects, Effect Handlers, Computational Effects, Pure Functions

Detect NBA 3 Second Violations with AI
blog.roboflow.com·3d·
Discuss: Hacker News
🎮Verification Games
AAAI Launches AI-Powered Peer Review Assessment System
aaai.org·3h·
Discuss: Hacker News
✓Automated Theorem Proving
"The Launch Party Incident" – Fictional Marketing
dentalcandy.net·7h·
Discuss: Hacker News
🍎Apple
Foreword for Fuzz Testing Book
pages.cs.wisc.edu·3d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Show HN: My GPU Fan Saga – A DIY ATX Fan Controller
shafq.at·3d·
Discuss: Hacker News
👁️System Observability
Al could be hiding its thoughts: Tech giants warn of 'Chain of Thought'
economictimes.indiatimes.com·2d·
Discuss: Hacker News
🔍Formal Verification
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·4d
💻CS
PALM: PAnoramic Learning Map Integrating Learning Analytics and Curriculum Map for Scalable Insights Across Courses
arxiv.org·21h
📦Unikernel Systems
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
IM-Chat: A Multi-agent LLM-based Framework for Knowledge Transfer in Injection Molding Industry
arxiv.org·3d
🤖Program Synthesis
Human teens beat AI at an international math competition
popsci.com·3d·
Discuss: Hacker News
🎮Verification Games
The Judge Variable: Challenging Judge-Agnostic Legal Judgment Prediction
arxiv.org·4d
✓Automated Theorem Proving
DIVER-0 : A Fully Channel Equivariant EEG Foundation Model
arxiv.org·3d
💻CS
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.org·3d
💻CS
AlphaAlign: Incentivizing Safety Alignment with Extremely Simplified Reinforcement Learning
arxiv.org·3d
🎮Verification Games
Aligned Manifold Property and Topology Point Clouds for Learning Molecular Properties
arxiv.org·2d
🐫OCaml
ERMV: Editing 4D Robotic Multi-view images to enhance embodied agents
arxiv.org·1d
🐫Embedded OCaml
BIDWESH: A Bangla Regional Based Hate Speech Detection Dataset
arxiv.org·2d
➡️Category Theory
The LACT Stack: Lighttpd, Awk, CGI, and Text Files
github.com·4h·
Discuss: Hacker News
⚙️PL Implementation
Are Foundation Models All You Need for Zero-shot Face Presentation Attack Detection?
arxiv.org·2d
🐫Embedded OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap