sadfev

47 ms·

31.
by sadfev 5y ago
Easy! that’s a simple multi-objective optimization problem!
32.
by sadfev 5y ago
Awesome, that’s something doable and could be a good learning exercise!!
33.
by sadfev 5y ago
Very true. But the most popular ones are based on DTT, GP only mentioned Lean/Coq/Idris. Indeed by sacrificing the power of type system we can augment classical axioms consistently as shown by HOL family. These come with their own
34.
by sadfev 5y ago
Thanks for clarifying, I haven’t studied co-inductive types yet.
35.
by sadfev 5y ago
Isabelle is a generic proof engine, can be combined with any fronted which satisfies its API (it’s a bit more complicated) so yes such thing exists. Proof assistants aren’t whimsical like cottage industry of programming languages. Proof ass
36.
by sadfev 5y ago
I am still very new to proof theory. So please take this with a mountain of salt. At the core all these proof assistants, is a dependent total functional programming language. Total means all functions must be obviously be terminating. Depe
37.
by sadfev 5y ago
Still only 1100 exist in the wild. Their equilibrium population was over 100000!
38.
by sadfev 5y ago
Tesla’s is more viable technically and more scalable, except the problem is that system is laughably unusable in scenarios where it is needed. I have looked at so many FSD beta videos, in most of the disengagement’s the car would have crash
39.
by sadfev 5y ago
That’s not enough $ for that honestly
40.
by sadfev 5y ago
Dang, I am not sure how to feel about this kind of “research”
41.
by sadfev 5y ago
Depends on the brand, good organic milk is worth it. Bare minimum is Whole Foods 365 brand In New England Organic Valley is as good as it gets for store milk, https://www.cornucopia.org/scorecard/dairy/
42.
by sadfev 6y ago
No! They were such a cesspool and also internet history!
43.
by sadfev 6y ago
How is clisp better? Isn’t SBCL the most advanced lisp compiler, not just Common Lisp. I thought clisp was maintained just to keep building Maxima
44.
by sadfev 6y ago
Why would anyone give more fee to basically perform like market but for less volatility?
45.
by sadfev 6y ago
If you are an IITian and still casteist then something is wrong with you! Look IITians are often entitled, opinionated and in rare cases obnoxious. But never during my 5 years in IIT KGP, I have ever felt casteism among students and even am
46.
by sadfev 6y ago
What a wonderful “problem” to have. That means less UBI, more advances in automation and more impulse to productivity. No one wants to live in an overpopulated hellhole (aka India). This should be lauded!
47.
by sadfev 6y ago
Govt shouldn’t but they would want to. The foreign social media sites have political agenda blatantly well “foreign”. Media houses are strictly regulated and have to abide much stringent criteria for reporting or an oped. It’s about control
48.
by sadfev 6y ago
Brendan Eich is doing some very important work. I hope this succeeds!
49.
by sadfev 6y ago
This could have gotten so bad so fast. Well trained pilots, arc, decent protocols and some luck saved 231 lives here!
50.
by sadfev 6y ago
Yeah, all drugs should be allowed. Just have sane programs for sanitary usage and perhaps a small tax on users so that the peripheral facilities can be run without taxing wider population. If one (adult) can’t handle drugs then help should
51.
by sadfev 6y ago
Anti-Trust investigation should break Alphabet to million pieces. Way too many big tech apologists here.
52.
by sadfev 6y ago
I think this should incentivize people to build their own backend and definitely move off big tech cloud. I know it’s more expensive but it was routine in 90s and 00s
53.
by sadfev 6y ago
This is great. These banks/middleman are less relevant.
54.
by sadfev 6y ago
Yet another hit piece. These stupid media puppets are in the business corrupt practice of writing hit pieces for a cozy profit no matter who funds them. They (Big Fossil) are not evil as long as they pay these “media” houses cozy bribe.
55.
by sadfev 6y ago
No, all your pandering and political posturing doesn’t mitigate the fact that FF is a hot pile of usability garbage
56.
by sadfev 6y ago
That is the greatest tragedy of India. This is the main reason India is destined to be a perpetually poor country not even a middle income country. It’s mob rule at it’s most vicious.
57.
by sadfev 6y ago
Government incompetence at the highest level!
58.
by sadfev 6y ago
It’s great that you welcome a GPL fork, perhaps there is room for one.
59.
by sadfev 6y ago
To a certain extent, it is detrimental if the prices are lower than the transaction expenses. Because you have to pay indirectly which is even worse
60.
by sadfev 6y ago
Let’s make everything legal!!

More ›