patrec · HackerTrans

patrec

2,750 karmajoined 10 jaar geleden

email: replace_vowels_with_leetspeak_version("patrec") + "@gmail.com"

Submissions

UnicodeMath a Nearly Plain-Text Encoding of Mathematics Version 3.1 [pdf]

unicode.org

4 pointsby patrec9 jaar geleden0 comments

comments

7 dagen geledendiscuss

Sounds interesting, have you put it online somewhere?

15 dagen geledendiscuss

https://www.tamaspapp.eu/post/common-lisp-to-julia/

2 maanden geledendiscuss

The policies I mentioned (just as nepo-baby Mamdani's programs to abolish programs for gifted children) have, of course, precisely and deliberately the effect of cementing an existing parasitic elite and screwing over talented and hardworking people from a non-privileged background.

Which part of this do you fail to understand? Who do you think will be more inconvenienced by the removal of gifted programs, some intellectual mediocrity who goes to a $70'000/year private school anyway, or a smart child from a family with a yearly total income that's a fraction of that schooling cost? Who do you think is going to be more likely to find themselves financially ruined by being hit with enormous taxes on illiquid assets (such as equity in a pre-IPO startup they founded or where an early employee in) -- someone entirely self-made or your "oligarch"?

2 maanden geledendiscuss

And of course the reason that there is a lot VC capital in Europe has absolutely nothing to do with the fact that you'd be crazy to do a startup in e.g. Denmark (because doing so will likely be personally ruinous even in the unlikely case that you get some traction, due to unrealized gains tax) or to directly invest in one in e.g. Germany (where you'd be expected to physically sit through, on location, a few hours of a notary reading stuff out to you)? Do you actually have any idea how much additional legal risks, costs and time wasting bureaucracy are associated with even just forming a company in a typical EU country?

Miami, and Florida in general, have basically zero universities anyone has ever heard off, and still boast a higher number of unicorns per capita than Germany, despite the latter having at least one world-class technical university.

4 maanden geledendiscuss

What do you mean by this?

4 maanden geledendiscuss

Is there some more concise and ideally written summary of Thiel's lectures? One that doesn't require sitting through 3h of video?

I've only got some superficial acquaintance with Thiel's ideas, but he's been objectively correct on enough contrarian stuff (Thiel fellowships) that I'd like to at least have some rough, non-distorted understanding of what the anti-christ stuff is about even if it sounds a bit crazy.

vorig jaardiscuss

And using Google Firefox instead of Google Chrome is more than a temporary bag aid?

vorig jaardiscuss

Nordic countries have essentially exactly the same 1/3 two year recidivism rate as the US, the one exception being Norway at 1/5, and mostly not for rehabilitation policy reasons.

https://inquisitivebird.xyz/p/the-myth-of-the-nordic-rehabil...

vorig jaardiscuss

Thanks!

> they are better for most use cases of string templating where what you really want, is just a string.

I think use cases where you want to unconditionally bash a string together are rare. I'd bet that in > 80% of cases the "just a string" really is just a terrible representation for what really is either some tree (html, sql, python, ...) structure or at least requires lazy processing (logging, where you only want to pay for the expensive string formatting and generation if you run at the log level or higher that the relevant logging line is meant to operate).

vorig jaardiscuss

The problem with f-strings is that they make an extremely limited use case convenient (bashing unstructured text) and thus people people invariably use them for the less limited use case for which no such covenient mechanism exists. Constructing ASTs (including html and SQL). Or logging (where you want to avoid unconditionally computing some expensive string represenation).

I do this myself. I basically always use the subtl wrong log.warning(f"Unexpected {response=} encountered") and not the correct, and depending on the loglevel cheaper log.warning("Unexpected respone=%s encountered", repsonse). The extra visual noise is typically not worth the extra correctness and performance (I'd obviously not do this in some publically exposed service receiving untrusted inputs).

I'd argue these use cases are in fact more prevalent then the bashing unstructured text use case.

Encouraging people to write injection vulnerabilities or performance and correcness bugs isn't great language design.

vorig jaardiscuss

My memory is that ES6's template strings preceded f-strings. If that is correct, do you happen to know why python was saddled with f-strings, which seem like an obviously inferior design, in the first place? We are now at five largely redundant string interpolation systems (%, .format, string.Template, f-string, t-string).

2 jaar geledendiscuss

Great point – I should definitely have mentioned Julia as your best bet for playing around with multi-methods. I think it's basically the only language with any eco-system to speak of that has them. Julia also happens to be the only extant language I'm aware of that has a well designed shell interpolation syntax. For resumable exceptions, however, playing around with Dylan or CL remains your best bet, as far as I'm aware of (and Common Lisp at least also integrates them into the interactive development experience).

2 jaar geledendiscuss

Dylan is simply a historical curio, so there are no situations in which anyone should use it apart to study programming language history and to take inspiration from roads not taken. It's basically Common Lisp, with Algol-like syntax, less historical baggage (everything is a class, no weird stuff like prog and so and so forth) and more emphasis on efficient implementation. Unfortunately, it didn't catch on, but it's IMO a nicer language than python (which modelled inheritance rules on Dylan), Java, Javascript or C++.

Here are some interesting things about it:

1. It has an simple but nice trick for avoiding ugly_underscores: a-b is a single symbol, a - b is subtraction.

2. IIRC it was the first non-sexp language with a sophisticated macro system.

3. Like Common Lisp it has multi-methods and resumable exceptions (but unlikely Common Lisp all exceptions are resumable). If you want to play around with either multi methods and resumable exceptions, Common Lisp or Dylan are probably your best bets and Dylan has the advantage of being probably simpler to pick up.

2 jaar geledendiscuss

When you are prepared to die in a plane crash because of your decrepitude, how much risk to others is entailed in a case like this? If the plausible answer is “not that much” I am with you. But nonagenarian self-actualization at the cost of other people’s lives and limbs is a different story.

3 jaar geledendiscuss

Personally, I think the butterfly keyboard is great. Assuming, of course, that you got one that does not suffer mechanical reliability issues. This opinion is hardly universal but seems to be shared by quite a few good typists. I'm typing this on a fancy mechanical keyboard, because I care quite a bit about keyboard quality (and consequently hate most laptop keyboards). So it's not that I just don't know better.

3 jaar geledendiscuss

> he's basically saying Sam is the best in the world at being a ruthless mofo in these situations and obliterating those who oppose him

Exactly, it's not all that subtle, so I find it hard to even come up with an alternative interpretation.

3 jaar geledendiscuss

> I thought (and could be wrong) that all of these concerns are based on a very low probability of a very bad outcome.

Among knowledgeable people who have concerns in the first place, I'd say giving the probability of a very bad outcome of cumulative advances as "very low" is a fringe position. It seems to vary more between "significant" and "close to unity".

There are some knowledgeable people like Yann LeCun who have no concerns whatsoever but they seem singularly bad at communicating why this would be a rational position to take.

3 jaar geledendiscuss

What is bewildering is that you expect that the world has turn around in the blink of an eye to humor the Japanese, who are now suddenly having second thoughts after telling everyone else to use Firstname Lastname for Japanese names in an international context for most of the last 150 years or so (as the article correctly notes).

Given the amount of work and confusion entailed this is a completely unreasonable expectation.

3 jaar geledendiscuss

Unless there is a quoted comma or an empty column beforehand (nl “helpfully” skips empty lines for numbering purposes).

3 jaar geledendiscuss

I don't doubt you, but maybe your usage was never much memory constrained on either macOS or linux? What sort of software are you running? For what it's worth, I've got an even lower spec machine (4GiB), which works fine for light browsing and similar. But the minimum I need to run smoothly and simultaneously for a work machine is a browser (with plenty of tabs) and some mix of editors and IDEs. Linux craps for me with amounts of RAM that are way beyond what on a mac would still work fine. I don't think there's one single cause for that (e.g. safari is less of a resource hog than what's available on linux, zfs, which I happen to use, is better than apfs but probably also a bit more memory hungry, apple has virtual memory compression by default etc.).

Purely out of curiosity, what do

     ps -A -osize,cmd | awk '/[g]nome/{t+=$1}END{print t/1024^2 "GiB"}'

and awk '$1 == "Pss:" {t+=$2}END{print t*1024^-2 "GiB"}' $(ps -A -opid,cmd | awk '/[g]nome/{print "/proc/" $1 "/smaps"}')

print on your machine?