Programming Language Design

Feeds to Scour
SubscribedAll
Scoured 66 posts in 6.0 ms

A Normative Intermediate Representation for ASP-Based Compliance Reasoning

 ⚙️Compiler Design  Content type: Academic
arxiv.org·

Rat, flies and rot: Havana’s trash crisis spirals out of control

 Code Golf
the-independent.com·

Software Engineering is the new Manufacturing Engineering

 ⚙️Compiler Design
halecraft.org··Hacker News

Colour Hunting: The hot new street photography trend changing how we see Japan

 🛢️Databases
soranews24.com·

Zero-Click HFP/A2DP Takeover via L2CAP Session Preemption

 ⚙️Compilers

Multiversion Concurrency Control for Multiversion B-Trees

 🛢️Databases  Content type: Academic
arxiv.org·

Astrakhan residents have been trying to get the authorities to resolve their infrastructure problems for two years.

 🗣️Programming Languages  Content type: News
eng.kavkaz-uzel.eu·

Which Version of JDK Should I Use?

 JVM Internals
whichjdk.com·

I bet everything on eight weeks: solo #1 on MTEB English v2

 ⚙️Compiler Design  Content type: Blog
sentimark.ai··Hacker News

The Hidden Cost of Records: When Java’s Immutable Data Classes Quietly Hurt Your GC

 JVM Internals
javacodegeeks.com·

kerbelp/metatron: Metatron is a self-hosted system that captures a codebase's real implementation decisions — preferred patterns, rejected approaches, edge cases, internal conventions — as structured priors, and serves them to coding agents over MCP (Model Context Protocol). The goal: an agent writes code like a senior engineer who already knows the codebase

 🗄️SQLite  Content type: Code
github.com··Hacker News
Less-relevant results

Storage news ticker - 4 June

 🔒STM
blocksandfiles.com·

Replace Nginx with Pingora on Bare Metal: An SRE Proxy Guide

 🔒STM  Content type: Discussion  Content type: Tutorial
servermo.com··DEV

Reversible Numeric Composite Key (RNCK)

 λPLT  Content type: Academic
arxiv.org·

What is AI SAST?

 ⚙️Compilers  Content type: Blog
aikido.dev·

Residents of Nalchik pointed out to authorities the unresolved problem with storm drains.

 🗣️Programming Languages  Content type: News
eng.kavkaz-uzel.eu·

Mental causation is not load-bearing

 λPLT
lesswrong.com·

Reorgs happen

 🔄Optimistic Concurrency  Content type: Blog

Is Your System on a Retrograde Bed? Marine Ice-Sheet Instability as a Test for Irreversible Failure

 🔄Optimistic Concurrency  Content type: Blog
vibeagentmaking.com·

dsecurity49/safe-migrate: A CI/CD infrastructure tool that prevents PostgreSQL database migrations from causing catastrophic locks in production.

 🛢️Databases  Content type: Code
github.com··r/PostgreSQL
Sign up or log in to see more results

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