🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ‘‘ Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

Reeves says welfare fallout β€˜damaging’ and declines to rule out tax hikes
the-independent.comΒ·7h
🏠Personal Archives
Thinking Fast and Slow in Human and Machine Intelligence
cacm.acm.orgΒ·2d
πŸ”²Cellular Automata
The pipe operator in PHP 8.5
stitcher.ioΒ·21hΒ·
Discuss: Hacker News
🐚Shell Calculus
What is GitOps: A Full Example with Code
lukasniessen.medium.comΒ·7hΒ·
Discuss: r/devops, r/programming
πŸ”„Reproducible Builds
Just Ask for Generalization
evjang.comΒ·1dΒ·
Discuss: Hacker News
🧠Machine Learning
Dialects for Humans: Sounding Distinct from LLMs
lesswrong.comΒ·2dΒ·
Discuss: Hacker News
πŸ“ΌCassette Linguistics
Judge Finds AI Training on Complete Books β€˜Reasonably Necessary’
hackernoon.comΒ·1d
βš–οΈEmulation Ethics
Closed-Loop Rhythmic Haptic Biofeedback via Smartwatch for Relaxation and Sleep Onset
arxiv.orgΒ·23h
βœ‹Tactile Computing
Mastering Folder Structure in Postman: A Beginner’s Guide
dev.toΒ·1dΒ·
Discuss: DEV
🌊BitTorrent
Neural Network-based Study for Rice Leaf Disease Recognition and Classification: A Comparative Analysis Between Feature-based Model and Direct Imaging Model
arxiv.orgΒ·23h
πŸ€–Advanced OCR
Critical Security Importance Digital Age Web Techniques(1751505540803000οΌ‰
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”’WASM Capabilities
Basic Configuration on DA14535 BLE for Peripheral role
hackster.ioΒ·1d
πŸ”HSM Integration
Ella: Embodied Social Agents with Lifelong Memory
arxiv.orgΒ·3d
πŸ”²Cellular Automata
Objective-Free Local Learning and Emergent Language Structure in Thinking Machines
arxiv.orgΒ·3d
πŸ’»Local LLMs
SciArena: An Open Evaluation Platform for Foundation Models in Scientific Literature Tasks
arxiv.orgΒ·2d
πŸ”Information Retrieval
Reconstructing Close Human Interaction with Appearance and Proxemics Reasoning
arxiv.orgΒ·23h
πŸ“ŠLearned Metrics
WebArXiv: Evaluating Multimodal Agents on Time-Invariant arXiv Tasks
arxiv.orgΒ·2d
πŸ’»Programming languages
A Metascience Study of the Low-Code Scientific Field
arxiv.orgΒ·2d
πŸ“Code Metrics
GLM-4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement Learning
arxiv.orgΒ·2d
πŸ“ŠLearned Metrics
PathCoT: Chain-of-Thought Prompting for Zero-shot Pathology Visual Reasoning
arxiv.orgΒ·1d
🌳Context free grammars
Loading...Loading more...
AboutBlogChangelogRoadmap