🐿️ 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
What happens when coding agents stop feeling like dialup?
martinalderson.com
·
20h
·
Discuss:
Hacker News
🎭
Program Synthesis
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
·
19h
📡
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
Tracking prompt evolution for RAG systems - anyone else doing this?
github.com
·
10h
·
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
·
13h
·
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
·
22h
·
Discuss:
DEV
💬
Interactive REPLs
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
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
Unraveling the Impossible: Finding the Roots of Optimization Failures
dev.to
·
3d
·
Discuss:
DEV
🧩
Constraint Solvers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
EduBox - AI Student Hub
dev.to
·
3h
·
Discuss:
DEV
💬
Interactive REPLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Master Python Lists: A Comprehensive Guide for Beginners & Beyond
dev.to
·
2h
·
Discuss:
DEV
🪢
Rope Data Structures
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to
·
4d
·
Discuss:
DEV
🧩
SAT Solvers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
arxiv.org
·
3d
🛠
programming language development
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bayesian Physics Informed Neural Networks for Reliable Transformer Prognostics
arxiv.org
·
4h
🌱
Minimal ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What do you find more common in practice for modeling systems?
reddit.com
·
1d
·
Discuss:
r/embedded
🧱
First Principles
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bugs wear data. Let's check Apache NiFi
dev.to
·
3d
·
Discuss:
DEV
🔧
Error Recovery
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
DiffusionNFT: Online Diffusion Reinforcement with Forward Process
arxiv.org
·
4h
🪜
Recursive Descent
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
Building GenAI Apps in Java
dev.to
·
4h
·
Discuss:
DEV
✨
Gleam
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 12
•
Page 14 »