🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Verification Calculi
Refinement Types, SMT Integration, Program Logic, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Superpowers 2.0 came out yesterday and might already be obsolete.
blog.fsck.com
·
1d
🪟
Awesome windows command-line
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
#367
weeknotes.barrucadu.co.uk
·
1d
🦀
Rust Borrowing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Easy, Automatic HTTPS for Node.js
magicserver.arsh.sh
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Vexing Exceptions
ericlippert.com
·
2d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Self Hosting Nightscout on Raspberry Pi
broderic.blog
·
1d
·
Discuss:
Hacker News
🔌
Single Board PC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com
·
2d
·
Discuss:
Hacker News
,
r/hardware
🖥️
Terminal Renaissance
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C++ Reflection and Qt MOC
wiki.qt.io
·
4d
·
Discuss:
Hacker News
,
r/cpp
,
r/programming
🧩
WASM Modules
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com
·
1d
·
Discuss:
Hacker News
🎧
Learned Audio
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Repo Bench
repoprompt.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Solving the wrong problem
ufried.com
·
3d
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Go and PocketBase: Shortified!
dev.to
·
4d
·
Discuss:
DEV
⚡
gRPC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
[OC] Built this because I kept losing track of which of my 30+ servers I was on
reddit.com
·
1d
·
Discuss:
r/homelab
🪟
Awesome windows command-line
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org
·
3d
🔨
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Arbitrary Entropy Policy Optimization: Entropy Is Controllable in Reinforcement Finetuning
arxiv.org
·
2d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Custom Portal Design: Building Your Own Context Managers
dev.to
·
3d
·
Discuss:
DEV
📝
Concrete Syntax
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to
·
2d
·
Discuss:
DEV
🤖
Paleographic AI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to
·
17h
·
Discuss:
DEV
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to
·
1d
·
Discuss:
DEV
📊
Spectral Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to
·
2d
·
Discuss:
DEV
🌳
Context free grammars
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond Ethics Washing: Certifiably Fair AI with Knowledge-Driven Transformation by Arvind Sundararajan
dev.to
·
8h
·
Discuss:
DEV
⚖️
Emulation Ethics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 16
•
Page 18 »