🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🛡️ Proof-Carrying Archives
Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Practical Guide to Production-Grade Observability in the JS ecosystem
medium.com
·
4h
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Prove Leftpad
github.com
·
4d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
In-Depth Analysis: "Attention Is All You Need"
dev.to
·
1d
·
Discuss:
DEV
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to
·
1d
·
Discuss:
DEV
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Manifesto for the Programming Desperado
github.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Vibing a Non-Trivial Ghostty Feature
mitchellh.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org
·
4d
🔗
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Google Agent Development Kit (ADK) for TypeScript
github.com
·
6h
·
Discuss:
Hacker News
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com
·
12h
·
Discuss:
Hacker News
🧮
Kolmogorov Bounds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Wild Vibe
jarv.org
·
1h
·
Discuss:
Hacker News
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Proof of the Riemann Hypothesis
dev.to
·
2d
·
Discuss:
DEV
⚔️
Lean Theorem
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org
·
1d
⚙️
Compression Benchmarking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
·
2d
·
Discuss:
Hacker News
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Replacing the Type Checker for the Swift Compiler
forums.swift.org
·
2d
·
Discuss:
Hacker News
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev
·
1d
·
Discuss:
Hacker News
🚀
Indie Hacking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Using Haskell to write an NES emulator
github.com
·
41m
·
Discuss:
Hacker News
🕹
Emulation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com
·
1d
·
Discuss:
r/golang
🦀
Rust Borrowing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Static builds of popular open source libraries on npmjs.org
github.com
·
1d
·
Discuss:
Hacker News
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to
·
1d
·
Discuss:
DEV
🕵️
Feed Discovery
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca
·
21h
·
Discuss:
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 5
•
Page 7 »