profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/fresheed/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Egor Namakonov fresheed Egor Namakonov

fresheed/tox-client 3

Java client for Tox via TCP

fresheed/ActivityClassifier 1

Various methods for parsing and classification of signals received from wearable devices

fresheed/bachelor_thesis 1

A thesis on hand motion recognition. See "Wrist motion recognition" in the "Projects" tab.

fresheed/ActionLogger 0

Android (wear+mobile) apps that log sensor activity and send it to Dropbox for further analysis

fresheed/coq-semantics-2019 0

A repository with Coq tasks related to "Semantics of programming languages" course at HSE-SPb

fresheed/hahn 0

Hahn: A Coq library

fresheed/hpcourse 0

Project is aimed to store student's practical works on high performance computing course

push eventfresheed/oopsla-talk

fresheed

commit sha 334e7c4cfd6162de9e4f8a4e6bfc69255f2fe800

Change after talk

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 6c010aec1b934731901b8628e00bdd27d3e163a2

v1.3

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 06d4a34bafeb4402df7ade828852c542d434d639

Animated TSO

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha a4d3eacf1a3ad05980f39a11c2eafd72e9712f28

Added SC animation, small fixes

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha e3e7351c01dab6bf4f9aea323734ab1a6f2cc035

Shortened text

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha f02e23c0383f724cc8f7ba030313e5abc96db996

Fixed timelines offsets

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 5044277960a99e471880e6c18773b18f01de46f0

Introduced WMM

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 652d602d361841adb8a156095ecd2e3451894e74

Added history of WMM

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha ab343b3c91996cf09ce627feba7a0d4b5986c9b4

Built graph by step

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 63ba53fd24bcd3c3d35a36f8ebb867955a02b543

Prettified declarative

view details

fresheed

commit sha 972f5d8352360d98f80ad965a7d6f7ada6d890fc

Prettified fairness decl slide

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 4d27617f030cb287eca81370dcba842258a9e8cc

Worked on last slides

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 634b9bb4dcf99f172df6220cc027e2c0890da346

Adjusted decl fairness slide

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 794ead4e23adace1b2965809edbf3232378dd7c0

Improved theorems presentation

view details

fresheed

commit sha 92ea28ae69b65bc2e183f8bb8b99dbb2a05b7974

Adjusted op-decl slide

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 26f026881f497ac2f2afd0aacd9436b1f945834c

Moved some defs

view details

fresheed

commit sha 4a88490c4e63c68e84027c4f1021e4bcdce90a0d

Changed the message on practicality slide

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha cd27b69dbf6e4648318be4489cdbed0530d9e251

Updated logos

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 5e23b8f883b2b80acf27dd145df24b286f6105b8

Moved logos to sep folder

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 34d22a4cacbd55434a9025b5e8258779770ecb1c

Animated second timeline

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 00b29aaaa45e4e38417f626cf752754c09cec0e3

Animated first example

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 2250cd5553bb385ce4add1ff537d22f4c9409a43

Played with program execution presentation

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 164503d337061f74d76e8bdc9b722cf56af431b2

Finished an iteration of small fixes

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha 7e11350269c506e1c65e02f928ebf15f330515e2

v1.2.1

view details

push time in 2 days

push eventfresheed/oopsla-talk

fresheed

commit sha dad2d975db1b5c4f4c33d4db60e3e57065f3726e

Added stamps for the first slide

view details

push time in 3 days

push eventfresheed/oopsla-talk

fresheed

commit sha 4caba7e7c9b25cd62dbb2a60121f5bf344ebfa07

WiP: small changes

view details

push time in 3 days

push eventfresheed/oopsla-talk

fresheed

commit sha b4469ffde0704525682abd42704d53245c535331

WiP: fixing small changes

view details

push time in 3 days

push eventfresheed/oopsla-talk

fresheed

commit sha 5e30cc3713f3863cc71203e42d12e0b52e939a72

Prettified decl fairness slide

view details

push time in 3 days

push eventfresheed/oopsla-talk

fresheed

commit sha de84e6996486f3f766dcf12c42ff1a4a0e373993

Improved proof slide

view details

push time in 3 days

push eventfresheed/oopsla-talk

fresheed

commit sha 8e5b5c496b5db07a097d00ea7f646396b5c3840c

Prettified further work

view details

push time in 3 days

push eventfresheed/oopsla-talk

fresheed

commit sha c3c323fecf5886f24af17587c29460c94eff3a5b

Added inlined client, prettified the last slide

view details

push time in 3 days

push eventfresheed/oopsla-talk

fresheed

commit sha ef73bc3c7cb2c0944ecaa0851a08c1c8884dcd80

v1.1

view details

push time in 3 days

push eventfresheed/oopsla-talk

fresheed

commit sha 7031bf96167c9fffcda683e7b614e1fc683f715b

Small fixes

view details

push time in 4 days