Ant groups optimally amplify the effect of transiently informed individuals - Nature Communications
Collectively carrying a large load requires a high degree of coordination and is rare outside humans and ants. One facet of this coordination is the requirement to align forces such that inefficient tug-of-wars are avoided1,2. Indeed, it is known that group-living animals increase their level of coordination as conformist group members align their actions with those of their neighbours3,4,5. A dow
John Horton Conway: the world’s most charismatic mathematician | Siobhan Roberts
On a late September day in 1956, John Horton Conway left home with a trunk on his back. He was a skinny 18-year-old, with long, unkempt hair – a sort of proto-hippie – and although he generally preferred to go barefoot, on this occasion he wore strappy Jesus sandals. He travelled by steam train from Liverpool to Cambridge, where he was to start life as an undergraduate. During the five-hour journe
Alfredo Motta
Skip to main content About I am a Software Engineer with expertise in startup environments who loves building and leading effective teams. I value the customer over the technology, data and scientific experimentation over intuitions, enjoy the learning over being too serious. Currently, I’m a Chief Technology Officer at CreditSpring where we are building an innovative interest-free lending product
GitHub - billpmurphy/hask: Haskell language features and standard libraries in pure Python.
Hask is a pure-Python, zero-dependencies library that mimics most of the core language tools from Haskell, including: Full Hindley-Milner type system (with typeclasses) that will typecheck any function decorated with a Hask type signature Easy creation of new algebraic data types and new typeclasses, with Haskell-like syntax Pattern matching with case expressions Automagical function currying/part
Git 2.5, including multiple worktrees and triangular workflows
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
Parallel/Pipelined Conduit
Summary: I wrote a Conduit combinator which makes the upstream and downstream run in parallel. It makes Hoogle database generation faster. The Hoogle database generation parses lines one-by-one using haskell-src-exts, and then encodes each line and writes it to a file. Using Conduit, that ends up being roughly: parse =$= write Conduit ensures that parsing and writing are interleaved, so each line
RubySpec is Reborn!
TL;DR The Ruby Spec Suite is actively maintained at ruby/spec and MRI, JRuby, Opal and various individuals are contributing to it. Any contribution is welcome! Once Upon a 31st December … @brixen, the main contributor to RubySpec, decided to end the project. While no longer maintaining the project is understandable, ending it entirely might be a bit presumptuous. A few days later, @headius started
Blog: GHC Weekly News - 2015/07/29 – GHC
Browse by time: December 2018 (1) November 2018 (1) October 2018 (1) September 2018 (1) May 2018 (1) April 2018 (1) March 2018 (1) November 2017 (1) August 2017 (2) July 2017 (1) January 2017 (1) September 2016 (1) July 2016 (1) June 2016 (1) May 2016 (1) October 2015 (1) September 2015 (1) August 2015 (1) July 2015 (3) June 2015 (2) May 2015 (1) April 2015 (1) March 2015 (3) February 2015 (4) Jan
The Rust Programming Language
Google Tech Talk June 6, 2015 (click "show more" for more information) Presented by Alex Crichton ABSTRACT Rust is an exciting new programming language that combines fine-grained control over memory layout and allocation patterns with memory and thread safety. It reached 1.0 in May and is rapidly gaining acceptance in projects including Servo (Mozilla's next generation parallel layout engine), a
Binary in Javascript
Here is our packaged up tile data type in all of its 17 bits of glory. 00000100001100001 or just 2145. Now we come across another problem, how do we get those values into a number? parseInt with base 2? Binary literals? Unbeknownst to some, Javascript comes equipped with a relatively good set of bitwise operators. We can use these to perform all kinds of binary operations on our data. From here on
Optimized gzip/zip packages, 30-50% faster – defer time.Sleep()
I have worked on optimizing the standard library deflate function, and I am happy to announce revised gzip/zip packages, that on x64 is about 30-50% faster with slightly improved compression. Project: https://github.com/klauspost/compress All packages are drop-in replacements for the standard libraries, so you can use them by simply changing imports. Compressed car by César; Musée d’Art Contempora
:: bettercap
ベッターキャップ！ The Swiss Army knife for WiFi, Bluetooth Low Energy, wireless HID hijacking, CAN-bus and IPv4 and IPv6 networks reconnaissance and MITM attacks. Read the project introduction to get an idea of what bettercap can do for you, install it, RTFM and start hacking all the things!!! Follow @bettercap Star
Type-checked matrix operations in Rust
Type-checked matrix operations in Rust Jul 28, 2015 I recently started playing with Rust's PhantomData, and decided to implement type-checked matrix operations. It turns out that, not only does it work like a charm, the implementation is also surprisingly self-evident. So, let's see how this works! Integer generics The first problem that I encountered was Rust's lack of support for value parameter
Internal Languages of Higher Categories | The n-Category Café
Internal Languages of Higher Categories Posted by Mike Shulman (guest post by Chris Kapulkin) I recently posted the following preprint to the arXiv: Locally cartesian closed quasicategories from type theory, arXiv:1507.02648. Btw if you’re not the kind of person who likes to read mathematical papers, I also gave a talk about the above mentioned work in Oxford, so you may prefer to watch it instead
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Mapping Auto-context Decision Forests to Deep ConvNets for Semantic Segmentation
Exciting New Things in F# 4.0
Maniagnosis - More Abstracted Algebra in Rust
Zombie Dice Score Card in Elm
How Google Translate squeezes deep learning onto a phone
Rust std from 6c4e236b955ba6a2dd8ef8e054f50ff64135a8be · brson/annotated-std-rs@e50c2b1
https://qiita.com/hiyakashi_/items/e3d95da02593d1c9dd11
GitHub - RPISEC/MBE: Course materials for Modern Binary Exploitation by RPISEC