Skip to content

Instantly share code, notes, and snippets.

@kpp
kpp / miths.md
Last active February 26, 2018 14:24
habr article

Эта статья - квинтэссенция срача.

Q. Безопасен ли Rust? Можно ли его использовать в проде?

A. Институт программных систем Общества Макса Планка плотно занимается этой проблемой в проекте под названием RustBelt. На январь 2018 формально(sic!) доказаны следующие постулаты:

  • Система типов, принципы владения (ownership), времени жизни (lifetime) корректны
  • Программа безопасна, если все участки кода внутри unsafe безопасны
@kpp
kpp / snake.sh
Created December 7, 2017 20:26
Snake game written in bash shell script
#!/bin/bash
# author: sir@cmpwn.com
# Run ./snake.sh
# Arrow keys or wasd to move
c=`tput cols`;L=`tput lines`
let x=$c/2;let y=$L/2;d=0;le=3;t="$y;$x";i=0;j=0;S=0
A(){ let i=($RANDOM%$c);let j=($RANDOM%$L);};A
B(){ printf $*;};C(){ B "\x1B[$1";};D(){ C "$1H";}
F(){ D "0;0";C 2J;C "?25h";printf "GAME OVER\nSCORE: $S\n";exit;};trap F INT
@kpp
kpp / tcp server.md
Last active December 20, 2017 14:15
TCP_Secure_Connection
  status: NO_STATUS | CONNECTED | UNCONFIRMED | CONFIRMED
  identifier: UID, autoincremented across all connections in TCP_Server
  public_key: PK of the connection (taken from handshake)
  connections: inited with zeros, keeps links to clients to communicate with
    NUM_CLIENT_CONNECTIONS: (256 - NUM_RESERVED_PORTS)
    NUM_RESERVED_PORTS: 16
    struct {
        uint8_t status; /* 0 if not used, 1 if other is offline, 2 if other is online. */
@kpp
kpp / test.rs
Created September 29, 2017 15:09
use nom::*;
use cookie_factory::*;
use bytes::BytesMut;
use std::io;
use tokio_io::codec::{Decoder, Encoder};
trait FromBytes : Sized {
fn from_bytes(i: &[u8]) -> IResult<&[u8], Self>;
}
@kpp
kpp / test.rs
Created September 26, 2017 14:39
use nom::*;
use cookie_factory::*;
use bytes::BytesMut;
use std::io;
use tokio_io::codec::{Decoder, Encoder};
trait FromBytes : Sized {
fn from_bytes(i: &[u8]) -> IResult<&[u8], Self>;
}
version: '2'
networks:
custom:
driver: bridge
ipam:
driver: default
config:
-
subnet: 172.16.238.0/24