NESFab
NESFab is a new programming language for creating NES games. Designed with 8-bit limitations in mind, the language is more ergonomic to use than C, while also producing faster assembly code. It's easy to get started with, and has a useful set of libraries for making your first — or hundredth — NES game. // This small program plays a sound effect. // Variables: vars /sound UU pitch = 1000 // Sends
sips: Scriptable image processing system
I wanted to convert some .webp images to .png on my Mac. I asked ChatGPT: On MacOS use CLI to convert webp images to PNG And it told me about sips: sips -s format png image.webp --out image.png Or to run it against all PNGs in a folder: for file in *.webp; do sips -s format png "$file" --out "${file%.*}.png"; done I had never heard of sips before - but apparently it's been a default command on mac
直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton
// 割る2をする関数の引数が偶数であることを型によって強制する例（実用性はない） data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非効率すぎる他倍長整数 type Even = O | S[Odd] type Odd = S[Even] // 偶数を引数にとって2で割った結果を言語組込みの整数として返す関数 div2 : Even -> I64 = // 網羅性チェックつきのパターンマッチ | O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型は直和型の上位互換である（追記あり）。関数型言語を作るときは直和型の代わりにユニオン型を採用するのもあり。 はじめに Cottonというプログラミング言語を2021年の夏頃から作
How Austral’s Linear Type Checker Works
What I cannot create, I do not understand. — Richard Feynman Austral is a new programming language featuring linear types and capability-based security. Linear types give you compile-time memory and resource safety, capability-based security allows you to constrain the kind of side effects a program can do. In my last post, I introduced the language and went over what linear types are, how they wo
Funny Programming Languages
January 19, 2023 Funny Programming Languages One of the weirdest and most wonderful things about people is that they can make a joke out of anything. For any human discipline there's people making jokes about that discipline. In programming, that starts with memes like "how do I exit vim" (as typified in places like r/programmerhumor), or funny examples of awful code (such as from TheDailyWTF).1 T
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Native Implementation of Mutable Value Semantics
Programming with union, intersection, and negation types
Alice
Announcing Chapel 1.30.0!
Programming Language Design and Implementation - A Stack Exchange Proposal
Korean as a Concatenative, Stack-Oriented Language
jank development update - Optimizing a ray tracer
Hofstadter: An esoteric programming language with concurrency, regex, and web requests
What Austral Proves (Crash Lime)
YueScript
Learning Jai via Advent of Code - ForrestTheWoods
GitHub - antirez/aocla: A small stack based, written to bring Advent of Code 2022 Day 13 puzzle to the extreme consequences
Darklang Release 9
GitHub - darrenks/atlas: concise functionless functional esolang
How Memory Safety Approaches Speed Up and Slow Down Development Velocity