Language Design

Feeds to Scour
SubscribedAll
Scoured 44 posts in 10.9 ms

Introducing Lightstep UQL to PromQL Translator

 📊Observability  Content type: Blog
engineering.zalando.com·

Open source building blocks for computational design. Est. 2006

 🥖Bun
thi.ng··Hacker News

Programming Languages Course Reboot, 2026

 ✓Formal Verification  Content type: Reference
docs.google.com··Lobsters, Hacker News

Maps SDK v10 Release

 🎮Game Engines  Content type: Blog
mapbox.com·

fastai: style

 📊Information Theory  Content type: Reference
docs.fast.ai··Hacker News

DABO — What If Agents Didn't Need the Cloud Most of the Time...

 🔨Compilers  Content type: Code
github.com··r/SideProject

Modern C++ Support in CLion: What’s New | The CLion Blog

 ©C  Content type: Blog
blog.jetbrains.com·
Less-relevant results

Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell

 🗂️Data Structures  Content type: Blog
irfanali.org··Hacker News, r/compsci, r/programming, r/programming·Cited by 1 article

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

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

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

 🗂️Data Structures  Content type: Academic
arxiv.org··Lobsters

3D Maps, iOS Metal, Kotlin & Swift APIs in Mobile Maps SDK v10 Beta (Android + iOS)

 🎮Game Engines  Content type: Blog
mapbox.com·

cryspen/hax: A Rust verification tool

 🔤Type Theory  Content type: Code
github.com··Lobsters

Introducing Durable Functions in PostgreSQL

 🐘PostgreSQL
techcommunity.microsoft.com
·

What is AI SAST?

 🏭Code Generation  Content type: Blog
aikido.dev·

Puppet Evaluation Error. Error while evaluating a Resource Statement - Unknown resource type

 🌿Git
example42.com·

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

 🔤Type Theory  Content type: Academic
arxiv.org·

HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents

 🔨Compilers  Content type: Academic
arxiv.org·

Strict stability of extension types

 📐Category Theory  Content type: Academic
arxiv.org·

Unifying von-Neumann HPC and Neuromorphic Acceleration via the EBRAINS Research Infrastructure: A Framework for High-Performance Workflows

 ⚙️Concurrency Models  Content type: Academic
arxiv.org·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 🕸️Knowledge Graphs  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