Show HN: Programming with Bird Emojis
The programming language Birb uses bird emojis to represent lambda calculus terms. Syntax involves bird emojis, and semantics reduce birds in associative order. Birb is Turing complete, with a transpiler converting to SKI combinators and Jot.
Read original article
The GitHub content discusses Birb, a programming language using bird emojis as elements representing lambda calculus terms. Each emoji corresponds to a specific lambda calculus term like owl, eagle, dove, and more. Syntax involves using bird emojis, and semantics include reducing birds in alternating associative order. Examples cover relationships between emojis, arithmetic operations, pairs, lists, and boolean logic. The Birb transpiler converts binary lambda calculus to SKI combinators, then to Jot, and finally to Birbs. The language is Turing complete, enabling the creation of any Jot variant of Iota term. For further exploration, the original proposal on Esolang provides more details about Birb.
Related
Welcome to Ladybird
Ladybird is a non-profit web browser project aiming for modern browsing with performance and security. Developed independently, it targets Linux and macOS, funded by sponsorships and donations, welcoming community contributions.
Welcome to Ladybird, a truly independent web browser
Ladybird is an independent web browser project prioritizing performance, stability, and security. It's developed from scratch, adheres to web standards, and plans an Alpha release in 2026 for Linux, macOS, and Unix-like systems. Funding comes from sponsorships and donations, with no user monetization. Developers can contribute via GitHub and Discord. The team includes paid engineers and volunteers, with potential expansion. Future plans may involve Windows and mobile support, exploring languages beyond C++. Sponsorships are unrestricted to maintain project independence.
Exploring biphasic programming: a new approach in language design
Biphasic programming introduces new language design trends like Zig's "comptime" for compile-time execution, React Server Components for flexible rendering, and Winglang's phase-specific code for cloud applications.
Chicken Scheme
CHICKEN is a Scheme compiler generating efficient C code, supporting R5RS and R7RS standards with extensions. It's lightweight, cross-platform, extensible with libraries, well-documented, and actively supported.
Bio – experimental Lisp dialect, written in Zig
Bio is an experimental Lisp dialect on GitHub, featuring macros, garbage collection, and lambda expressions. Documentation is ongoing, with examples in `std.lisp` and `test.lisp`. Explore for more details.
0 commentsRelated
Welcome to Ladybird
Ladybird is a non-profit web browser project aiming for modern browsing with performance and security. Developed independently, it targets Linux and macOS, funded by sponsorships and donations, welcoming community contributions.
Welcome to Ladybird, a truly independent web browser
Ladybird is an independent web browser project prioritizing performance, stability, and security. It's developed from scratch, adheres to web standards, and plans an Alpha release in 2026 for Linux, macOS, and Unix-like systems. Funding comes from sponsorships and donations, with no user monetization. Developers can contribute via GitHub and Discord. The team includes paid engineers and volunteers, with potential expansion. Future plans may involve Windows and mobile support, exploring languages beyond C++. Sponsorships are unrestricted to maintain project independence.
Exploring biphasic programming: a new approach in language design
Biphasic programming introduces new language design trends like Zig's "comptime" for compile-time execution, React Server Components for flexible rendering, and Winglang's phase-specific code for cloud applications.
Chicken Scheme
CHICKEN is a Scheme compiler generating efficient C code, supporting R5RS and R7RS standards with extensions. It's lightweight, cross-platform, extensible with libraries, well-documented, and actively supported.
Bio – experimental Lisp dialect, written in Zig
Bio is an experimental Lisp dialect on GitHub, featuring macros, garbage collection, and lambda expressions. Documentation is ongoing, with examples in `std.lisp` and `test.lisp`. Explore for more details.