๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ฏ Symbolic Execution
Program Analysis, Path Exploration, Bug Finding, Verification Tools
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Can a Data Race Happen on a Single-Core Machine?
aoli.al
ยท
3d
ยท
Discuss:
Hacker News
๐
Concurrency Primitives
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Multiple Kernels on a Single System
lwn.net
ยท
2h
ยท
Discuss:
Hacker News
๐ฑ
Forth Kernels
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to stop functional programming
brianmckenna.org
ยท
13h
ยท
Discuss:
Hacker News
,
r/programming
๐
Concatenative Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What happens when coding agents stop feeling like dialup?
martinalderson.com
ยท
14h
ยท
Discuss:
Hacker News
๐ญ
Program Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A FSM Challenge for the c#/DotNet Dev Community
nuget.org
ยท
2d
ยท
Discuss:
DEV
๐ฏ
Finite Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Token Models as Statistical Simulations: A Different Take
medium.com
ยท
2h
ยท
Discuss:
Hacker News
๐
Tokenizers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An AI tool for learning critical thinking
vaughntan.org
ยท
16h
๐ฌ
Interactive REPLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
<p>**Abstract:** This paper presents a novel approach to enhancing resilience in Starship intra-communication systems through dynamically adaptive beamforming. ...
freederia.com
ยท
13h
๐ก
Erlang BEAM
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A C conditional statement or control statement is cute abstraction over jump instructions. A bit of assembly always helps
reddit.com
ยท
1d
ยท
Discuss:
r/C_Programming
๐
Control Structures
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why I Chose Rust for My OSD600 Project (And What I Learned)
dev.to
ยท
2d
ยท
Discuss:
DEV
๐
Cranelift Backend
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Figured out my problem with gpt-oss-20b
reddit.com
ยท
2d
ยท
Discuss:
r/LocalLLaMA
๐ง
Memory Models
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
(Show off Saturday) Spent the last 2 days building Firewall - a game where you have to crack a code through logic and deduction
reddit.com
ยท
1d
ยท
Discuss:
r/webdev
๐
Souffle Datalog
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tracking prompt evolution for RAG systems - anyone else doing this?
github.com
ยท
3h
ยท
Discuss:
r/LocalLLaMA
โก
Live Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Dynamic Multi-Modal Knowledge Synthesis via Hypergraph Temporal Reasoning (DMKSH)
dev.to
ยท
6h
ยท
Discuss:
DEV
โจ
Effect Inference
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Day 13 of 90 day python series....
github.com
ยท
15h
ยท
Discuss:
DEV
๐ฌ
Interactive REPLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Less is safer: How Obsidian reduces the risk of supply chain attacks
dev.to
ยท
1d
ยท
Discuss:
DEV
๐ฆ
Dependency Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Breaking Your Own App (on Purpose) with Chaos Proxy
dev.to
ยท
10h
ยท
Discuss:
DEV
๐
Minimal HTTP
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
My Favorite AI Prompts for Code Analysis and Optimization
dev.to
ยท
1d
ยท
Discuss:
DEV
๐ญ
Program Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
7 Essential Database Optimization Techniques That Cut Query Times by 90%
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Query Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Adaptive Query Prioritization via Learned Causality in Distributed Query Engines
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Query Engines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 9
โข
Page 11 »