Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙ compilers
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81849
posts in
691.3
ms
Tip of the Week #182:
Initialize
Your
Ints
!
abseil.io
·
1d
🌱
Minimal Languages
grandmasponge/crate
_analyzer: A quick way to search through your dependencies
github.com
·
4d
·
Discuss:
r/programming
,
r/rust
🔒
Rust Borrowing
ggml
: backend-agnostic tensor parallelism by
JohannesGaessler
· Pull Request #19378
github.com
·
3d
·
Discuss:
r/LocalLLaMA
🗺️
Region Inference
Unmatched
Performance and Speed
dev.to
·
5d
·
Discuss:
DEV
📦
Portable Bytecode
Creating
a new programming language -
Draig
dev.to
·
5d
·
Discuss:
DEV
🌉
Language Interop
StraTyper
: Automated Semantic Type Discovery and Multi-Type
Annotation
for Dataset Collections
arxiv.org
·
4d
📊
DataFrame Types
Learning to Repair
Lean
Proofs
from Compiler Feedback
arxiv.org
·
5d
🌳
Pattern Match Compilation
Rust
Coreutils
0.6 Brings Increased Compatibility, Removing Some Unsafe Code & More
Perf
phoronix.com
·
6d
🦀
Rust Macros
six
thoughts
on
generating
c
wingolog.org
·
7h
·
Discuss:
Lobsters
,
Hacker News
🪄
C Metaprogramming
Tip of the Week #232: When to Use <code>auto</code> for
Variable
Declarations
abseil.io
·
1d
🗂️
Type Indexing
Why you should
consider
F#
asfaload.com
·
3d
·
Discuss:
Hacker News
🔧
Nickel
A
Journey
into Understanding the
IDE
Bus
crowdsupply.com
·
5d
·
Discuss:
Hacker News
🤖
Embedded Go
**Abstract:** This research proposes a novel methodology for accelerating
theorem
proving
within the Lean 4 proof assistant by directly optimizing the formal...
freederia.com
·
4d
🧮
Theorem Provers
Journalist slams ‘
shambolic
’ Aston Villa over Harvey
Elliott
treatment
sports.yahoo.com
·
12m
💬
Error Message Design
Barbados
relegated
to World Group III after Davis Cup defeat
cbc.bb
·
6m
🎭
Racket Modules
Nuclear deal
remains
elusive
after first round of talks with Iran
local12.com
·
19m
🔐
Capability Protocols
Zach
Bryan Calls Kid Rock’s Halftime Show “
Embarrassing
as Hell”
consequence.net
·
13m
🔮
Speculative Execution
LISTEN TO PAUL
CHOOSING
TRACKS FROM HIS FAVOURITE
90s
BAND ON RADIO 2!
mansun.co.uk
·
8m
📚
Forth
Police break up "
chaotic
" house party in
Utrecht
with 100 teens
nltimes.nl
·
5m
🚀
V8 Internals
BND
Offers Broader Bond Mix Than
VGIT
fool.com
·
47m
⚡
Tokenizer Benchmarks
Loading...
Loading more...
« Page 14
•
Page 16 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help