HNHacker News
TopNewBestAskShowJobs

fmoralesc

548 karma · joined May 2, 2011

submissionscomments
fmoralesc··on Almost everything on computers is perceptually slower than it was in 1983 (2017)
To check at what point the system is responsive enough to launch a browser. So, not just calculating the boot times (we have that already), but from power on to launching a browser.
fmoralesc··on Almost everything on computers is perceptually slower than it was in 1983 (2017)
I haven't check wall clock; I would have to enable auto-login to eliminate pauses from user interaction.
fmoralesc··on Almost everything on computers is perceptually slower than it was in 1983 (2017)
That's windows. In Linux, I get this from cold boot (on an Thinkpad T495):

    > systemd-analyze 
    Startup finished in 8.878s (firmware) + 1.666s (loader) + 1.592s (kernel) + 3.265s (userspace) = 15.403s 
    graphical.target reached after 3.176s in userspace
It's crazy that the slowest part of the whole process is the firmware stuff.
fmoralesc··on Killersheep – Silly game to show off the new features of Vim 8.2
Popup menus have been a thing since long time ago. Nvim floating windows are true arbitrary windows (they are placed in floating layers over other windows and then composited within the grid; in more flexible UIs they can be handled independently); I assume vim 8.2 floating windows are more or less the same.
fmoralesc··on Nobody talks about the real reason to use Tabs over Spaces
I'm guessing when your fonts are sufficiently gigantic indents of 1 char are more than enough to see the indentation clearly (try it out). Actually, less than 1 char might be good enough or even better.
fmoralesc··on Ends of the Urth
And in the Short Sun books, the protagonist is yet again a different kind of man, oscillating between both extremes.
fmoralesc··on Lemmy: Federated Alternative to Reddit in Rust
No, it is written in APL for extra conciseness. When they wrote it in shell it deleted the authors from the payroll.
fmoralesc··on A Programmer's Introduction to Mathematics
The opposite of empathy is antipathy.
fmoralesc··on Show HN: WriteFreely – minimalist, federated blogging platform
Sounds good. Thanks for the links!
fmoralesc··on Show HN: WriteFreely – minimalist, federated blogging platform
This is really neat! Will it be possible to use mastodon clients to post to the blog? That would be really awesome.
fmoralesc··on Show HN: TabNine, an autocompleter for all languages
Deoplete is not dictionary based. Deoplete sources are python classes that yield lists of 'matches' (some are language specific and some are not). You can make it give you back quite about anything.

(Disclaimer: I wrote deoplete's original version of the "file" source, which completes file paths).

fmoralesc··on An invitation to category theory
The shipping is still a bit expensive if you are not in one of those... 11euro to Belgium if you select the German option, for example.
fmoralesc··on Mastodon’s 2 Year Anniversary
icosahedron.website and scholar.social are the ones I frequent, I like both a lot.
fmoralesc··on Academic Grievance Studies and the Corruption of Scholarship
The Hypatia article that got accepted was notoriously mild in comparison to many of the others, if you look at the summary:

> Thesis: That academic hoaxes or other forms of satirical or ironic critique of social justice scholarship are unethical, characterized by ignorance and rooted in a desire to preserve privilege.

This is obviously something that can be argued, even taking this very same project as an example! But for the authors to claim that the position is absurd begs the question in favor of their project. That looks disingenuous to me.

fmoralesc··on A map showing the steepness of streets (2013)
A topo map would be too busy. Also, the steepness of roads and the surrounding land can be different, so a topo map could also be less informative at first glance.
fmoralesc··on Kitty – a fast, featureful, GPU based terminal emulator
`time find ~` took 5.12 seconds and 38% cpu in gnome-terminal here. kitty took 4.32 and 48% cpu, in comparison.

EDIT: alacritty took 4.15 and 54% cpu.

I should note these results are all from second runs.

fmoralesc··on Firefox 62.0 Released
They are not deleting already existing data, they removed the user-facing features and the collection of new data.
fmoralesc··on The Bielefeld Conspiracy
Bielefeld Uni is quite an interesting place by itself. Indoor pools, stairs that lead nowhere...
fmoralesc··on Open Logic Project: An Open-Source, Collaborative Logic Text
Sorry, you are right (I actually have both in front of me... and Beeler's "How to Count"). Polya is also a nice read ;)
fmoralesc··on Open Logic Project: An Open-Source, Collaborative Logic Text
For independent study a leaner approach might be best (the open logic textbook is meant to be remixed to form a course, so it includes a lot of material). I think Daniel Velleman's "How to Prove It" is a good textbook for learning to deal with proofs, plenty of exercises there and it has a more practical approach (it is intended for CS and math students). Volker Halbach's "The Logic Manual" is good, as is Restall's "Logic", although both are oriented to philosophy students.

EDIT: s/"How to Solve It"/"How to Prove It".

fmoralesc··on Pop_OS 18.04: the state of the art in GNU/Linux on desktop
I think the author is confusing two different things, the app menu and the app name indicator (one has to click the indicator to raise the menu). I thought the plan was to remove the menu, not the indicator. The author defends the "Appmenu" because it serves as a landmark, "on Gnome 3, I can always tell exactly where I am". To serve that function, one only needs the indicator.
fmoralesc··on LibreOffice is now available for Haiku
If that happens, people will most likely switch their desktop environments, not their OSes.
fmoralesc··on The impossibility—and the necessity—of distinguishing science from nonscience
Just a quick observation: this

> "According to the New York Times, the Higgs discovery confirms “a grand view of a universe described by simple and elegant and symmetrical laws—but one in which everything interesting, like ourselves, results from flaws or breaks in that symmetry.” Whatever that means—but I’ll come back to the question of meaning later."

is mostly quoting the NYT's piece (https://www.nytimes.com/2012/07/05/science/cern-physicists-m...). 'Whatever that means', as I read it, is a dig to the second part of the quote, which comes after the 'but'. Now, if you understand what that sentence means, I would like you to help me with it. Or, more precisely, I would like to know how that sentence can be true. If physical laws describe the universe, they should also describe those things which are described as 'interesting', and if these laws are elegant and symmetrical, there should be, in some sense, elegance and symmetry in the description of those 'interesting' phenomena (I'm skipping over the issue of reductionism, but that only makes things more complicated). The suggestion that things like ourselves require 'flaws or breaks' in the symmetry comes from nowhere in the NYT piece. The idea only tangentially comes back at the end, when (without context) a professor is quoted as saying: 'I personally do not want it to be standard model anything — I don’t want it to be simple or symmetric or as predicted. I want us all to have been dealt a complex hand that will send me (and all of us) in a (good) loop for a long time'. I guess this is an expression of the reasonable opinion that the fact that the standard model was vindicated would be the 'boring' case. However, the original claim is a faux pas, if not a non sequitur.

OK, maybe that was a bit longer than I anticipated, so perhaps I should jump into the discussion of the larger picture here.

I think the piece illustrates something interesting about the whole science/anti-science debate. Personally, I think one can read the piece as having no anti-science bias whatsoever, although that requires one to pass over the context of the debate. One can take the writer to be saying: 'OK, so there's this discussion about an attack on expertise, and science, and it seems to matter a great deal. What is science, though? What is, actually, being attacked?' And the point they make is: well, there is no solid (unshakeably true) answer to that question. Perhaps their analysis is too simple (the stuff on ad hoc hypotheses, or about alchemy and the rest, is sloppy), but at the level of the layman that is as far as the discussion ever goes. I think the article captures this quite well. So, for example, that quote

> What we nonexperts choose to believe about such matters will depend much more on whom we trust and what we find to be helpful than on what can be known to be true.

is actually a description of the situation, not a prescriptive judgment about what the nonexperts are entitled to do or believe. It goes both ways for both conservative or liberal nonexperts when evaluating knowledge claims (either scientific or of other kinds). That question, about what should be believed, is philosophical. I'm not sure people appreciate the scope it has, how it is that hasn't yet been fully answered, and why it matters, so I appreciate that pieces like this bring it to the foreground. The point is not to doubt science and jettison it, but to get a better grasp of it. The task of knowledge is like repairing a boat while on it (Neurath). To give up is death.

On the other hand, I see how something like this could be brought to the fore by people who, seeing these questions, jump to the conclusion that science is not to be trusted, and using the veil of the reasonableness of the questions, push forth that as a goal. One often sees the critics of reason to deploy the language of reason to undermine it. There's no easy solution for that. Again, I don't think that is the goal of this article.

fmoralesc··on Why read Aristotle today?
> I've known cowards, adicts and individuals with terrible practical instincts who were all happy people.

Aristotle's retort would be that what you are ascribing as 'happiness' is not what he is talking about. There's a reason he speaks of an 'ideally happy' person. I recommend you to read the section 'The Human Good and the Function Argument' of this: https://plato.stanford.edu/entries/aristotle-ethics/#HumGooF...:

> Aristotle's search for the good is a search for the highest good, and he assumes that the highest good, whatever it turns out to be, has three characteristics: it is desirable for itself, it is not desirable for the sake of some other good, and all other goods are desirable for its sake.

> Aristotle thinks everyone will agree that the terms “eudaimonia” (“happiness”) and “eu zên” (“living well”) designate such an end. [...] These terms play an evaluative role, and are not simply descriptions of someone's state of mind.

> No one tries to live well for the sake of some further goal; rather, being eudaimon is the highest end, and all subordinate goals—health, wealth, and other such resources—are sought because they promote well-being, not because they are what well-being consists in. But unless we can determine which good or goods happiness consists in, it is of little use to acknowledge that it is the highest end. To resolve this issue, Aristotle asks what the ergon (“function,” “task,” “work”) of a human being is, and argues that it consists in activity of the rational part of the soul in accordance with virtue.

fmoralesc··on Latex-mimosis: A minimal and modern template for your thesis
This is based on KOMAscript.
fmoralesc··on How Wendy Carlos Changed Music
SOB is great and all, but Beauty in the Beast is absolutely phenomenal. She really pushed the boundaries there, creating a musical universe all of her own.

http://www.dailymotion.com/video/x2j1gy2

fmoralesc··on The Problem of Colour
Dispositional properties are just as difficult metaphysically than any other type of property.
fmoralesc··on Ubuntu 17.10: Return of the Gnome
You can configure gnome-shell to use static workspaces from the gnome-tweak-tool application as well.
fmoralesc··on Firefox 57.0 Released
I am using saka key, it works pretty well for basic stuff.
fmoralesc··on Neovim v0.2.1 released
> This only supports code completion in JS and TypeScript. I have code completion plus snippets for a lot more then that with vim.

No, this only supports the extended features fro completion for those languages. It should use the simpler completion system for other languages, in which case you are using vim's support anyway.

← PreviousPage 2 of 8Next →