#satysfi

Caleb Maclennanalerque
2023-12-24

I've recently launched an idea at polytype.dev — a sort of Rosetta Stone for engines.

The goal is to build up a sample gallery that showcases both differences and similarities between the input and output of , , , , , , , , , and potentially others.

The source code is at github.com/alerque/polytype and contributions are very welcome! The UI in particular could use the touch of a front-end developer!

2023-07-09

SATySFi Language Server、SATySFi Workshop、良い。 #SATySFi

2022-09-24
2022-06-07

ぷり on Twitter: "今年もSATySFiのソフトウェアカンファレンスをやります! 新しい組版ソフトウェアであるSATySFiの“今”を知ることができる貴重な機会です ぜひご参加ください!!!!! #SATySFi #satysficonf t.co/H7H6lVIdgp" / Twitter twitter.com/puripuri2100/statu

2021-02-22

動的計画法は既出だけど,TeX/SATySFi/Pandoc で線型計画法チャンスはまだあるのでは?
#TeX言語 #satysfi #pandoc

2021-02-13

『TeX 言語なしでもわかる! expl3』
『TeX を知らなくてもわかる! SATySFi のありがたみ』

☝️誰か早く書くべき.

#expl3 #satysfi

2021-02-11

SATySFi はもっといいらしいぞ #satysfi

ワトソンwtsnjp@mstdn.jp
2019-10-29

近い未来に「SATySFi で型安全に論文原稿を書いたのにバックエンドの LaTeX 処理で99ページ目にしてイミフなエラーが出た💢」っていう感じのが観測されそう.
#satysfi #LaTeX #アレ

ワトソンwtsnjp@mstdn.jp
2019-10-18

僕も最近 Twitter で愚痴ってたら SATySFi の作者がリプをくれて研究が進んだ事案がある.SATySFi の作者すごい.
#satysfi

ワトソンwtsnjp@mstdn.jp
2019-10-18

「SATySFi の作者がどんな人かというと Twitter で『!』とか『?』とかツイートしている人です」
#satysfi #regexfesta

2019-03-14

#satysfi で適当な文章を書いて練習している t.co/xcD99BT8YV

ワトソンwtsnjp@mstdn.jp
2019-03-02

そういえば,ボルネオ島に行っている間に The SATySFibook を読破しました.おそらく私がボルネオ島で The SATySFibook を読破した初の人類だと思います #satysfi #satysfibook

ワトソンwtsnjp@mstdn.jp
2019-01-01

#SATySFi には平方根を計算するプリミティブがないそうですが,#expl3 にはあります.

ワトソンwtsnjp@mstdn.jp
2018-10-21

これだけはゼッタイゼッタイゼッタイやっちゃアカンやつだわ……
#texlive #satysfi twitter.com/puripuri2100/statu

ワトソンwtsnjp@mstdn.jp
2018-10-21

(残念ながら,これで面白くなるには SATySFi の言語仕様がマトモすぎる気もする)
#えっ #satysfi

ワトソンwtsnjp@mstdn.jp
2018-10-21

「(普通の言語)でプログラミング入門しました」より「TeX 言語でプログラミング入門しました」の方が面白いように「(OCaml/Haskell など)で関数プログラミング入門しました」より「SATySFi で関数プログラミング入門しました」の方が話として面白い説.
#TeX言語 #satysfi

ワトソンwtsnjp@mstdn.jp
2018-09-03

去年こんなツイートがあったわけだけど,gfn 氏は SATySFi を発表したし,私も llmk を鋭意開発中なので,若手 TeX 開発者は有言実行しています(主語が大きい)
github.com/gfngfn/SATySFi
github.com/wtsnjp/llmk
#satysfi #llmk twitter.com/zr_tex8r/status/90

2017-11-15

#SATySFi 、MLぽい

まちカドおるみん御嬢様orumin@mstdn.maud.io
2017-11-15

それと最近は Macrodown 改め SATySFi というのが開発中でして。(Twitter で #SATySFi で検索しよう)

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst