kummappp

5 ms·

1.
I love PyTorch API design
1 points by kummappp 3y ago|1 comments
2.
by kummappp 6y ago
Crypto currencies offer non-repudiation and that is it. https://en.wikipedia.org/wiki/Non-repudiation
3.
by kummappp 6y ago
That is a great youtube channel there. The fall of the city of Ur was also a good one
4.
by kummappp 6y ago
Also one thing that works is bits to -1, +1 signal and then taking auto-correlation of it.
5.
by kummappp 6y ago
What a nice way to make 1d -> 2d. I made my MSc thesis about data visualization and the thing I found useful was excess entropy, which means how well you can you predict the next bit better, if you take one bit more into the sliding wind
6.
by kummappp 6y ago
But I bet Python has a loopholes in the type system as well. I mean you can take the stack, and modify the running code in every way possible at runtime, but it is a slightly mad thing to do.
7.
by kummappp 6y ago
Yeah I did mix them. Thanks.
8.
by kummappp 6y ago
Yeah, the type system helps in that, but for a unit testable product you need factory methods, which produce some valid and invalid cases. If you write simple tests for those it is a type checker on it's own and the type checker is jus
9.
by kummappp 6y ago
'strongly typed language increases the productivity' How was this tested? Was there a control group? I would argue that currently Javascript and Python have been greatly improving the productivity. The type system works well in th
10.
by kummappp 6y ago
Thanks. The 'Non-dominated sorting' was the magic phrase for google i was missing.
11.
by kummappp 6y ago
Oh, it is a bug. I'll fix it. How embarrassing and thanks. I have mainly used the None means the whole row is inferior -thing.
12.
Pareto Front Sort for Python(github.com)
41 points by kummappp 6y ago|14 comments
13.
by kummappp 6y ago
I did not find pareto front sorting library so I made one. It took a weekend. Save your weekend and use my module instead.
14.
by kummappp 6y ago
Sorry. My bad.
15.
by kummappp 6y ago
Please test your library with the c10-archive test suite https://www.ee.oulu.fi/research/ouspg/PROTOS_Test-Suite_c10-...
16.
by kummappp 7y ago
if you add multiplication functionality, identity and termination symbols to it, you get something that is closer to a proper category like done in this: https://github.com/kummahiih/python-category-equations f1(?) |&g
17.
Show HN: Computer-Aided Software Design
2 points by kummappp 7y ago|0 comments
18.
by kummappp 7y ago
And if you think how wood turns twisted, when it grows faster on the other side and slower on the other, it is not that big leap to think how a wave function would turn if it is evaluated faster on some side. I am proposing here, that the w
19.
by kummappp 7y ago
Yep anthropomorphization is the caveman talking in me. No its not lost, on less dense regions the interactions go on faster.
20.
Does gravity happen, because the space is lazy?
4 points by kummappp 7y ago|3 comments
21.
Pipe Equations in Golang(github.com)
3 points by kummappp 7y ago|0 comments
22.
by kummappp 7y ago
I mean the notion here is of type "connect this source to this sink". Source -> Sink. That kind of setting is called category in mathematics, but the notation is a bit clumsy and can be made a bit more clear by introducing thos
23.
by kummappp 7y ago
Nice. If you would combine '->' operator with copy element 'I' and terminator element 'O' you could manipulate the syntax with category equations ( pure impelementation here https://github.com&#x
24.
by kummappp 8y ago
How about not making the grammar non deterministic in the first place? I think that 'attractive new syntax' -comment means that there is no usable ports for Marpa. I guess I could try to help with that .. :)
25.
by kummappp 8y ago
The PEG comments seems to be a bit bitter and I would like to hear the story behind the frustration.
26.
by kummappp 9y ago
Related stuff has been here earlier ( https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketch... and https://bartoszmilewski.com/2014/10/28/category-theory-for-p... ). I
27.
Abstract class definition generation via category equations(github.com)
1 points by kummappp 9y ago|1 comments