research
∙
02/04/2023
Computational philosophy of science
Philosophy of science attempts to describe all parts of the scientific p...
share
research
∙
01/29/2023
Data accounting and error counting
Can we infer sources of errors from outputs of the complex data analytic...
research
∙
06/24/2021
Consistent ultrafinitist logic
Ultrafinitism postulates that we can only compute on relatively short ob...
research
∙
11/05/2020
Curious properties of latency distributions
Network latency distributions, their algebra, and use examples. This pap...
research
∙
11/05/2020
Infer XPath
We propose reformulation of discovery of data structure within a web pag...
research
∙
11/05/2020
Less Arbitrary waiting time
Property testing is the cheapest and most precise way of building up a t...
research
∙
11/05/2020
Fast XML/HTML for Haskell: XML TypeLift
The paper presents and compares a range of parsers with and without data...
research
∙
11/05/2020
Towards a more perfect union type
We present a principled theoretical framework for inferring and checking...
research
∙
11/05/2020
