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, struggling
impossible dreams, or so it seems In 2013, I started the research lab that became Dynamicland. Everything related to that will be found on the new Dynamicland website once it goes public in August 2024. Here is some pre-Dynamicland work. More can be found on my previous website. 2015 What Can a Technologist Do About Climate Change? 2014 The Humane Representation of Thought & notes Seeing Spaces 2
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - marciok/Mu: It's a Swift playground explaining how to create a tiny programming language named Mu
