Viewing profile — bedman12345

Could you explain what practical research there is to be done? The heavy theory I know does not seem to be very useful in practice. Optimal join algorithms, Yannakakis adjacent alg…

Which database companies have research labs? AFAIK amazon, snowflake, databricks, google and SAP don’t have a research lab dedicated to databases. They have some people that are pa…

> And yet terms like "elegant" have no objective definition. Why does that matter? You seem to really think one needs objective definitions? It should be clear that whether a defin…

> You claim things as being inherently hard to read and understand. I don’t. > But this is a matter of one's personal context and experience. There are things that I'd find hard to…

True. My statements are meaningful because of that. The objective measures we could agree on are obvious, so they need not to be stated. The heart of the debate is about the things…

> The Haskell looks much better, and I don't even know Haskell Plain crazy take. The c example uses basic coding to implement some clever maths with special fast instructions. Theh…

It’s slow. Example: quicksort [] = [] quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) where lesser = filter ( = p) xs It’s really complicated. Everybody include…

Man I hate functional programming so much. Please, to anyone reading this. Don’t waste your time on this stuff. They always try to claim functional code makes things safer and more…

> Could you imagine people saying the issue with Java is its extremism towards objects and method calls? I think exactly that all the time. It’s ridiculous. > That's a problem no h…

I’ve been working with pure functional languages and custom lisp dialects professionally my whole tenure. You get a whole bag of problems for a very subjective upside. Teams fragme…

An example of how to use the io monad for simulations https://benchmarksgame-team.pages.debian.net/benchmarksgame/... It’s one of the nicer to read ones I’ve seen. Still is terribl…

Most database companies run only a small amount of tests before committing. After committing, you run tests for thousands of hours. It sucks. You probably do this all day every day…

Strap in for some truth: Declarative programming isn't a programming language paradigm, but a crafty business model. Marketed as a solution, it's as declarative as a mute parrot. L…

You simply use "intuitive mathematics", in other words: no formalization. That's at least what I got when I read books on set theory. Löwenheim-Skolem implies the existence of a co…

Yeah but second order logic itself is incomplete. ZFC doesn't have a single model, too, btw. In the end unprovable sentences exist because there are multiple models satisfying your…

True, but if you add too many axioms, the resulting set of axioms will not be computable anymore. If you allow your set of axioms to not be computable you can of course just use th…

This is a mischaracterisation of gödels incompleteness theorem. The set of axioms the theorem is about isn't even mentioned in the article. This is very important. If you pick the …