🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ PL Implementation
Compilers, Runtime Systems, JIT, Interpreter Design
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com
·
11h
·
Discuss:
r/homelab
🏠
HomeLab
Programming Like It’s 1986, For Fun and Zero Profit
hackaday.com
·
1d
💾
Retro Computing
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com
·
19h
·
Discuss:
Hacker News
🐫
Embedded OCaml
C++ with no classes?
pvs-studio.com
·
1d
·
Discuss:
r/cpp
,
r/programming
🐫
OCaml
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com
·
9h
·
Discuss:
r/programming
🐫
OCaml
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev
·
17h
·
Discuss:
Hacker News
,
r/node
,
r/programming
,
r/typescript
🐫
Embedded OCaml
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com
·
1d
·
Discuss:
r/devops
,
r/programming
🖥️
Self-hosted Infrastructure
The Next Wave
dumindu.github.io
·
12h
·
Discuss:
Hacker News
,
r/programming
🤖
Program Synthesis
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org
·
20h
·
Discuss:
Hacker News
📡
Network Protocol Design
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org
·
1d
🤖
Program Synthesis
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info
·
11h
·
Discuss:
Hacker News
,
r/webdev
🔄
Reproducible Builds
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
HMQ: Principal Type Inference Under a Prefix
microsoft.com
·
1d
·
Discuss:
Hacker News
🔠
Type-Level Programming
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org
·
2d
🔄
Reproducible Builds
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org
·
2d
✓
Automated Theorem Proving
Micro Common Lisp
t3x.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
🐫
Embedded OCaml
The inevitable trend toward low code makes programming tedious
thefoggiest.dev
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Amber Smalltalk
amber-lang.net
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com
·
10h
·
Discuss:
Hacker News
💾
Retro Computing
Loading...
Loading more...
« Page 2
•
Page 4 »