Type Theory, Lambda Calculus, Semantics, Compiler Design

Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·15h·
Discuss: r/programming
🔍Static Analysis
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·8h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Dive into Systems
diveintosystems.org·3d·
Discuss: Hacker News
📐formal specification
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·3d
🪜Scala
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·1d·
Discuss: Hacker News
📐formal specification
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·18h·
Discuss: Hacker News
📐formal specification
Flag this post
Go Generics: Use Cases and Patterns
dev.to·15h·
Discuss: DEV
🪜Scala
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·2d
🔍Static Analysis
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·1d
🔄Concurrency Models
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·4d·
Discuss: Hacker News
🪜Scala
Flag this post
Silenced Biases: The Dark Side LLMs Learned to Refuse
arxiv.org·20h
📐formal specification
Flag this post
Large Language Models Do NOT Really Know What They Don't Know
paperium.net·5h·
Discuss: DEV
🔍Static Analysis
Flag this post
C++26 std::execution vs. Rust's async/rayon: Two different philosophies for the future of concurrency?
reddit.com·12h·
Discuss: r/cpp
🦀Rust
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·12h·
Discuss: r/golang
🪜Scala
Flag this post
10 Smart Performance Hacks For Faster Python Code
blog.jetbrains.com·1d
🔍Static Analysis
Flag this post
Building Custom Components in Langflow 🛠️
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.org·20h
📐formal specification
Flag this post
essential spectrum
ncatlab.org·2d
🪜Scala
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·2d
🦀Rust
Flag this post