๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Refinement Types
Liquid Haskell, SMT Integration, Verification, Predicate Types
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐ฒ
Tree-sitter
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Testing Tanstack Start
axelby.com
ยท
19h
ยท
Discuss:
r/webdev
๐
Interactive Debuggers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com
ยท
1d
๐ง
Error Recovery
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Unit test isolation using MVCC
blog.alexsanjoseph.com
ยท
1d
ยท
Discuss:
Hacker News
๐งช
Compiler Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Managing private TypeScript types: beyond DefinitelyTyped
dev.to
ยท
1d
ยท
Discuss:
DEV
๐ฆ
Monorepos
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Test state, not interactions
rednafi.com
ยท
2d
ยท
Discuss:
r/golang
๐งช
Compiler Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhanced Genome Sequencing Accuracy via Adaptive Hyperdimensional Neural Networks (AHNNs)
dev.to
ยท
21h
ยท
Discuss:
DEV
๐
JSON Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How To Suppress Build Errors in Next.js with TypeScript
dev.to
ยท
9m
ยท
Discuss:
DEV
๐ฆ
Monorepos
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com
ยท
1d
ยท
Discuss:
www.blogger.com
๐ฎ
Lisp Interpreters
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Taming Service-Oriented Architecture Using A Data-Oriented Service Mesh
medium.com
ยท
14h
๐ฆ
Monorepos
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to
ยท
1d
ยท
Discuss:
DEV
๐พ
Cache Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to
ยท
1d
ยท
Discuss:
DEV
๐๏ธ
Cranelift
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
RU-Net for Automatic Characterization of TRISO Fuel Cross Sections
arxiv.org
ยท
4h
๐
JSON Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sentrilite: Lightweight syscall/Kubernetes API tracing with eBPF/XDP
reddit.com
ยท
11h
ยท
Discuss:
r/devops
๐ก๏ธ
Capability VMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Prompt Engineering Report Distilled: Quick Start Guide for Life Sciences
arxiv.org
ยท
1d
๐ฌ
REPL Design
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com
ยท
3h
ยท
Discuss:
Substack
๐
ML Language
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MAIstro โ multi-agent framework for medical imaging workflows
github.com
ยท
17h
ยท
Discuss:
Hacker News
๐ฎ
Metacircular Evaluators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Fortress AI: Verifiable Data Integrity in Collaborative Machine Learning
dev.to
ยท
1d
ยท
Discuss:
DEV
๐ก๏ธ
Security Type Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ZTree: A Subgroup Identification Based Decision Tree Learning Framework
arxiv.org
ยท
4h
๐ณ
Tree Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
IsoSched: Preemptive Tile Cascaded Scheduling of Multi-DNN via Subgraph Isomorphism
arxiv.org
ยท
4h
๐ฑ
Green Threads
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 7
โข
Page 9 »