🐿️ 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
Back to the Future for Taxation
amacad.org
·
21h
·
Discuss:
Hacker News
🧲
Magnetic Philosophy
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Find where a specific object was allocated in JavaScript with DevTools
heikkila.dev
·
9h
·
Discuss:
Lobsters
,
Hacker News
🧠
Memory Allocators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Pretendo
pretendo.network
·
6h
·
Discuss:
Hacker News
📼
Retro Games
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Universal MCP gateway for AI agents
mcp360.ai
·
2h
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A gentle introduction to Generative AI: Historical perspective
medium.com
·
2d
·
Discuss:
Hacker News
🧠
Learned Codecs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Seven Trillion Dollar Scam
alilybit.com
·
11h
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: CrossRun – An Open Standard to Make Software Run on Any Platform
github.com
·
1h
·
Discuss:
Hacker News
,
r/opensource
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Incident Event Pipelines for Real-Time Notifications with Windmill and Checkly
dev.to
·
5h
·
Discuss:
DEV
📡
RSS Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Integrating OpenAI’s Sora 2 into My Project: How I Built Textideo and Started Earning on the Side
dev.to
·
8h
·
Discuss:
DEV
🎙️
Whisper
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Google Opal is not a “degraded Dify”. Its strategic positioning and optimal utilisation methods revealed through actual use
dev.to
·
22h
·
Discuss:
DEV
🦋
Format Metamorphosis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: How to Build AI Agents in Python
dev.to
·
14h
·
Discuss:
DEV
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On Epistemic Uncertainty of Visual Tokens for Object Hallucinations in Large Vision-Language Models
arxiv.org
·
10h
🤖
Advanced OCR
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Enduring Dominance of Deep Neural Networks: A Critical Analysis of the Fundamental Limitations of Quantum Machine Learning and Spiking Neural Networks
arxiv.org
·
10h
🔐
Quantum Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
·
8h
·
Discuss:
DEV
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: I wrote a balatro mod to play full runs without touching the mouse
github.com
·
21h
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
End-to-end testing of Gen AI Apps
dev.to
·
2d
·
Discuss:
DEV
🔍
Concolic Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to
·
2d
·
Discuss:
DEV
📊
Quantization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Application of Deep Reinforcement Learning to At-the-Money S&P 500 Options Hedging
arxiv.org
·
10h
🧠
Machine Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 22
•
Page 24 »