🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Mathematics

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

Song recommendations with C# Reactive Extensions
blog.ploeh.dk·3d
🌊Streaming Systems
Tip: Git compare in UI – see diff between versions, tags, branches etc.
docs.github.com·18h·
Discuss: Hacker News
🌿git
How to Learn the Swift Source Code
blog.jacobstechtavern.com·2d·
Discuss: Hacker News
📜Proof Carrying Code
mchav/dataframe
github.com·4d
🧠Lisp Dialects
Introducing Opal: describe, create, and share your AI mini-apps
developers.googleblog.com·10h·
Discuss: Hacker News
⚡Proof Automation
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Title: Breaking the Mold: How to Enjoy Dungeons & Dragons Without Being Critical Role
dev.to·2h·
Discuss: DEV
📕Bookbinding
Mistral AI environmental report confirms AI is a hungry, thirsty beast
theregister.com·20h
🔲Cellular Automata
Don’t Defend What’s Disappearing — Build What’s Emerging
hackernoon.com·20h
🌍Cultural Algorithms
Torchvista: Building an Interactive Pytorch Visualization Package for Notebooks
towardsdatascience.com·1d
🦀Rust Macros
[D] Tried of the same review pattern
reddit.com·6h·
Discuss: r/MachineLearning
📜Document Physics
From Rules to Relationships: How Machines Are Learning to Understand Each Other
towardsdatascience.com·2d
🧠Machine Learning
The Prompt Makes the Person(a): A Systematic Evaluation of Sociodemographic Persona Prompting for Large Language Models
arxiv.org·1d
🎙️Whisper
CogDual: Enhancing Dual Cognition of LLMs via Reinforcement Learning with Implicit Rule-Based Rewards
arxiv.org·23h
🌳Context free grammars
SIA: Enhancing Safety via Intent Awareness for Vision-Language Models
arxiv.org·23h
🤖Advanced OCR
Benefits and pitfalls of Vibe coding: navigating the AI-assisted era
dev.to·9h·
Discuss: DEV
✨Effect Handlers
Enhancing Uber's Customer Experience Through Machine Learning: Insights from Harvard's Case Studies
dev.to·2h·
Discuss: DEV
🧠Machine Learning
Mathematical modeling and sensitivity analysis of hypoxia-activated drugs
arxiv.org·2d
🕸️Algebraic Topology
A new data-driven energy-stable Evolve-Filter-Relax model for turbulent flow simulation
arxiv.org·23h
🔗Tailscale
Creating agentic users, not just agentic AI
github.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap