a57721

I was just pointing out (mostly to other users who read this) that the alleged dose is immense and would be overwhelming for most people. Wasn't questioning your experience, only asking out of curiosity about the kind of source and form that makes you confident about the dose.

There are many hints at psilocybin not being different to LSD, some researchers opted for psilocybin for trials just because it was less known to the wide audience and had less cultural baggage than LSD. There are some comparisons, e.g. https://www.nature.com/articles/s41386-023-01607-2

500µg is an immense dose, unless you have tolerance. Tabs usually have much less than the claimed amount. What was the source and form that makes you think 500µg is accurate? When it's 250µg or more, it's so overwhelming that many people don't have recollections from the trip after some point.

I think "pop punk" is a good term, for me it's about the sound and delivery, it has nothing to do with commercial success, being "posers" etc. I think it's kind of evident from the music itself why someone who likes Dead Kennedys, Black Flag, Big Black, or GG Allin may not appreciate Green Day, NOFX and the likes (and vice versa). It's in the sound itself, ignoring the lyrics and everything else. Many bands without any mainstream success still play pop punk.

> The problem is, programmers can't dictate what JSON should look like in the wild.

Not JSONs in general, but a sane API would never return something like that.

> We used to have strict typed XML. Nobody even bothered.

Nowadays there is OpenAPI, GraphQL, protobuf, etc. and people do bother about such things.

It visually separates digits in numeric literals.

> GP just meant that they had a bunch of interpreted language OOP developers (probably Java or C# or something like that), and they wanted them to start writing code in an AOT-compiled language (yes, I know about Graal native image; not the point).

JIT vs. AOT is not the same as being an interpreted language. For most applications, running on top of the virtual machine is a good thing, I don't see JVM developers turning to different languages just to escape the JVM, outside of some niche projects.

> I have found his reaction videos tedious with the excessive commentary

I don't follow any of the mentioned youtubers, but their stuff occasionally appears in my recommendations. I don't understand the point of videos where someone just scrolls through a blog post and reads it out loud. It comes across as narcissistic and an attempt to piggyback on anything to "create content". There's rarely any added value, and it also feels extremely inefficient to watch such "reaction videos" when I could just skim through the text myself. I guess I'm too old and not part of the target audience.

I chuckled when it said that curly brackets are bad because they don't look nice when rotated by 90 degrees.

> This is just like debating why call a builtin type is “int” instead of “Int”.

It's even a bit worse because any text editor knows out of the box about balancing brackets (e.g. Emacs in the text mode) and doesn't know about the "end" syntax.

His newer videos are probably okay, but his 90s interviews have questions like "do you still want to commit suicide?" [1], "from my research I got rumors that you slept with such and such person..." [ibid.], "there is a rumor that your cock is shaped like a soup can" [2] etc. How is this respectful, appropriate, relevant? He's also plain rude with the artists he dislikes for some reason. See Beck [3] or the Strokes. He often interrupts people and doesn't let them answer his questions.

If the goal is to break the interviewee, there are more clever and subtle ways to do that.

[1] https://www.serviette.ca/nardwuar-com/vs/lydia_lunch/index.h...

[2] https://www.serviette.ca/nardwuar-com/vs/henry_rollins/pg3.h...

[3] https://www.serviette.ca/nardwuar-com/vs/beck_hansen/index.h...

Could you elaborate? What do you mean by this link?

All three of them are trying not to break their character, and it's uncomfortable to watch. Many of his questions are inappropriate and disrespectful, I'm more surprised they could stand 15 minutes of this before walking off.

I think researching a guest for an interview is more about understanding what they are doing and trying to convey, less about digging into obscure facts. Obscure facts may be interesting, but not when it's 100% of the interview.

His newer videos have shifted towards this "adorable weirdo" persona, but he used to be really tactless and I am sure he knew what he was doing.

I'm on your side.

He has met lots of interesting artists, but most of his interviews are devoid of value, don't communicate anything, uncomfortable to watch, he often comes off disrespectful and patronizing. The bombardment with factoids is super random too, he picks stuff from old magazines and many answers to that are "what are you talking about, no idea where you got that from". Or "omg, no way, who told you that", but it's always some irrelevant trivia.

I understand that some people find his persona entertaining, he is an iconic interviewer in some sense, but not a good one.

The links to "The Power of Prolog" are broken, the correct URL is https://metalevel.at/prolog

Clojure has a good collection library with immutable/persistent data structures, but as a language it allows side effects and has some mechanisms to manage them. It is also possible to call any Java method from Clojure.

Clojure does not work with Java ASTs, it translates into JVM bytecode directly.

> When I last looked into Lean, I was highly unimpressed, even for doing math proofs.

I remember exploring different proof assistants for the first time in the 2000s. Back then, only people with a background in logic were involved, and most of the proofs that were formalized as showcases were of textbook results from the 19th century at most, or some combinatorial stuff like the four-color theorem.

I believe Voevodsky was one of the first prominent non-logicians to become interested in proof assistants, using Coq around 2010. Nowadays, several mathematicians coming from algebraic geometry, number theory, etc. are promoting formal proofs, and it seems like most of them have chosen Lean. I don't know whether this is because Lean is somehow better suited for working mathematicians, or if it was simply a random personal preference among people who got enthusiastic about this stuff and started advertising it to their colleagues?

I am not familiar with every proof assistant out there, but many of them are a very hard sell for mathematicians and lack a comprehensive math library. Lean seems to be one of the few exceptions.

Not a JS dev, but I think proper reactive JS shouldn't do that.

When Chrome was released, Internet Explorer was not the monoculture browser, and 1/3 of the users had Firefox installed.

I recall a story about a private mailing list with ~1000 participants, where someone was leaking all the messages to the public. To quickly catch the responsible subscriber, the admin used binary search and selectively altered the messages by inserting an extra blank character somewhere.

> As far as I know, the full weight of topos theory isn’t even needed for algebraic geometry

The original topos theory developed by Grothendieck and his collaborators in the 60s is quite pragmatic and served to define cohomology theories for varieties over finite fields. Later other people, coming from mathematical logic, distilled "elementary" axioms from there and developed another kind of topos theory that is pretty much divorced from algebraic geometry.

Bare categories do not give much insight in pure mathematics either, it's just a common language; interesting things are categories with lots of extra structure like toposes, derived categories, infinity-categories, and so on.

The quotes from the CEO are misleading, implying MongoDB is document-based and PostgreSQL is 100% relational. This is not true, PostgreSQL has had JSON support for quite some time.

I thought that the page about a service for padding strings was some kind of satire ("I promise I won't put it on npm, won't unpublish it, and I definitely won't rewrite it in Rust"), but apparently the website tries to sell such services, and overall it's a dumpster full of SEO spam and amateur JS coding exercises. Not a great link to see on HN.

In Java, there is a bundled 'tz' file. It gets updated frequently, here's an example: https://bugs.openjdk.org/browse/JDK-8325150 It is possible to update it manually.

> You wouldn't want to spend a year writing code for your micro-SaaS product and then have a hacker breach your infrastructure, steal your work and sell it on their own website.

> It's really a grand piece of irony for software engineers that depend on enforceable copyright law to put food on their table to call this arrest tyranny. If nobody can go to jail or be fined for copyright infringement then I hate to say it but you are going to need to quit your job writing software and start driving a city bus or something.

For many (if not most?) software businesses nowadays, the code itself holds little intrinsic value. If someone were to steal my SaaS code, it's unlikely they could deploy it and sell a similar product. The value of my business lies in its domain expertise, not in the code being a trade secret. Many internal projects aren't open-source simply because opening them to the public would require significant maintenance. Otherwise, there would be no issue in sharing the code, as much of what's built today is based on open-source projects.

Similarly, if I'm selling an application and its code is leaked, people would still prefer to install it from the app store. Few would go through the trouble of compiling the code and deploying a "hacked" version.

This contrasts with the 80s and 90s, when illegal copies of floppy disks and CDs posed a significant issue for some software businesses. However, times have changed. Nowadays, people prefer to pay for the support of a SaaS or the convenience of installing an app from a store, complete with updates.

There are exceptions, but I believe most software engineers don't work on projects where the code itself has significant value that needs to be protected by copyright laws.

The situation with music is somewhat similar. People have stopped buying physical media because it's no longer practical. Even those who collect CDs, vinyl, or tapes typically use streaming platforms for most of their music consumption.

Besides, the generation of PDF reports is usually decoupled from the templates, so you will have to work on your own "middleman".

f'(x) = f(x), f(0) = 1 _uniquely defines_ f(x) = e^x, the linked article basically says this.

> At least from ORMs I know I can set for example any group of attributes unique

Just in case, ORMs send DDL statements with uniqueness constraints to the DBMS, they don't do any magic here.

Modern editors with good Java support, while not being full-fledged IDEs, rely on a Java language server. They don't blindly index .java files in a directory. It is also very desirable to index external dependencies.