Viewing profile — alcidesfonseca

Professor here. Every single one of us that looks for it, finds plenty of examples of students “cheating”. Learning takes effort, and humans (some more than others) are designed to…

Fixed both issues. Thanks!

What popular desktop application is written in flutter? Asking honestly, because none of the ones I use is.

Is it possible that the [x Telemetry] [x Electron] and [x Subscription] means that the app does not have those things?

The next neo might have the SSDs of the current pros, making swapping less problematic.

I wonder about the ethical and legal implications of this work. We've all read and watched sci-fi that warn about the implications of doing this, but biologists agree that reducing…

Liquid Types are more limited than "full dependent types" like Lean, Rocq, Agda or Idris. In Liquid Types you can refine your base types (Int, Bool), but you cannot refine all type…

I believe it to be historically true, but Dependent Haskell might change this ( https://ghc.serokell.io/dh see unification of types and kinds). In Lean (and I believe Rocq as well)…

If it taught them the core concepts of writing good software, that's a win in my book.

Jobs would have kept the button on the bottom, as it's not the proper way to use a computer. Instead, he would have put motion/light sensors on the screen, so it would automaticall…

I think the (hidden) reasoning is that it is really easy to have speedups with slow interpreters. However, getting speedups in high-performance level programs is quite hard, mainly…

He was a poet who could code. Not a software engineer. (disclaimer: I really like most of his ruby stuff)

Is there any way of measuring how many apps were affected by this change?

I am looking for more webcomics. Any that you'd recommend to others? I mostly follow Dilbert and Questionable Content. I used to follow Wizard of Id and a few more, but they also l…

In Portugal it is usually expected that you have one, but every now and then we accept a student without one. Also notice that in Europe you can get a bachelor and masters in 4-5 y…

Couldn't you use a regular DNN with one-hot encoding of all the movies seen by a user (and the corresponding genres)? And boosting can give more weight to certain movies or genres.…

I’ve learned that ubuntu upgrades only if you update to the next version as soon as it is released. I have a 14.04 server that I cannot upgrade anymore and it sucks. Also, NVidia a…

Oracle suited Google for copying the APIs (not the implementation) of the Java standard APIs. It all started in 2010 [0] Kotlin was Google's backup if the suit went Oracle's way. […

I have the WD15 connected to a 2016 MacBook Pro and it is incredibly unreliable. USB devices stop working randomly (mouse+keyboard), ethernet comes and goes as it pleases and the d…

I agree that Cilk is not a great name for compiler stuff as there is already a Cilk extension to C. That said, it’s the author’s prerogative.