🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 Dependent Types
Type-level Programming, Proof-carrying Code, Agda, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
VIC 20 Ultima I
vic20ultima1.wordpress.com
·
8h
🏺
Gaming Archaeology
Daily+tips
dailytips247.com
·
1d
·
Discuss:
Hacker News
📰
Feed Readers
haskell/bytestring
github.com
·
4d
🧬
Functional Programming
Muon Optimizer Explained to a Toddler
yacinemahdid.com
·
1d
·
Discuss:
Hacker News
🗜️
LZW Variants
Parallel Reduce and Scan on the GPU
cachemiss.xyz
·
4d
·
Discuss:
Hacker News
⚡
SIMD Vectorization
Vulkan: Continuing to Forge Ahead
khronos.org
·
2d
·
Discuss:
Hacker News
🎬
WebCodecs
Rightness Is a Prison
usefulfictions.substack.com
·
20h
·
Discuss:
Substack
🔲
Proof Irrelevance
A Smarter Way to License Research Articles for AI
scholarlykitchen.sspnet.org
·
2d
·
Discuss:
Hacker News
📚
MARC Evolution
Code Review Can Be Better
tigerbeetle.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
🌳
Git Internals
The 10x PM Paradox: Why Organization Beats Genius Every Time
zakelfassi.com
·
1d
·
Discuss:
Hacker News
🏛️
Mainframe Archaeology
We must build AI for people; not to be a person
mustafa-suleyman.ai
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Top 10 vs code extension
dev.to
·
1d
·
Discuss:
DEV
🪟
Awesome windows command-line
Discovery of a widespread chemical signalling pathway in the Bacteroidota
nature.com
·
1d
🧬
Copy Number Variants
From Pair Programming to AI Pair Partners: The Next Leap in Developer Collaboration
dev.to
·
3h
·
Discuss:
DEV
🔄
Language Evolution
I Gave My AI a Conscience in 3 Lines of Code: The Sacred Pause Pattern
dev.to
·
1d
·
Discuss:
DEV
⚖️
Hoare Logic
Dynamic Key Rotation Management for Scalable HSM Rack Infrastructure via Adaptive Bloom Filters
dev.to
·
2d
·
Discuss:
DEV
🌸
Bloom Variants
Bringing AI to the Edge: MCP for IoT
dev.to
·
2d
·
Discuss:
DEV
🏠
Home Automation
Approaching the Source of Symbol Grounding with Confluent Reductions of Abstract Meaning Representation Directed Graphs
arxiv.org
·
3d
📐
Binary Grammars
Learn to optimize for automatic proton PBS treatment planning for H&N cancers
arxiv.org
·
3d
⚡
SIMD Vectorization
Semi-Supervised Anomaly Detection Pipeline for SOZ Localization Using Ictal-Related Chirp
arxiv.org
·
1d
📊
Spectrograms
Loading...
Loading more...
« Page 51
•
Page 53 »