alcidesfonseca

I post here my blog posts that I believe are interesting for the community, but I never repeat it. Let the algorithm take its course.I remember someone studied the best times to post, but if everyone does the same, it changes the best times.

In your own response you mentioned GPT-6.1 Terra, but I've seen GPT Terra-6.1. I would start by the part that is the most powerful:

GPT 6.1 X > GPT 6.0 X GPT Y Astra > GPT Y Sol > GPT Y Terra > GPT Y Luna

This order is very important.

I agree. Here at U. Lisbon, we are following the recommendation by the recent MIT report: Evaluate students by talking with them, making it a social interaction, which they are lacking.

We need students to work together and share their experiences. Then we need each one to achieve the learning goals (and we should not assess work they did far from our eyes. We should assess their understanding and skills in front of us).

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 minimize effort.

We have designed education around exams and evaluation. If I design an exercise that does not contribute to their final grade, students don’t even look at it. If I design a 30min tutorial on a programming subject, students will not look at it and will spend 8 hours on the (graded) assignment that was designed for 1 hour on top of the 30 minute tutorial.

I am making some changes: evaluation will be as randomly as possible to minimize overfitting to our exercises. Draw from real world if possible.

I would also like to get rid of bologna’s modular structure and go to the UK’s one-exam-at-the-end-of-the-degree model.

But overall, we need more passionate students. Those don’t care about all this cheating and would appreciate that professors and future employers see their effort and success.

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 diversity within a population makes it much more at risk.

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 types. For instance, you cannot refine the function (a:Int | a > 0) -> {x:Int | x > a}. Functions are types, but are not refinable.

These restrictions make it possible to send the sub typing check to an SMT solver, and get the result in a reasonable amount of time.

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), the Type of Int is Type 0, the type of Type 0 is Type 1, and so on (called universes).

They all come from this restriction.

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 automatically wake up when you are sitting in front of it. Macs don't shutdown, they just go to sleep and wake up when you need them.

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 due to micro-optimisations.

That's where the comparison to Python comes from: getting speedup on slow interpreters is not very _relevant_. Now if your interpreter has the same optimisations as Python (or v8 or JVM), even a small fraction of what you show would be impressive.

Having said this, the work your team did is a really challenging engineering feat (and with lot more potential). But I do not believe the current speedups will hold if the interpreter/compilers have the level of optimisation that exist in other languages. And while you do not claim it, people expect that.

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 lost support for RSS.

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 years (3+1 or 2), which can be the length of a US undergrad degree.

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 and Cuda drivers mess the upgrade path as well. And ubuntu is the most supported distro.

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.

[0] https://en.wikipedia.org/wiki/Google_LLC_v._Oracle_America,_....

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 display output works for one month before stops working all together. The only thing that works reliably is power supply.

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.

Windows 7 (and 8?) had an activation procedure that would be blocked if the hardware changed since the last one (I can’t remember the exact hw they hashed). They have since went back on the restriction and windows 10 has more forgiving activation rules.

Can't you boot from an external drive (time machine backup) using option, on Catalina? I was under the impression booting from external USB was how you would format the mac.

I’ve made a list of online boardgame platforms:

https://wiki.alcidesfonseca.com/blog/online-boardgames-platf...

Boardgamearena and yucata have the largest collection and the best user interface in 2D. Tabletopia and tabletopsimulator are 3D and (mostly) paid.

If I am not mistaken, aparapi included some templates where those low-level aspects were hidden.

The runtime can be added via a jar file, but lambda-based operations must be converted to OpenCL/Cuda/PTX/LLVM or other low-level GPGPU language.

Aparapi did the latter using runtime byte code instrumentation. TornadoVM also does the same thing as a JDK compiler plugin. AeminiumGPU did the same using a transpiler [0] before the actual Java compilation step.

[0] https://github.com/AEminium/AeminiumGPUCompiler

Back in 2010 I worked on a user-library and preprocessor that did the same thing [1]. Had exactly the same restrictions. Classes are supported if they act as dumb structs.

Recursion is now supported in CUDA via dynamic parallelism (or faking the stack) but it is not performant at all.

The ideal language for GPU programming is closer to Julia or a MATLAB-like language where arrays and matrices are first-class.

[1] https://github.com/AEminium/AeminiumGPU

There is a full industry of developing enterprise software using this low-code platform:

https://www.outsystems.com/

Does webapps and mobile as well

Modin is an alternative pandas implementation for distributed processing using Ray or Dask:

https://github.com/modin-project/modin