Skip to content

Instantly share code, notes, and snippets.

View mrLSD's full-sized avatar
🇺🇦
RISC-V ISA F# formal specification development

Evgeny Ukhanov mrLSD

🇺🇦
RISC-V ISA F# formal specification development
70 followers · 1 following
View GitHub Profile
@mrLSD
mrLSD / keypad.json
Last active May 15, 2020 19:46
NumPad for Karabiner (MacOS) - NumPad as PC Style keyboard
{
"title": "# Numeric Keypad",
"rules": [
{
"description": "Numeric Keypad Arrows",
"manipulators": [
{
"type": "basic",
"from": {
"key_code": "keypad_2"
@mrLSD
mrLSD / wat2wasmStdIn.go
Created January 21, 2020 14:40
wat2wasm StdIn CLI
package main
import (
"bytes"
"fmt"
"log"
"os/exec"
)
func main() {
@mrLSD
mrLSD / Install protobuf 3 on Ubuntu
Last active December 2, 2018 10:59 — forked from sofyan-ahmad/Install protobuf 3 on Ubuntu
# Make sure you grab the latest version
curl -OL https://github.com/google/protobuf/releases/download/v3.2.0/protoc-3.2.0-linux-x86_64.zip
# Unzip
unzip protoc-3.2.0-linux-x86_64.zip -d protoc3
# Move protoc to /usr/local/bin/
sudo mv protoc3/bin/* /usr/local/bin/
# Move protoc3/include to /usr/local/include/
@mrLSD
mrLSD / main.go
Created February 16, 2018 11:12
concurent map copy
package main
import (
"fmt"
"sync"
"time"
)
var m = make(map[string]int32)
var wg = sync.WaitGroup{}
@mrLSD
mrLSD / go_race
Last active February 7, 2018 12:13
WARNING: DATA RACE
Write at 0x0000008f5418 by goroutine 38:
git.assembla.com/dragonsuite/dragonsuite/Libs/REQREP.TestSendEvent.func1.3()
/home/evgeny/go/src/git.assembla.com/dragonsuite/dragonsuite/Libs/REQREP/sender_test.go:245 +0x257
github.com/smartystreets/goconvey/convey.parseAction.func1()
/home/evgeny/go/src/github.com/smartystreets/goconvey/convey/discovery.go:80 +0x3d
github.com/smartystreets/goconvey/convey.(*context).conveyInner()
/home/evgeny/go/src/github.com/smartystreets/goconvey/convey/context.go:261 +0x1a9
github.com/smartystreets/goconvey/convey.(*context).Convey.func1()
/home/evgeny/go/src/github.com/smartystreets/goconvey/convey/context.go:163 +0x92
@mrLSD
mrLSD / docker-compose.yml
Created October 31, 2017 09:31
version: '3'
services:
broker:
image: 292964376226.dkr.ecr.us-east-1.amazonaws.com/ddpool/broker:v0.2
environment:
- MONGO_URL=mongodb://mongo:27017
links:
- mongo
depends_on:
- mongo
@mrLSD
mrLSD / ws.html
Created October 24, 2017 15:21
<!DOCTYPE html>
<html lang="en">
<head>
<title>Proxy tester</title>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.0.3/jquery.min.js"></script>
<script type="text/javascript">
$(function() {
var conn;
var msg = $("#msg");
@mrLSD
mrLSD / broker-jsons.md
Last active October 23, 2017 17:25 — forked from lempiy/jsons.md

EVENTS FROM BID TO BROKER

Event type outcomming event(from bid to broker to all carriers in array)

Event name: offerBid

bid request:

{
  "eventName": "offerBid",
@mrLSD
mrLSD / reqrep_test.go
Created October 4, 2017 12:30
go-mongod REQ/REP Test
import (
"testing"
"github.com/go-mangos/mangos"
"github.com/go-mangos/mangos/protocol/rep"
"github.com/go-mangos/mangos/protocol/req"
)
type reqTest struct {
cur int32
@mrLSD
mrLSD / linked-list.hs
Created December 11, 2016 18:15
Haskell simple linked-list loop detection
module Lib
( someFunc
) where
data List a = Nil | Cons a (List a)
deriving (Show, Eq)
len :: List a -> Int
len Nil = 0
len (Cons _ xs) = 1 + len xs