andrcmdr

System λ

The untyped Lambda Calculus

e ::=             terms:
  x               variable
  e e             application
  λ x . e         abstraction

andrcmdr

http://radio.garden/live/ibiza/costadelmar-radio/

http://radio.garden/live/ibiza/openlab/

http://radio.garden/live/ibiza/beachgrooves-radio/

http://radio.garden/live/palma/fibwi-radio/

http://radio.garden/live/palma/mallorca-sunshine-radio/

andrcmdr

Dependencies

1. usb_modeswitch, usb_modeswitch-data
2. libusb1
3. libusb-devel(Fedora), libusb-dev(Debian based)

Configuration

By default, your linux box would register your Huawei E8372 as a Mass Storage device and not (somehow) as a modem. First, make sure you have the exace same device we're talking about. This can be confirmed by looking at 2 values. Give the following command (while the dongle is plugged in):

    sudo su
    lsusb | grep Huawei

andrcmdr

import (
    math
    os
    strconv
)

fn dcdc(x f64) f64 {
    return (x/(math.round(x/60)*60)-math.round(x/(math.round(x/60)*60)))*60*60*24*-1
}

andrcmdr

Async/Await for Swift

• Proposal: SE-XXXX
• Authors: Chris Lattner, Joe Groff

Introduction

Modern Cocoa development involves a lot of asynchronous programming using closures and completion handlers, but these APIs are hard to use. This gets particularly problematic when many asynchronous operations are used, error handling is required, or control flow between asynchronous calls gets complicated. This proposal describes a language extension to make this a lot more natural and less error prone.

This paper introduces a first class Coroutine model to Swift. Functions can opt into to being async, allowing the programmer to compose complex logic involving asynchronous operations, leaving the compiler in charge of producing the necessary closures and state machines to implement that logic.

andrcmdr

Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an actual type.

A type constructor can be thought of in these analogies:

• like a function in the type universe
• as a type with a "hole" in it

andrcmdr

Keybase proof

I hereby claim:

• I am andrcmdr on github.
• I am commandr (https://keybase.io/commandr) on keybase.
• I have a public key whose fingerprint is 3A2D 77D5 72D9 729A 0A82 C26D 3F14 B3B7 4890 C15F

To claim this, I am signing this object:

andrcmdr

Here some questions for #kotlinask_13 about #Kolin features:

⦁ Possibilities of compiling Kotlin/JVM code (with using of Vert.x project, for example) with GraalVM/SubstrateVM AoT Compiler - possible time/memory overhead during compile-time phase

⦁ Possibilities of applying project Loom and using of JVM fibers for Kotlin coroutines and suspend functions (for optimisation purposes maybe) in the future

⦁ Possibilities and abilities of writing (preemptive) thread dispatcher/scheduler/monitor for coroutines management, i.e. M:N mapping pool of concurrent fibers (coroutines) to thread-pool of system threads - for Kotlin/JVM and Kotlin/Native

⦁ Garbage collecting and reference counting (ARC?) mechanisms/algorithms in Kotlin/Native - possible overhead

andrcmdr

/**********************************************
 * LICENSE
 * --------
 * https://github.com/georocket/georocket#license
 * http://www.apache.org/licenses/LICENSE-2.0
 **********************************************/

package xml;

andrcmdr

{}