๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Dependently Typed
Proof-Carrying Code, Correctness by Construction, Type-Level Programming
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
The Chip That Spoke Lisp
jxself.org
ยท
5d
๐ค
Lisp Machines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PoC for Critical Lua Engine Vulnerabilities in Redis 7.4.5
redrays.io
ยท
1d
ยท
Discuss:
Hacker News
๐งช
CBOR Fuzzing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Innovative Recommendation Applications Using Two Tower Embeddings at Uber
uber.com
ยท
1d
ยท
Discuss:
Hacker News
๐๏ธ
Feed Filtering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
FTL Quantum Communication: Rethinking the No-Communication Theorem
altpropulsion.com
ยท
1h
ยท
Discuss:
Hacker News
โ๏ธ
Quantum Channels
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com
ยท
1d
ยท
Discuss:
Hacker News
โฐ
Time Crystals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Morality of Modeling
isaacbound.substack.com
ยท
13h
ยท
Discuss:
Substack
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com
ยท
3d
ยท
Discuss:
Lobsters
,
Hacker News
๐งฎ
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bringing NumPy's type-completeness score to nearly 90% โ Pyrefly
pyrefly.org
ยท
5d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐ฏ
Gradual Typing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A gentle introduction to Generative AI: Historical perspective
medium.com
ยท
2d
ยท
Discuss:
Hacker News
๐ง
Learned Codecs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sparse components distinguish visual pathways & their alignment to neural networks
arxiv.org
ยท
2h
๐ง
Neural Codecs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Guiding Exploration in Reinforcement Learning Through LLM-Augmented Observations
arxiv.org
ยท
2h
๐ป
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Dr. Bias: Social Disparities in AI-Powered Medical Guidance
arxiv.org
ยท
2h
๐ง
Machine Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to
ยท
1d
ยท
Discuss:
DEV
โก
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Agent Calibration via Simulated Reality Feedback Loops for Anomaly Mitigation
dev.to
ยท
2h
ยท
Discuss:
DEV
โก
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io
ยท
1d
๐ฅ๏ธ
Modern Terminals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
ยท
3d
ยท
Discuss:
blog.mitrichev.ch
๐
Linear programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CReact - JSX for the Cloud
github.com
ยท
2d
ยท
Discuss:
Hacker News
,
r/compsci
,
r/htmx
,
r/javascript
,
r/node
,
r/programming
,
r/reactjs
๐งฑ
Immutable Infrastructure
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Does OpenCode Support Hooks? A Complete Guide to Extensibility
dev.to
ยท
3d
ยท
Discuss:
DEV
๐
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Rust vs C, C++, Java & Python โ 5 Everyday Programs Compared
dev.to
ยท
4d
ยท
Discuss:
DEV
๐ฆ
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI-Powered Pair Programming: How I Code Faster and Learn More with ChatGPT
dev.to
ยท
4d
ยท
Discuss:
DEV
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 19
โข
Page 21 »