🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Formal Methods
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Compiling a Functional Language to LLVM
danieljharvey.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Implementing Namespaces and Coding Standards in WordPress Plugin Development
developer.wordpress.org
·
13h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Karate – Test Automation Made Simple
karatelabs.github.io
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Standards for Age Verification
avpassociation.com
·
2d
·
Discuss:
Hacker News
🔐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Rise of Async Programming
braintrust.dev
·
1d
·
Discuss:
Hacker News
,
r/programming
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bypassing WAFs for Fun and JavaScript Injection with Parameter Pollution
blog.ethiack.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Grammar Checker That Gets Developers
wearefounders.uk
·
23h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com
·
6h
·
Discuss:
Hacker News
⚡
SIMD Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A New Method for Estimating P2P Network Size
eli.sohl.com
·
8h
·
Discuss:
Hacker News
🧩
Microservices
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Program management update — August 2025
blog.rust-lang.org
·
1d
·
Discuss:
Hacker News
,
r/rust
📏
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Creating larger projects with LLM (as a coder)
medium.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cliodynamics – History as Science
peterturchin.com
·
20h
·
Discuss:
Hacker News
📈
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MoroJS A fast, TypeScript-first API framework (68k req/SEC, AI-ready)
morojs.com
·
1h
·
Discuss:
Hacker News
🔷
Typescript
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Paul's Online Math Notes
tutorial.math.lamar.edu
·
17h
·
Discuss:
Hacker News
📈
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Effects as Capabilities in Scala
nrinaudo.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Nanonext: breaking down language barriers in data science
tidyverse.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Designing software architecture for parallel AI sessions
rashidazarang.com
·
2d
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What's new in Kotlin 2.2.20
kotlinlang.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Recon2012: Reverse engineering of binary programs for custom virtual machines
recon.cx
·
12h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Nyquist–Shannon Sampling Theorem
en.wikipedia.org
·
6h
·
Discuss:
Hacker News
📈
Timeseries
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 2
•
Page 4 »