Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔨 Nix Derivations
Build Instructions, Store Paths, Build Environment, Output Hash
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8200
posts in
102.6
ms
update
README.md
format and
clarify
state of the project
github.com
·
51m
·
Discuss:
Hacker News
📦
Opam
daskladas/nixmate
: All your NixOS tools in one TUI — generations, rebuilds, services, errors, and more.
github.com
·
2d
·
Discuss:
Hacker News
❄️
NixOS
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
17h
·
Discuss:
Lobsters
🔧
Unikernel Development
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
16h
🐫
OCaml
Lessons from
CalyxOS
signing process
redesign
calyxos.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🛡️
macOS Security
Deploying
Rust to production
checklist
kerkour.com
·
2d
·
Discuss:
Hacker News
🏗️
Dune
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
3d
🔤
DSLs
The
Archive
System (
DevLog
)
kruithne.net
·
17h
·
Discuss:
Hacker News
🔬
Unikernels
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
1d
·
Discuss:
Lobsters
🐫
Embedded OCaml
TRAMP
2.8.1 User
Manual
gnu.org
·
1d
·
Discuss:
Hacker News
💬
Mach Messages
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
2d
📐
Hoare Logic
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
nix-run: run nix
derivations
without
nix3
or flakes
tangled.org
·
6d
·
Discuss:
Lobsters
,
Hacker News
❄️
Nixified Development
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
💾
Cachix
I am breaking my head in Analyzing Container
Filesystem
Isolation For
Multi-Tenant
Workloads, so…
medium.com
·
1d
·
Discuss:
Hacker News
📦
Namespaces
Cross Compiling
CGO
with
Dagger
and Zig
johncodes.com
·
20h
·
Discuss:
Hacker News
🏗️
Dune
Rust
Standard
Library Challenges
rustfinity.com
·
1d
·
Discuss:
r/rust
🏗️
Dune
Creating
massively
huge fake files and
binaries
fzakaria.com
·
1d
·
Discuss:
Hacker News
🍎
Mach-O Format
The Many
Flavors
of
Ignore
Files
nesbitt.io
·
22h
·
Discuss:
Lobsters
,
Hacker News
📚
Nixpkgs
Linker
Script Generation for
Firmware
Projects: A Primer
dnedic.github.io
·
3d
·
Discuss:
Hacker News
,
r/embedded
⚙️
PL Implementation
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help