This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
use std::collections::VecDeque; | |
use std::fmt::Debug; | |
use std::fs::File; | |
use std::io::Read; | |
use Opcode::*; | |
fn main() { | |
//let program = | |
// "3,26,1001,26,-4,26,3,27,1002,27,2,27,1,27,26,27,4,27,1001,28,-1,28,1005,28,6,99,0,0,5"; | |
let mut program = String::new(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
== Proof systems | |
https://isabelle.in.tum.de/ | |
https://coq.inria.fr/ | |
== Programing languages concepts | |
https://graydon2.dreamwidth.org/253769.html | |
== Decentralized protocols | |
* Dat Project (dat://) https://datproject.org/ | |
* IPFS (dweb:// ipfs:// ipns://) https://ipfs.io/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
x=arange(0,24,0.1); | |
y=cos(pi*x/12)*10; | |
sigm=1/(1+exp(-y))*120+0.005; | |
plot(x,sigm); | |
grid(); | |
show(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
public void Simulation() | |
{ | |
var duration = TimeSpan.FromDays(3); | |
var rnd = new Random(1); | |
var costAccumulator = 0.0; | |
var clicks = 0; | |
var now = new DateTime(2010, 1, 1, 12, 0, 05); | |
var epoch = now + duration; | |
var actionQueue = new C5.IntervalHeap<Tuple<DateTime, ActorType>>(new ActionQueueComparer()); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
public void Simulation() | |
{ | |
var duration = TimeSpan.FromDays(3); | |
var rnd = new Random(1); | |
var now = new DateTime(2010, 1, 1, 12, 0, 05); | |
var epoch = now + duration; | |
var actionQueue = new C5.IntervalHeap<Tuple<DateTime, ActorType>>(new ActionQueueComparer()); | |
actionQueue.Add(Tuple.Create(now + TimeSpan.FromSeconds(10), ActorType.Timer)); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
yum install perf blktrace yum-utils trace-cmd | |
# Stat for a process | |
perf stat -p 80983 -a -- sleep 10 | |
# Probe stack traces at 99Hz for a process for 10 sec | |
perf record -F 99 -p 80983 -g -- sleep 10 | |
perf report [n | --stdio] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
bin/kafka-run-class.sh kafka.tools.ConsumerOffsetChecker --group <group name> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### making a memory dump | |
adplus.exe -hang -iis -o c:\dumps | |
Symbol search path: srv*c:\symbols*http://msdl.microsoft.com/download/symbols | |
.loadby sos clr | |
!threads | |
!threadpool | |
~* e !clrstack ### show all clr stacks | |
.cls ### clear screen |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ufraw-batch --wb=camera --exposure=auto --out-type=jpeg --out-path=converted *.CR2 |