Compiler Design

Feeds to Scour
SubscribedAll
Scoured 339 posts in 7.6 ms

a topos-oriented language with a content-addressed lattice heap

 📐Formal Methods
yon-lang.org··Hacker News

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

 🐛AFL  Content type: Blog
blog.quarkslab.com·

AT&T CFO Desroches talks about the carrier's satellite plans

 🌐Networking  Content type: News
phonearena.com·

Saudi Arabia issues GCC network design tender

 🌐Networking
railjournal.com·

India GCCs Lead AI and Cloud Hiring as IT Services Trail

 📐Formal Methods
techrepublic.com·

Building and running Bazel applications on AutoSD: Toolchains, containers, and recommended practices

 📐Formal Methods
developers.redhat.com·

369° Hôtels-Maisons Welcomes GAIA to La Tartane Saint-Tropez on the French Riviera

 📐Formal Methods  Content type: News
breakingtravelnews.com·

Memoirs of a Learning Machine: Autobiographical Self-Training and the Self-Training Gap

 📐Formal Methods
zenodo.org··Hacker News

NVIDIA Engineer Devises Patch To Significantly Reduce GCC Bootstrap Time

 🐛AFL
phoronix.com··r/linux

ALJAZ : June 11, 2026 4:30pm-5:00pm AST : Free Borrow & Streaming

 📐Formal Methods  Content type: Video
archive.org·

Comp.compilers: Paper: dividing by seven

 📐Formal Methods
compilers.iecc.com·

[rust-compiler] Return the compiled AST by value instead of JSON (#36… · react/react@ae6fe8a

 🔍Property Testing  Content type: Code
github.com·

Dubai Took a Hit — IHG Is Betting on Egypt, Saudi, and a Q4 Recovery

 🐛fuzzing
skift.com·

From Fork-Join to Asynchronous Tasks: Parallelizing Tiled Cholesky Decomposition with OpenMP and HPX

 🔀Concurrency  Content type: Academic
arxiv.org·

Is this compiler bug in Zig or LLVM?

 📐Formal Methods  Content type: Discussion
ziggit.dev·

programming a gba game on an iphone

 🔍Property Testing  Content type: Blog
blog.adamledoux.net··Hacker News

How Gulf States Turned Crisis Into Confidence

 🔄Stateful Fuzzing
thecipherbrief.com·

Hyperlinks (OSC 8) – Terminal Support

 🐛AFL  Content type: Tutorial
terminfo.dev··Hacker News

Trust No Skill: Integrity Verification for AI Agent Supply Chains

 📐Formal Methods  Content type: Blog
unit42.paloaltonetworks.com·

From Momentum To Endurance: Weekend Insights

 🌐Networking
thecoredaily.in·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help