alcidesfonseca

5 ms·

1.
Recommendations for Teaching with AI (Fall 2026)(wiki.alcidesfonseca.com)
1 points by alcidesfonseca 4d ago|0 comments
2.
Deterministic behavioral (lethal-trifecta defeating) sandboxes with liquid types(wiki.alcidesfonseca.com)
1 points by alcidesfonseca 29d ago|0 comments
3.
A new model for Source Control(wiki.alcidesfonseca.com)
1 points by alcidesfonseca 1mo ago|0 comments
4.
by alcidesfonseca 2mo ago
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 an
5.
by alcidesfonseca 5mo ago
Fixed both issues. Thanks!
6.
by alcidesfonseca 5mo ago
What popular desktop application is written in flutter? Asking honestly, because none of the ones I use is.
7.
Why TUIs are making a comeback(wiki.alcidesfonseca.com)
4 points by alcidesfonseca 5mo ago|0 comments
8.
by alcidesfonseca 5mo ago
Is it possible that the [x Telemetry] [x Electron] and [x Subscription] means that the app does not have those things?
9.
by alcidesfonseca 6mo ago
The next neo might have the SSDs of the current pros, making swapping less problematic.
10.
Why should operating systems and websites track the user age?(wiki.alcidesfonseca.com)
2 points by alcidesfonseca 6mo ago|1 comments
11.
Bootstrap Bio (solves health at the genetic level/promotes eugenics)(bootstrapbio.com)
1 points by alcidesfonseca 8mo ago|1 comments
12.
by alcidesfonseca 8mo ago
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 ri
13.
by alcidesfonseca 10mo ago
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
14.
by alcidesfonseca 10mo ago
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 Typ
15.
by alcidesfonseca 10mo ago
If it taught them the core concepts of writing good software, that's a win in my book.
16.
Copyright, AI and the Future of the Web(wiki.alcidesfonseca.com)
2 points by alcidesfonseca 2y ago|0 comments
17.
by alcidesfonseca 2y ago
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. Mac
18.
by alcidesfonseca 2y ago
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 compariso
19.
by alcidesfonseca 3y ago
He was a poet who could code. Not a software engineer. (disclaimer: I really like most of his ruby stuff)
20.
by alcidesfonseca 4y ago
Is there any way of measuring how many apps were affected by this change?
21.
by alcidesfonseca 5y ago
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.
22.
by alcidesfonseca 5y ago
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 d
23.
by alcidesfonseca 5y ago
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.
24.
by alcidesfonseca 5y ago
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
25.
by alcidesfonseca 5y ago
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&#
26.
by alcidesfonseca 6y ago
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 t
27.
by alcidesfonseca 6y ago
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.
28.
by alcidesfonseca 6y ago
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 acti
29.
by alcidesfonseca 6y ago
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.
30.
by alcidesfonseca 6y ago
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 ta

More ›