Skip to content

Instantly share code, notes, and snippets.

View bravit's full-sized avatar

Vitaly Bragilevsky bravit

468 followers · 25 following
View GitHub Profile
@bravit
bravit / quotes.csv
Created November 3, 2017 11:40
Пример из лекции (Haskell)
day close volume open high low
2017/10/11 156.5500 16861450.0000 155.9700 156.9800 155.7500
2017/10/10 155.9000 15603520.0000 156.0550 158.0000 155.1000
2017/10/09 155.8400 16243080.0000 155.8100 156.7300 155.4850
2017/10/06 155.3000 17223790.0000 154.9700 155.4900 154.5600
2017/10/05 155.3900 21215870.0000 154.1800 155.4400 154.0500
2017/10/04 153.4800 20088940.0000 153.6300 153.8600 152.4600
2017/10/03 154.4800 16216800.0000 154.0100 155.0900 153.9100
2017/10/02 153.8100 18631540.0000 154.2600 154.4500 152.7200
2017/09/29 154.1200 26204670.0000 153.2100 154.1300 152.0000
@bravit
bravit / Usage of GHC Extensions
Last active November 24, 2016 05:14
Numbers of packages on Hackage as of November 23, 2016 (10519 packages in total)
4081 Haskell2010
3340 FlexibleInstances
3220 OverloadedStrings
2717 FlexibleContexts
2612 ScopedTypeVariables
2590 CPP
2416 DeriveDataTypeable
2334 MultiParamTypeClasses
@bravit
bravit / Что такое 1 ЗЕТ?
Created June 18, 2016 05:40
ЗЕТ = зачётная единица трудоёмкости (в просторечии кредит)
1 зачетная единица — это 1 час аудиторных занятий в неделю. Но это не жёсткое правило, потому что
семестры бывают разной длины, а кроме аудиторных занятий есть ещё самостоятельная работа,
и соотношение между ними в бакалавриате должно составлять 50%, но это требование проверяется только
для плана в целом, а для отдельных дисциплин может нарушаться.
Вообще правильнее считать так: 1 ЗЕТ = 36 часов, поэтому курс 5 ЗЕТ с зачетом, к примеру, имеет
размер 180 часов, 180 часов могут делиться пополам — 90 часов аудиторной работы и 90 часов
самостоятельной — тогда это 5 часов в неделю при 18-недельном семестре. Но никто не запрещает
@bravit
bravit / GHC Extensions (as of 7.10)
Last active June 30, 2019 18:42
# Syntax Extensions
BangPattern
NPlusKPatterns
PatternGuards, PatternSynonyms, ViewPatterns
LambdaCase, EmptyCase, MultiWayIf
ParallelListComp, ParallelArrays, MonadComprehensions, TransformListComp
RebindableSyntax, NoImplicitPrelude
PostfixOperators
TupleSections
DisambiguateRecordFields, NamedFieldPuns, RecordWildCards, RecordPuns
@bravit
bravit / named_instances.idr
Last active June 27, 2023 16:45
Using Named Instances in Idris
class Foo (a : Type) where
foo : List a
instance Foo Integer where
foo = replicate 10 0
instance [ones] Foo Integer where
foo = replicate 10 1
sum' : Num a => {default %instance i: Foo a} -> a
@bravit
bravit / keybase.md
Created April 16, 2015 06:34

Keybase proof

I hereby claim:

  • I am bravit on github.
  • I am bravit (https://keybase.io/bravit) on keybase.
  • I have a public key whose fingerprint is E9AA DE2A 361C 668A 8528 F799 F108 4951 C8F7 26E4

To claim this, I am signing this object: