programming languages

Bilingual

SendLang: A DSL for Email Automation
18 days ago
- SendLang comprises SendQL for segment-definition queries and SendFlow for drip-workflow management.
- Languages enable version control, pre-send error checking, and compatibility with coding agents.
- SendQL integrates raw event streams, contact attributes, and deliverability rules for precise targeting.
- SendFlow offers structured control flow without goto or unbounded loops, mapping to flowcharts.
more...
Python Is So Slow. Can Julia Solve the Two-Language Problem?
19 days ago
- Award acceptance lectures by Turing Award-winning computer scientists often stand out as influential exceptions to the banality of the genre.
- Examples include John Backus's 1977 lecture inspiring functional programming, Ken Thompson's 1984 warning about compiler backdoors, and Edsger Dijkstra's 1972 call for humility.
- Kenneth Iverson's 1979 lecture 'Notation as a Tool of Thought' argued that mathematical notation fosters discovery, exemplified by APL, a programming language designed to fuse mathematical and programming languages.
- The two-language problem in scientific computing today involves prototyping in slow Python and rewriting performance-critical parts in faster languages like C++ or Rust.
more...
G#: A modern .NET language with Go, Kotlin, and Swift ergonomics
22 days ago
- G# is a modern .NET language that incorporates ergonomic features inspired by Go, Kotlin, and Swift.
- It includes features such as packages, functions, data classes, nullable handling with 'if let', and structured concurrency with scope.
- Source code compiles directly to managed assemblies, allowing execution on the .NET runtime.
- An example provided demonstrates a simple package with a greeting function that prints "Hello, world!".
Scarf has moved away from Haskell
23 days ago
- Scarf moved from Haskell to Python due to AI changing development economics, making compile times and ecosystem friction significant bottlenecks.
- AI allows faster code generation, but Haskell's long compilation cycles hinder rapid feedback, especially in parallel AI-assisted workflows.
- The shift enabled faster development cycles, improved test coverage, and quicker hotfixes, with no noticeable loss from reduced type safety.
- Haskell faces stagnation risk if it doesn't adapt to AI by optimizing for fast builds, documentation, and agent-friendly tooling.
Rust is in TIOBE Index top 10
a month ago
- Rust enters the TIOBE Index top 10 for the first time in July 2026.
- The TIOBE Index celebrates its 25th anniversary in July 2026.
- Python ranks first in the TIOBE Index for July 2026, followed by C and C++.
- TIOBE introduces a Programming Language Flowchart to help developers select languages for specific use cases.
more...
Returning to Zig
a month ago
- The author was initially drawn to Zig in 2020 as a promising replacement for C, appreciating its compile-time code execution and simple abstractions.
- They left Zig due to instability, frequent breaking changes, and an immature ecosystem, switching to Rust for its stability and strong tooling.
- Concerns about Rust's governance, including corporate influence and slow response to LLM-generated code policies, led the author to reconsider Zig.
- In 2026, Zig remains unstable but familiar, with added features like a package manager, though its ecosystem is still limited compared to others.
more...
Odin, Wikipedia and Engagement Farming
a month ago
- The Wikipedia article on the Odin programming language was deleted due to lack of notability and reliable sources, sparking controversy.
- GingerBill, Odin's creator, initially dismissed Wikipedia as an ideological playground gatekept by activists, but later expressed concern about its guidelines for programming languages.
- Casey Muratori argued that Wikipedia's sourcing rules are unfair to modern programming knowledge, which often lacks traditional academic coverage.
- Wikipedia's policies emphasize verifiability, reliable sources, and notability, with guidelines designed to maintain objectivity and avoid indiscriminate inclusion.
more...
Local Reasoning for Global Properties
a month ago
- The author previously believed AI would not benefit from new programming languages, as AI can generate code in many existing languages.
- However, AI often generates good local code (e.g., functions) but struggles with global program understanding, leading to unnecessary defensive checks that can cause exponential state complexity.
- If AI's global reasoning weakness persists, programming language design may help by enforcing global properties through local reasoning, similar to Rust's data race prevention.
- Rust's ownership types and Send/Sync traits prevent data races statically, allowing local reasoning to ensure global data-race freedom without a new sublanguage.
more...
Counterexamples in type systems (2021)
a month ago
- The text lists 31 counterexamples in type systems, covering issues like polymorphic references, covariant containers, variance checking, and recursion.
- It includes topics such as object construction, Curry's paradox, runtime type misinformation, overloading, and subtyping vs. inheritance.
- Other points address selfishness, privacy violations, unstable expressions, avoidance problems, scope escape, and universal quantification.
- The collation is by Stephen Dolan, with acknowledgments to Andrej Bauer, Leo White, and Jeremy Yallop, and features a visual theme toggle.

programming languages

SendLang: A DSL for Email Automation

Python Is So Slow. Can Julia Solve the Two-Language Problem?

G#: A modern .NET language with Go, Kotlin, and Swift ergonomics

Scarf has moved away from Haskell

Rust is in TIOBE Index top 10

Returning to Zig

Odin, Wikipedia and Engagement Farming

Local Reasoning for Global Properties

Counterexamples in type systems (2021)