🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Submarines and Foolkillers
chicagology.com
·
1d
·
Discuss:
Hacker News
⎈
Kubernetes
Notes on Robot Vacuums
rishikeshs.com
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
Discord Sentiment Analysis Tools
gamesbeat.com
·
20h
·
Discuss:
Hacker News
🎮
Verification Games
Show HN: A Modular Phoenix SaaS Starter Kit
phoenixsaaskit.com
·
2d
·
Discuss:
Hacker News
🏠
HomeLab
Scott Alexander Is Smarter Than Me. Should I Steal His Beliefs?
starlog.substack.com
·
1d
·
Discuss:
Substack
➡️
Category Theory
Solving the inference problem for open source AI projects with GitHub Models
github.blog
·
6d
·
Discuss:
Hacker News
📦
Unikernel Systems
Ollama and MCP – A blog about AI by AI, with help from me
blog.aridgwayweb.com
·
6d
·
Discuss:
Hacker News
🐫
Embedded OCaml
An Engineer's Guide to AI Code Model Evals
addyosmani.com
·
5d
·
Discuss:
Hacker News
,
r/programming
,
r/webdev
🤖
Program Synthesis
Towards Robust Foundation Models for Digital Pathology
arxiv.org
·
5d
➡️
Category Theory
I no longer hve any idea what things should cost to be worth it
reddit.com
·
18h
·
Discuss:
r/homelab
💾
Retro Computing
Python source code analyzer based on distrust
github.com
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
Linux Foundation Welcomes the Agntcy Project
linuxfoundation.org
·
11h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com
·
5d
·
Discuss:
Hacker News
🔬
Static Analysis
Onboard Hyperspectral Super-Resolution with Deep Pushbroom Neural Network
arxiv.org
·
1d
🐫
Embedded OCaml
ZIUM: Zero-Shot Intent-Aware Adversarial Attack on Unlearned Models
arxiv.org
·
1h
🧪
Property-Based Testing
Is there demand for a tool that turns natural language to SQL without database?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
💻
CS
Planning Persuasive Trajectories Based on a Leader-Follower Game Model
arxiv.org
·
1h
🔄
Finite State Machines
From Typing to Trusting AI: The 5 Levels of Coding Today — Which One Are You In?
reddit.com
·
3d
·
Discuss:
r/programming
✓
Automated Theorem Proving
Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java
arxiv.org
·
6d
🔄
Reproducible Builds
Personalization, Industrial Design, and Hacked Devices
hackaday.com
·
3d
🔬
Unikernels
Loading...
Loading more...
« Page 57
•
Page 59 »