![Mathematicians invent new way to slice pizza into exotic shapes](https://cdn-ak-scissors.b.st-hatena.com/image/square/d07a0deafdb7676b1c2a3dfb2db6b875abf1db44/height=288;version=1;width=512/https%3A%2F%2Fimages.newscientist.com%2Fwp-content%2Fuploads%2F2016%2F01%2Fdn28743-5_800.jpg)
When Pope Francis visits Mexico City next month, he will draw the faithful from around the country. The Mexican capital, though, is attracting pilgrims of another kind: travelers seeking some of the world’s best cuisine, museums and forward-thinking design. With young people from around Latin America and Spain streaming into the city, and the Mexican peso hitting record lows against the dollar, th
French composer and conductor Pierre Boulez has died at the age of 90. His family said the world-renowned musician died on Tuesday at his home in Baden-Baden, Germany. "For all those who met him and were able to appreciate his creative energy, his artistic vigour... will remain alive and strong," they said. As well as being a world-famous composer and conductor he was a prolific writer and spearhe
Dear Oracle, Please Release the JavaScript Trademark2022-09-03 In 1995 Netscape partnered with Sun Microsystems to create interactive websites. Famously Brendan Eich spent only 10 days to create the first version of JavaScript - a dynamic programming language with a roughly syntactic lineage from Sun’s Java language. As a result of this partnership Sun held the trademark “JavaScript”. In 2009 Orac
YouCompleteMe now supports Rust auto-completion and GoTo. Rust semantic analysis is provided by racerd, a JSON/HTTP server powered by racer. YCM with Rust provides a superior experience to current vim-racer, emacs-racer, and other racer-based plugins. YouCompleteMe For the uninitiated, YouCompleteMe is a fast, fuzzy, as-you-type code-completion engine built originally for Vim. YCM runs on Mac, Lin
2015年12月17日、Google Chrome の JavaScript エンジン(処理系)である V8 の公式ブログにて、 JavaScript の標準的な乱数生成APIである Math.random() の背後で使われているアルゴリズムの変更がアナウンスされました。 Math.random() 関数は JavaScript を利用する際には比較的よく使われる関数ですので、親しみのある方も多いのではないかと思います。 新たなバグの発見や、従来より優秀なアルゴリズムの発見によってアルゴリズムが変更されること自体はそれほど珍しくはないものの、 技術的には枯れていると思われる Math.random() のような基本的な処理の背後のアルゴリズムが変更されたことに驚きを感じる方も少なくないかと思いますが、 それ以上に注目すべきはその変更後のアルゴリズムです。 実際に採用されたアルゴリズムの原
Update The ERC-funded RustBelt project has now formally ended (as of April 2021), but the project continues in spirit, and we continue to seek exceptional candidates for PhD and postdoc positions at MPI-SWS. We look forward to continued exploration of Rust, Iris, separation logic, relaxed memory models, and more. See below for information on how to apply. Original announcement We are very pleased
serversessionというライブラリがリリースされました これはサーバーサイドで管理するセッションを実装するためのライブラリです。今までもwai-sessionやSpockなどのようにそれぞれのフレームワーク向けに実装されたものはありましたが当然使い方がそれぞれ異なるという欠点がありました。しかし今後はserversessionを使うことで統一的に扱うことが出来るようになります。さらにserversessionはセッションのロジックを実装するところをfrontend、セッションを管理するところをbackendとして分離しているので目的にあった技術を組み合わせて使うことが出来ます。今あるのは frontend serversession-frontend-yesod serversession-frontend-snap serversession-frontend-wai backe
Blog HaSKI An FPGA-based SKI calculus evaluator written in Haskell/Cλash HaSKI (github) is my attempt at building a reasonably simple hardware-based evaluator for the dead-simple, turing-complete SKI combinator calculus. Background: Circuit design Currently, the vast majority of hardware projects are written using a "Hardware Description Language", or HDL. These are text-based languages that allow
Microsoftが開発したTheorem Prover Leanを紹介します. 特徴 他の言語と軽く比較する. あくまで個人的な感想です. Lean Coq*1 Agda Isabelle 証明の書き方 structured proof, tactic, 函数定義 tactic 函数定義 structured proof, tactic 開発環境 emacs emacs, CoqIDE emacs jEdit ドキュメント × ◎ ○ △ implicit parameter ○ ○ △ (型を使わないので不要) Equational Reasoning ○(builtinなものはOK. 独自演算子は条件付き) ?(知らない) ◎ ○(基本的にbuiltinなもののみサポート) 自動証明 ×(なし?) ○(auto, omegaなど) △(emacsのautoコマンド) ◎(auto,
Accessing nested data in Haskell without lenses is “horrifically annoying,” confides Roger Curley. In this talk Roger takes a magnifying glass to lenses, showing how they emerged from the combination of structure modification functions with functors. After motivating lens construction and stepping through how they are evaluated at runtime he finishes with an example of consuming a JSON API. Downlo
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
How to C in 2016 This is a draft I wrote in early 2015 and never got around to publishing. Here’s the mostly unpolished version because it wasn’t doing anybody any good sitting in my drafts folder. The simplest change was updating year 2015 to 2016 at publication time. (Update: Many people have submitted revisions, notes, and improvements. All contributions have been incorporated throughout the pa
This is the second in a series of posts will discuss why garbage collection is hard, especially for Rust, and brainstorm about solutions to the problems we face. The previous post wrote down some criteria for integration. Now I want to delve into why satisfying those criteria is hard, at least in Rust as it stands today. (The body of this post makes heavy use of client-side rendering, because of a
Build a robust Rust ecosystem around seL4 Create a highly reliable persistent capability OS, continuing the heritage of EROS and Coyotos To get started with Rust and seL4, first set up a build environment. From there, the sky’s the limit! We’re currently working on a tutorial and some examples while the OS is being created. In the meantime, maybe you’d like to contribute?
This is the third article in series of articles about the design of Rotor, a library doing asynchronous IO in Rust. It has been about three months since my first article was published. And my first asynchronous code written in rust is almost a year old. That code still works in production (in a non-mission-critical role). This is to say that it’s time to stop rewriting rotor on every occasion and
Write web API services Quickly build Haskell client for existing API services Generate API console interface for your web API (coming soon) Generate a mock server that can mock your responses and requests WebApi is built with WAI. It makes use of the strong type system of haskell which lets to Create a type safe routing system. Enable type safe generation of links. Specify a contract for the APIs.
As of March 2020, School of Haskell has been switched to read-only mode. This is an FP Complete coding standards document written by Michael Snoyman. I'm exposing it to the outside world, but some of the prose definitely maintains the coding standard approach. This piece is highly opinionated, and I'm sure some people will have different thoughts on how to do this. There is much debate in the Hask
Edit: you can find this code on Hackage at free-vl. Algebraic effects seem to be a sort of holy grail in functional programming. What I mean when I say “algebraic effect” here is: treating any effect like a value or type in your program, while also having some simple operations (an algebra) to combine effects. What does this look like practically? The two languages that come to mind are Idris and
Update: This article is part of a series. Check out the full series: Part 1, Part 2, Part 3, Part 4, Part 5, Part 6, Part 7 and Part 8! You can also read this article in Italiano, Español, Français, Türkçe, Русский, 한국어 Português, فارسی, Tiếng Việt or 普通话. Giant update: I’ve written a new book based on these articles! It not only expands and updates all my articles, but it has tons of brand new co
In this post we’ll take a look at adding distributed rendering to tray_rust which will let us take advantage of multiple machines when rendering an image, like a compute cluster. To do this we’ll look at options for how to distribute the rendering job across multiple nodes and what sort of communication is needed synchronize their work. We’ll also look into how we can use mio to write an efficient
QubesOS provides a desktop operating system made up of multiple virtual machines, running under Xen. To protect against buggy network drivers, the physical network hardware is accessed only by a dedicated (and untrusted) "NetVM", which is connected to the rest of the system via a separate (trusted) "FirewallVM". This firewall VM runs Linux, processing network traffic with code written in C. In thi
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く