🐿️ 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

I just want to make things easier for my kids during back-to-school season. I'm learning they don't need me to.
businessinsider.comΒ·1d
⭐Awesome lists
How to Run Smart Experiments When You Just Don’t Know
commoncog.comΒ·1d
πŸ”Concolic Testing
FOSS Weekly #25.34: Mint 22.2 Features, FreeVPN Fiasco, Windows Update Killing SSDs, AI in LibreOffice and More
itsfoss.comΒ·10h
🐧FOSS
IRL Brain Rot and the Lure of the Labubu
newyorker.comΒ·1d
πŸ›Digital humanities
Faceclick: A lightweight Emoji picker with keyword search
ratfactor.comΒ·4dΒ·
Discuss: Lobsters
πŸ“Text Compression
Show HN: I Boiled a Decade of Debugging into a Practical Guide
jwworth.gumroad.comΒ·1dΒ·
Discuss: Hacker News
πŸ”¬Binary Analysis
Show HN: I've launched my app on Hacker News and here is what happened
indiehackers.comΒ·1dΒ·
Discuss: Hacker News
πŸš€Indie Hacking
I guess I was wrong about AI persuasion
dynomight.netΒ·14hΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
Independent Component Analysis Demo
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ‘‚Audio Evidence
Stylolites complicate sound wave propagation in sedimentary rock samples, affecting lab-scale monitoring
phys.orgΒ·22h
πŸ“‘Frequency Archaeology
Top Free Online Python Compilers for Beginners and Developers
dev.toΒ·1dΒ·
Discuss: DEV
πŸ—οΈCompiler Archaeology
Google teases mysterious Nest smart speaker – and it looks like a HomePod Mini crossed with an Echo Dot
techradar.comΒ·2h
πŸ“‘Bluetooth Archaeology
Google says a typical AI text prompt only uses 5 drops of water β€” experts say that’s misleading
theverge.comΒ·2h
πŸŒ€Brotli Internals
Arc-AGI-3 Preview: 30-day learnings
arcprize.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
Building a smart, agentic email assistant
dev.toΒ·5dΒ·
Discuss: DEV
⚑Proof Automation
In-hoc Concept Representations to Regularise Deep Learning in Medical Imaging
arxiv.orgΒ·1d
🧠Machine Learning
Script-Strategy Aligned Generation: Aligning LLMs with Expert-Crafted Dialogue Scripts and Therapeutic Strategies for Psychotherapy
arxiv.orgΒ·1d
πŸ› Language Design
Perspt: Your Terminal's New AI Powerhouse!
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“ŠPerformance Profiling
Quantization vs Pruning: Insights from the Strong Lottery Ticket Hypothesis
arxiv.orgΒ·3d
πŸ“ŠQuantization
6 ChatGPT Prompts Every Software Developer Should Know
dev.toΒ·2dΒ·
Discuss: DEV
⚑Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap