Bringing time and space together for universal symmetry
Associate Professor Joan Vaccaro, of Griffith University's Centre for Quantum Dynamics Credit: Griffith University New research from Griffith University's Centre for Quantum Dynamics is broadening perspectives on time and space. In a paper published in the prestigious journal Proceedings of the Royal Society A, Associate Professor Joan Vaccaro challenges the long-held presumption that time evoluti
Self Driving RC Car
Objective Modify a RC car to handle three tasks: self-driving on the track, stop sign and traffic light detection, and front collision avoidance. System Design The system consists of three subsystems: input unit (camera, ultrasonic sensor), processing unit (computer) and RC car control unit. Input Unit A Raspberry Pi board (model B+), attached with a pi camera module and an HC-SR04 ultrasonic sens
Jupyter Blog
Open Community CallWe want to see all the cool things you’re doing with Jupyter, so we’re holding an open call with the community for people to chat, and share their creations and work. Think of it as a “virtual JupyterCon”: It’s a place to announce and share fun things happening in the Jupyter community.
Writing an Async Logger in Nim · HookRace Blog
Surprisingly I’m working on HookRace again. I might share a few interesting code snippets and thoughts in this blog along the way. I’m still going with Nim as the programming language. For an easy start let’s write a logging module that can be used everywhere in the game’s server as well as client. There are mostly three aspects that I care about: Can be configured to write to different files and/
Rust: The `?` operator · m4rw3r
m4rw3r The blog of Martin Wernstål Rust: The `?` operator 28 Jan 2016 For people who are not familiar with Haskell or Scala, Rust's Option and Result types might feel a bit cumbersome and verbose to work with. To make it easier and less verbose to use them the RFC PR #243: Trait-based exception handling has been proposed. In this blog post I will go through some basics of the RFC and then compare
Memory profiling in Haskell | Pusher blog
At Pusher we are currently writing a high performance system in Haskell and blogging about it along the way. In our first blog post we explained some tools and tips that we have used for improving CPU time of our program. We’ve received requests for part two, so here it is. In this post we’re \[…\] At Pusher we are currently writing a high performance system in Haskell and blogging about it along
ネタの蛇足的解説 - きままにブログ
本記事はhttps://twitter.com/staryoshi/status/669763731610431488のたくさんの反響を記念して蛇足的な解説を並べたものです。あまりC++に興味を持っていなかった人もこれを見て興味を持っていただけたら幸いです。もちろん、実際にはこれらの表記で困ることはないのですが、こんなこともできてしまうという一種の例でもあります。 このコラの目的は、同一の識別子を用いて関数呼び出しに見えるが実際の定義の仕方は異なるというものはどのくらいあるのか、というのが発端です。ちなみにアイディは宇月まりな on Twitter: "僕が古文を嫌う理由 https://t.co/XiONjbFDYb"より。全く外見は同じだが中身が違う……C++だ、と思って作りました。 当然、いかに目をこらしても文字に違いはありませんので文脈から読み取るしかありません。 その前に 今回、
Photo Tourism: Microsoft Research, Interactive Visual Media Group
The key to scalable program synthesis is modular verification, which enables pruning inviable candidates for each component of the target program independently. In this talk I will present Synquid: a synthesizer that takes advantage of the modularity offered by refinement type checking to efficiently generate recursive functional programs that satisfy a given specification in the form of a refinem
Visualizing Concurrency in Go · divan's blog
If you prefer video over blog posts, here is my talk on this at GopherCon 2016: https://www.youtube.com/watch?v=KyuFeiG3Y60 One of the strongest sides of Go programming language is a built-in concurrency based on Tony Hoare’s CSP paper. Go is designed with concurrency in mind and allows us to build complex concurrent pipelines. But have you ever wondered - how various concurrency patterns look lik
Rust vs. C++: Fine-grained Performance
Github: http://github.com/ncm/nytm-spelling-bee Reddit: https://redd.it/42qc78 If Rust is to take on work previously reserved to C++, we need to know how well it does what C++ does best. What’s fast, what’s slow? What’s harder to do, what’s easier? I wouldn’t know how to look up answers for those questions, but I can write programs. I had a C++ program that was just the right length to experiment
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「HellRacer2016」紹介ページ – 2dgames.jp
Functional Programming Patterns v3
https://twentyfives.net/clap-rs-2-0-is-released/
A hundred lints — Llogiq on stuff
Stateful: A Rust Experimental Syntax Extension for Generators and More - Chasing Rabbits
http://www.cbdumas.com/posts/church_encoding2.html
http://tinykeep.com/ai/