🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Hoare Logic
Program Correctness, Preconditions, Postconditions, Axiomatic Semantics
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Sorting Prompts - LLMs are not wrong you just caught them mid thought
kau.sh
·
1d
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Pokémon Color Palette Swapping
fanyangxyz.github.io
·
2h
·
Discuss:
Hacker News
🌈
Color Science
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Dev Services for Spring Boot Using Arconia
thomasvitale.com
·
9h
·
Discuss:
Hacker News
🔌
Archive APIs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We found a bug in Go's ARM64 compiler
blog.cloudflare.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com
·
8h
·
Discuss:
Hacker News
⚡
Cache Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
QUIC! Jump to User Space!
hackaday.com
·
1d
🌐
Network Protocols
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Software Architecture Horror Story
blog.mihaisafta.com
·
18h
·
Discuss:
Hacker News
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Pain Driven Workflow
magistr.me
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to
·
1d
·
Discuss:
DEV
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Counterfactual Identifiability via Dynamic Optimal Transport
arxiv.org
·
1d
🔍
Vector Forensics
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
Can Risk-taking AI-Assistants suitably represent entities
arxiv.org
·
1d
🔗
Constraint Handling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhanced Arc-Fault Current Detection via Dynamic Bayesian Network Inference
dev.to
·
17h
·
Discuss:
DEV
🌊
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI can help your DevSecOps pipeline
spiceworks.com
·
1d
·
Discuss:
Hacker News
🏠
Homelab Pentesting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to
·
2d
·
Discuss:
DEV
⚡
Cache Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to
·
1h
·
Discuss:
DEV
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Detailed Workflow for Creating an MCP Server that Returns MySQL Schema Information Using Vibe Coding
dev.to
·
3d
·
Discuss:
DEV
🗄️
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org
·
1d
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org
·
1d
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 8
•
Page 10 »