🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 Type Inference

Hindley-Milner, Unification Algorithms, Polymorphism, Constraint Solving

Shepherd × Goblins update
spritely.institute·8h
✨Effect Handlers
A New Formula for Pi Is Here. And It’s Pushing Scientific Boundaries.
popularmechanics.com·1d
📐Mathematical Art
The Markov Condition
plato.stanford.edu·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·1d·
Discuss: Hacker News
🔬Refinement Types
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
⚡Performance Mythology
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·19h·
Discuss: Hacker News
🌀Brotli Internals
Working in Groups
internet.place·4h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Deploying AI to the Balkans
hapseer.com·1d·
Discuss: Hacker News
🤖AI Curation
[D] Vibe-coding and structure when writing ML experiments
reddit.com·3d·
Discuss: r/MachineLearning
💻Local LLMs
JoPA:Explaining Large Language Model's Generation via Joint Prompt Attribution
arxiv.org·16h
🤖Grammar Induction
Day 3: Unleash QuestBot's Power🎯
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Exploring Generative AI: From Curiosity to Creation
dev.to·1h·
Discuss: DEV
🤖Grammar Induction
Why Language Models Hallucinate: An In-Depth Look at Model Misalignment and Mitigation Strategies (2025)
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Data-Efficient Fine-Tuning of Vision-Language Models for Diagnosis of Alzheimer's Disease
arxiv.org·16h
🤖Advanced OCR
Understanding MCP (Model-Context Protocol)
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
Neurocognitive Modeling for Text Generation: Deep Learning Architecture for EEG Data
arxiv.org·16h
🤖Advanced OCR
PersonaFuse: A Personality Activation-Driven Framework for Enhancing Human-LLM Interactions
arxiv.org·16h
🏛Digital humanities
I have been working on a PlayStation 1 emulator written in Rust.
reddit.com·13h·
Discuss: r/rust
🦀Embedded Rust
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·2d
⚙️TLA+
Loading...Loading more...
AboutBlogChangelogRoadmap