ブラック・ラムダCorp長ヴォルコフ:サマースクールの新しい方向と助成金







7月より遅くなく、次のGoTo学校が開催されました。 今回、Arduin、Python、およびその他の標準セットにいくつかの種類を追加することを決定し、Haskellが発生しました。 6人の若者の小隊(60人の共通小隊の一部)が元気に行進しました \ラ 構文の基礎である微積分は、階乗のラップリストを書くことでFPの開始に合格し、「高次のパラメトリック多相関数」というフレーズと、Volkovが主導する型と型クラスの固有の理解を学びました。







また、情報セキュリティ、暗号通貨、React Native、 nix



、そしてもちろんgit



要素もありました。







そして、Haskellに関する本を書き始めました。







一般的に、それは熱心に判明しました。







(参加者、ラムダ、イロソの猫の写真の下で、新しい方向と助成金の発表)










子どもたちを誘惑するために、「アプリケーションプログラミング:Young Fighter Course 2」という方向を(KMB1の論理的な継続として)呼びました。 彼らは電報ボットの論理的な継続を待っていると信じて、疑いさえしませんでした...







で始めました \ラ -計算。

こんにちはラムダ

のような興味深い表現を通して  lambdad.d lambdad.dd lambdad.ddd lambdad.dx 理由がわかった 20/2=52 何が収束し、何が発散し、何が  alpha 等価およびパーサーコンビネーター、パーサーなしのみ。 そして、カレーがどのように機能するかを学びました。







方向の概念の1つは他のものの組み合わせでした:バイオインフォマティクス、応用プログラミングおよびデータ分析、およびタスクは適切でした:相補的なDNAチェーンを見つけ、タイプでDNAをエンコードし、学校銀行のHTTPクライアントを作成し、サンプルベクトルによって吸引ポンプのクラスを決定します彼の仕事の質。







 data AA = A | C | G | T
      
      





最初の週の終わりに、進歩的な教育概念が参加者を待っていました:スポーツ分類。 質問を学習すると、約350m走ってすぐに答えなければなりませんでした。 走りながら考えます。







Haskell BABY:目をつまないで!

観客への扉







ここのどこかでgit



を学びました。 パッチをメールで送信することは私の義務だと考えましたが、それでもGitHubとGitLabを使用しました。 Pagesで簡単なサイトを作成しました。







$ git format-patch <...>









渡された高次関数と影響を受ける折り畳み。 吸引ポンプの問題を解決しました:正方行列ilosos_id



/ sample_id



(行-吸引ポンプ、列-吸引品質測定)が与えられると、各吸引ポンプのクラス(最初、2番目、...)を見つけます。







イロソス







[0.2, 0.44, 0.9, 0.3, 0.6]



Ilosos3



[0.2, 0.44, 0.9, 0.3, 0.6]



=> Ilosos3



=> Ilosos3









最初に、ベクトルは中央に折り畳まれ(ここでは算術演算)、次に特定のタイプIlosos3 :: Ilosos



変換されます。







stack



使用も開始しました。このタスクは、スタックプロジェクトとしてのみ、 git



介してのみ渡すことができました。







2番目のテストは、口頭部分と筆記部分(両方のケースで平均スコアが0.6



)とMapReduce tenichでの講義で行われ、情報中断の時間でした(前に自発的な30分が発生しました。同じ中断が3ペア続きました)。







ハッシュからメッセンジャー(通信の集中化、フラグメンテーション、デフォルトでは非セキュアなど)には当てはまらない(ほぼ)ビットコインまで、暗号通貨がゼロからどのように機能するかについて議論しました-そして、少し-自由の一般的な重要性は何ですか?そして、なぜグローバルな監視が常に素晴らしいアイデアとは限らないのか。







統一状態検査の生成







途中で、ディストピアは現在使用されていないことが判明しました。聴衆の80%は、1984年、We、Brave New Worldのいずれも読んでいませんでした。







これはもはや聴衆ではなく、開かれた聴衆で起こりました。







聴衆

前:興味深いポスターとイラストレーターの本、Stepan Dmitriev







講堂

後:左から右:目を転がし、目を下げ、*体*







予期せぬことが発見されました。何かを聞いたが、運動(Haskellなど)や記録をしないと、忘れがちです。 そのため、概要を書くというコンセプトが登場しました。 しかし、ただではなく、一緒に(Etherpadで)。







私はすでにここに書いています、あなたは反変ファンクターです!

ティンバークが難しいことが明らかになりました。







休憩の終了後、私たちは分裂しました:小さな暗号愛好家はRSA(およびMapReduceの残りの部分)を書き、小さなgrafomanovはHaskellに関する本を書きました。







コース中に英語で多くの情報源から理論を読むことが困難だった場合、独自の、良い、フィット感、大胆不敵な文章を書いてみませんか?







ブックカバー

ブックカバー







そして、彼らは同じことを書きました! (これまでのところ、章だけですが、それでもです。)-詳細は後ほど。







マスタークラスもありました。ReactNative(@kulikovpavel)とScala(@tvorogme)によるものです。







一般的に、それは熱心に判明しました。










しかし、十分ではありません。 そのため、注意深い読者は、文字「m」の付いた単語が上にないことに気付くでしょう。 そして、私たちは暗号通貨について話しましたが、私たちはしませんでした。 そして、libp2p上の分散chatbikでさえ時間がありませんでした。







したがって、私は繰り返したいと思います。







そのため、新しい方向、 Black Lambdaを導入しています。







ブラックラムダ







通常、アプリケーションプログラマーは、そのような抽象化の中間レベルに住んでいます:言語の仮想マシン/コンパイラー(およびハードウェアでさらに)で何が起こっているかを特定の詳細で知りませんが、クラスや関数よりも複雑な抽象化メカニズム-マクロなどまたはパターン。 または数学。







これは悪いことではありませんが、多少制限があります。







したがって、Lambdaでは、2つの方向に移動します。1つは抽象化の破壊、もう1つは抽象化の導入です。 下と上、それぞれ鉄と数学へ。 Pythonでhello worldを作成して、そのインタープリターを選択しましょう。 あなたの書いて  mu python。 バイトコードとデータ構造を掘り下げます。 キーボードとそのファームウェアおよびマークルツリー。 暗号通貨をやってみましょう。 さびで。 Rが必要な理由を理解するためにCで書きましょう。 モノイドを研究し、セミグループがグループに似ている理由を少しだけ理解します。







計画には、路上でのカップル、ウォーキングワークショップ、奇妙なポスター、髪のLEDが含まれます。 そして働くこと。







一緒に来て いいね 二重に 次のシフトは8月16日から29日です。







そして、あなたがpobotitする場合-あなたは到着のための割引や助成金を得ることができます。 ここにタスクがあります。







ラムダ式の場合、代数は二重に美味です!







楽しんでください。







13歳から18歳までの若いプログラマーを招待します 。学校の詳細はこちらです。 参加するには、小さな診断テストに合格する必要があります。また、最も顕著なmakarを持つタスクの1つを完了することで、助成金と割引を受ける機会もあります。

すでに18をお持ちの場合は、メンターまたはスピーカーライティングに興味があるかもしれません。








All Articles