Personal Information
Unternehmen/Arbeitsplatz
San Jose, California
Beruf
Lead Developer
Branche
Technology / Software / Internet
Webseite
patryshev.com
Info
organizer of Scala Bay and Bay Area Categories and Types; I also teach Logic at Santa Clara University
Tags
logic
formal methods
computer science
category theory
quantifiers
boolean
languages hierarchy
pi calculus
z notation
set theory
lambda
proof
monoids
first order
algebra
stack machines
fsm
zfc
combinators
functions
peano
intuitionistic
conditionals
connectives
santa clara university
Mehr anzeigen
Präsentationen
(39)Gefällt mir
(11)Functional Database Strategies at Scala Bay
Jason Swartz
•
Vor 7 Jahren
My talk on administering PostgreSQL
Alex Chistyakov
•
Vor 9 Jahren
Functional Programming Patterns (NDC London 2014)
Scott Wlaschin
•
Vor 9 Jahren
Sql Antipatterns Strike Back
Karwin Software Solutions LLC
•
Vor 15 Jahren
Release the Monkeys ! Testing in the Wild at Netflix
Gareth Bowles
•
Vor 9 Jahren
Functional programming for production quality code
Jack Fox
•
Vor 9 Jahren
Programming Languages: some news for the last N years
Ruslan Shevchenko
•
Vor 9 Jahren
JDays Lviv 2014: Java8 vs Scala: Difference points & innovation stream
Ruslan Shevchenko
•
Vor 9 Jahren
Web architecture - overview of techniques.
Ruslan Shevchenko
•
Vor 9 Jahren
R scala 17_05_2014
Ruslan Shevchenko
•
Vor 9 Jahren
sizeof(Object): how much memory objects take on JVMs and when this may matter
Dawid Weiss
•
Vor 12 Jahren
Personal Information
Unternehmen/Arbeitsplatz
San Jose, California
Beruf
Lead Developer
Branche
Technology / Software / Internet
Webseite
patryshev.com
Info
organizer of Scala Bay and Bay Area Categories and Types; I also teach Logic at Santa Clara University
Tags
logic
formal methods
computer science
category theory
quantifiers
boolean
languages hierarchy
pi calculus
z notation
set theory
lambda
proof
monoids
first order
algebra
stack machines
fsm
zfc
combinators
functions
peano
intuitionistic
conditionals
connectives
santa clara university
Mehr anzeigen