Programming

💻 ProgrammingBroad

Go, TLA+, Distributed Algorithms, Planning, Algorithms, Formal methods, Debugging, System Architecture, Testing

Feeds to Scour
SubscribedAll
Scoured 28 posts in 9.8 ms

I tried making Prime Computation faster with goroutines, here are the results

 ⚙Programming Language Design
gist.github.com··r/golang

I got tired of managing goroutine explosion, so I built a lightweight worker pool with retry support and configurable idle containers.

 ⚡Zig  Content type: Code
github.com··r/golang

Go for Security Auditors: Part 1 - Syntax That Will Trip You Up

 ⚙Programming Language Design  Content type: Blog
blog.sigmaprime.io·

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

 ⚙Programming Language Design  Content type: Academic
arxiv.org·

The Split-Brain Problem in Plain English — And the Three Ways Your Distributed Cache Handles It Wrong

 🌐Distributed Systems
javacodegeeks.com·

Understanding Leader Election in the Raft Consensus Algorithm

 🌐Distributed Systems  Content type: Blog
medium.com
·

RoachFest London 2026 Preview: AI Agents and an Astronaut Walk Into a Database Conference

 🌐Distributed Systems  Content type: Blog
cockroachlabs.com·

DB Nerds – Try this out

 ⚙Instruction Set
kesseldb.com··Hacker News

I Thought Redis Was Just a HashMap

 ⚡Zig  Content type: Blog
mukul0x9.pages.dev··r/golang

Go In 2026: Why Simplicity Still Wins For Backend Services

 λType Theory  Content type: Tutorial
nazarboyko.com··DEV

How I Built a Hotel AI Platform in Go (And Every Honest Technical Debt We're Carrying)

 ⚡Zig  Content type: Blog
medium.com
··DEV

servetarslan02/HookSniff: ?? Reliable webhook delivery for developers. 11 SDKs. Rust API + Next.js dashboard. Send webhooks. We deliver them. Failed? We retry.

 ⚙DevOps  Content type: Code
github.com··DEV

[eCHO News] Episode #100: Day 2 with Cilium. eBPF.party

 🌐Distributed Systems
isovalent-9197153.hs-sites.com·

Rewriting my 2005 C++/OpenGL game in Go

 ⚙Programming Language Design
nurkiewicz.com·

Yay 12.6 AUR Helper Lands After Six Months with Smarter Search

 ⚙DevOps
linuxiac.com·

Review: Scalable Leader Leases For Multi Consensus Groups in CockroachDB

 🌐Distributed Systems  Content type: Blog
emptysqua.re·

Building a stateless process supervisor in Go: what the OS fights you on

 ⚙DevOps  Content type: Code
github.com
··DEV

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

 ⚙Programming Language Design  Content type: Academic
arxiv.org·

Correct-by-Construction Design of Timed Systems in Event-B

 ⚙Programming Language Design  Content type: Academic
arxiv.org·

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

 🌐Distributed Systems  Content type: Code
github.com··Hacker News

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