Links to accepted papers for the 2014 ACM SIGPLAN Haskell Symposium (Haskell 2014). (You may also be interested in ICFP 2014 accepted papers.) Status of links at last commit: Keynote: UniKernels: Functional Operating System Design (video) (video of discussion) by Anil Madhavapeddy Keynote: Interleaving Data and Effects (video) by Patricia Johann PC Chair Report & Future of Haskell discussion (vide
Feval: Parsing a functional language with Parsec How to use Parsec to parse a functional programming language In the following we will discuss how to parse the grammar x ::= ( a | b | ... | z ) ( a | b | ... | z | A | B | ... | Z | 0 | 1 | ... | 9 | _ | ' )* v ::= x | True | False | 0 | 1 | -1 | 2 | -2 | ... | Function x -> e | [] | [v, v, ..., v] e ::= v | (e) | e && e | e "||" e | !e | e + e | e
This article was ported from my old Wordpress blog here, If you see any issues with the rendering or layout, please send me an email. Here’s a simple puzzle with a neat story. A rich old woman is drafting her will and wants to distribute her expansive estate equally amongst her five children. But her children are very greedy, and the woman knows that if he leaves her will unprotected her children
Overview FlatBuffers is an efficient cross platform serialization library for C++, C#, C, Go, Java, Kotlin, JavaScript, Lobster, Lua, TypeScript, PHP, Python, Rust and Swift. It was originally created at Google for game development and other performance-critical applications. It is available as Open Source on GitHub under the Apache license, v2 (see LICENSE.txt). Why use FlatBuffers? Access to ser
I get asked about my default settings for Linux fairly frequently and was writing this in an email and decided to post it for broader use. If you have better recommendations, by all means please send me a pull request. The Edit button at the top of this page will get you there. There are a couple groups of settings below. Most of the settings below should end up in /etc/sysctl.conf or /etc/sysctl.
AI & MLLearn about artificial intelligence and machine learning across the GitHub ecosystem and the wider industry. Generative AILearn how to build with generative AI. GitHub CopilotChange how you work with GitHub Copilot. LLMsEverything developers need to know about LLMs. Machine learningMachine learning tips, tricks, and best practices. How AI code generation worksExplore the capabilities and be
About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
While much of the focus in the Julia community has been on the performance aspects of Julia relative to other scientific computing languages, Julia is also perfectly suited to ‘glue’ together multiple data sources/languages. In this blog post, I will cover how to create an interactive plot using Gadfly.jl, by first preparing the data using Hadoop and Teradata Aster via ODBC.jl. The example problem
Scaling Challenges: Productivity, Cost Efficiency, and Microservice Management The main objective of this article is to delve into the technical complexities and strategic adjustments undertaken by Trainline. By examining challenges such as managing peak transaction volumes and orchestrating microservice architectures, we aim to uncover the valuable lessons learned and insights gained from Trainli
2014-06-21 ユニティちゃんのゲームをUnityを使わずにOpenGLで作る[1]:モデル表示してアニメーションまで OpenGL ES 3.0 iOS 7 ユニティちゃん ユニティちゃんでiOS用のゲームを作ってみます。 普通にUnity使ってもプログラマー的には面白く無いのでOpenGL ES 3.0を使ってガリガリ書いていきます。とりあえず今回はモデルを表示してアニメーションさせるまで。 ライセンス このアセットは、『ユニティちゃんライセンス』で提供されています。このアセットをご利用される場合は、『キャラクター利用のガイドライン』も併せてご確認ください。 プロジェクト https://github.com/ramemiso/ios_unitychan_es3公式さんにユニティちゃんライセンスに同意する形でなら公開しても問題ないと返答頂いたので、ライセンス表記とライセンスフ
The Glorious Glasgow Haskell Compiler.
I recently released Babel version 0.4.0 on Github. Babel is the official package manager for the Nimrod programming language. With this release I decided it's time to talk about how far Babel has come since its initial release. Myself and the rest of the Nimrod community have been working very hard on getting the design of Babel just right, it took us 3 iterations and a lot of hard work to get to
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く