🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Show HN: Made Wheel of Names Without Registration
nameonwheel.com·4h·
Discuss: Hacker News
🎮Verification Games
Skintone Color Analysis AI Model and App
palettebymomo.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Creating a Colorscheme
robinroses.xyz·1d·
Discuss: Hacker News
🔬Unikernels
The War on Diversity
stevenpinker.com·11h·
Discuss: Hacker News
🎮Verification Games
You Are The Code - a programming puzzle game where bugs EAT your code
store.steampowered.com·1d·
Discuss: r/programming
🎮Verification Games
Python `apply()` vs. `apply_async()`: Which Should You Use?
thenewstack.io·17h
👁️System Observability
Show HN: Indiehacker Portfolio
adityamallah.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Notes from a product design vibe coding hackathon
intercom.com·1d·
Discuss: Hacker News
🍎Apple
Using AMD MI300X for High-Throughput, Low-Cost LLM Inference
herdora.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Contemplating Entity Component Architecture (2024)
datavirke.dk·5d·
Discuss: Hacker News
📦Unikernel Systems
Tracking Protestware Spread: 28 npm Packages Affected by Payload Targeting Russian-Language Users
socket.dev·1d·
Discuss: Hacker News
📦Unikernel Systems
More Artificial than Intelligent, and it is only getting worse
mlagerberg.com·1d·
Discuss: Hacker News, r/programming
🛡️seL4
A Multimodal Data Fusion Generative Adversarial Network for Real Time Underwater Sound Speed Field Construction
arxiv.org·6h
💻CS
Probabilistic Human Intent Prediction for Mobile Manipulation: An Evaluation with Human-Inspired Constraints
arxiv.org·2d
✓Automated Theorem Proving
A Feed-Forward Artificial Intelligence Pipeline for Sustainable Desalination under Climate Uncertainties: UAE Insights
arxiv.org·1d
✓Automated Theorem Proving
JSQA: Speech Quality Assessment with Perceptually-Inspired Contrastive Pretraining Based on JND Audio Pairs
arxiv.org·6h
🍎Apple
Dynamic Spiking Framework for Graph Neural Networks
arxiv.org·2d
➡️Category Theory
CoCo: A Coupled Contrastive Framework for Unsupervised Domain Adaptive Graph Classification
arxiv.org·2d
💻CS
BENYO-S2ST-Corpus-1: A Bilingual English-to-Yoruba Direct Speech-to-Speech Translation Corpus
arxiv.org·2d
🐫OCaml
Backscatter Device-aided Integrated Sensing and Communication: A Pareto Optimization Framework
arxiv.org·2d
📡Network Protocol Design
Loading...Loading more...
AboutBlogChangelogRoadmap