Flex
Flex The Flex group uses technology to improve the range and fluidity of human expression. We invent new concepts and representations that amplify people’s ability to create, connect, and understand. We create tools that blur the line between using and creating, in order to provide a conversational medium for thinking and doing. We are part of HARC at Y Combinator Research. People Alex Warth (PI)
On Lisp日本語訳 草稿置き場
On Lisp邦訳 草稿置き場 Japanese texts only! 代表的LispハッカーのPaul Graham氏がご自分のサイト www.paulgraham.com で公開なさっている著書 "On Lisp" の邦訳を，2007年3月にオーム社から出版しました． On Lisp | オーム社eStore(β) On Lisp サポートページ（practical-schemeに間借り） この"On Lisp"は草稿を公開しながら翻訳を進めてきましたが， 草稿は今後もLaTeXソースおよびPDFファイルとして公開を続けていきます． 書籍の出版に当たっては念入りのレビューにより数多くの誤り等が修正されましたが，この草稿は修正前のものです． とは言え大体は「読める」レベルです． 「いきなり買うのはためらわれるけど流し読みしたい」「内容の一部だけ参考にしたい」等の場合に役立つでしょう．
CAP: Computer-Aided Programming
We develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems. PROJECTS Sketch — A synthesis-enabled language that allows programmers to write programs with holes and then use constraint-based synthesis to discover the missing code. People: Armando Solar-Lezama Castor — A deductive synthesis tool that generates work
Bret Victor, human being
I’ve dedicated my life to creating a humane dynamic medium. I am (now and forever) making Dynamicland. Real-world dynamic medium. 2024 Computational Public Space: cities for understanding Dynamicland documentation space: goes pretty deep — Intro, FAQ, 2019, 2020, 2021, 2022, making of 2023 The communal science lab: dream of a molecular makerspace Improvising cellular playgrounds in Realtalk: dynam
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - marciok/Mu: It's a Swift playground explaining how to create a tiny programming language named Mu
