chrsig

> Why did Ubuntu hit 18.04 and then decide to only make things worse in future?

Oh, ubuntu beem making decisions that many users think make things worse since it was first released

and yet it's still quite popular

i'm aware of erlang and elixer -- what other languages run on BEAM?

Does anyone know of a good hands on guide through learning how to use a model checker like alloy or tla+?

I see lots of value in adopting them, but the dsl's that they use are inscrutable to me. I'm sure that after some hands-on time I'd understand them well enough, but having a hard time figuring out how to get that ball rolling.

colorblind person here: if you want to design for colorblind people, don't use colors to distinguish things.

do: - use a different shape, or font/font weight.

- provide text labels that appear on hover

Thank you for articulating all of this, I don't think I'd have been able to put it this well.

> those lawsuits would seem to spell out that denial of life-affirming care that sufferers of ADHD, a federally recognized disability, have experienced could give them legal standing to sue doctors over.

As a person with adhd, why would i want to sue my provider? They have nothing to do with why there's been an adderall shortage since october. it seems to me the last thing I want to do is make providers feel averse to treating adhd out of concern for being sued.

> What we're talking about here is the completely gratuitous, "I'm so valuable here that I can get away with it" abusive behavior that has no correlation with performative ability.

Can you give a concrete example of this behavior? I'm sure I can think of some, but I'd like to be more clear on what you had in mind.

What is your criteria for 'good profiler writer'?

Having a link to a detailed explanation would be amazing. Trying to even find the error message in a sea of c++ template notes is challenging...Then trying to actually parse it while examining the types is...painful.

Sure, once we have a universal way to accomplish the task that's easier and safer.

> Eventually it will negate the need to click through to many reference, then it will be better able to curate a list of alternative sources for what you seek.

Doesn't that just kind of describe google now though?

if starcraft/starcraft 2 is any indication of what might occur, they'll just be treated as two completely different games.

A few ideas I like:

- Make police get individual insurance, similarly to doctors. Malpractice should have a monetary impact that doesn't hurt the taxpayer.

- A mirror to the DA, exclusively for prosecuting crimes committed by police. Remove the conflict of interest with the current DA system.

- Make police have some form of practitioners license, and have a board that can revoke it, similarly to the BAR association.

- Mandatory N years of desk duty after being involved in a fatal shooting (regardless of justification)

I really wish bash could evolve...in particular around control flow, variable assignment, string interpolation, and arithmetic.

I love working with bash, but it has some footguns that really require an expert hand.

I know bash as-is will always be around for backwards compatibility with the god-knows-how-many scripts out there. It'd just be nice if there were a widely embraced path forward that kept the shell scripting spirit while shedding some of the unintuitive behaviors

Testing and scripting between requests and being able to share collections with colleagues.

Here's a succinct demonstration: https://go.dev/play/p/Li6_Rpe2R5L

Basically: a slice is a triple of {ptr to allocation, number of elements used, size of allocation}

the slices will share the same underlying allocation. By specifying the third parameter in the slice function, you set the capacity equal to the number of elements in your slice. This forces the next append to reallocate and copy the contents into a new region.

Without bounding the capacity when creating a new slice, the append operation could possibly continue using the same allocation, shared with the original slice. It could possibly resize and copy as well. It depends on how full the slice is, and is an implementation detail subject to change between versions.

I've been having to put together a test suite at $work similar to what the product tries to offer. If there were a sufficiently advanced product to buy, I'd petition for it to be adopted at my org.

> It is random sampling. I feel, 1M or 10M randomly sampled requests should cover all cases.

1. I suggest providing alternate approaches to sampling: The input itself may have bias towards a single use case. If 70% of the input exercises the same code path, there's no benefit to having a uniform sample. Ideally it would be stratified amongst customers, or perhaps on other dimensions to allow for covering the most surface area.

2. Requests don't happen in a vacuum. They likely have data dependencies on prior requests. I recommend some way of sampling sessions rather than individual requests. Replaying the 3rd request in a series of 6 is likely just going to be exercising failure paths.

3. Behaviors may vary between requests with respect to time. If requests were sampled over a number of days but replayed within a short time period, there are behaviors that could differ from what actually occurs in production.

I didn't see any explanation on how results are determined. I think it's important to surface those types of details on the website. I'm not going to watch the video on it in hopes of learning.

Good and bad are such boring descriptions for code. It tells me nothing about it. Readability is incredibly subjective and it needs a point of comparison.

What properties of the code need improvement or demonstrate what other should aspire to? -- Getting someone to really articulate that is quite difficult.

There's a huge swath - probably an overwhelming majority of the time - of good faith situations where it works well. That is, the suggestion isn't intended to be adversarial, and is otherwise plausible.

A major problem however is if there's not a collective understanding that "yes, if" is not a suggestion or consent for that condition to be actualized.

So it really should be "yes, if ..., however, that situation is very rare/cost prohibitive/high risk, so should be avoided"

There needs to be some way to unambiguously signal that something is a no-go, even if there are situations where it would be a good idea.

oh my, thank you! This could definitely fill a very noticeable gap in my tools.

I'm looking forward to playing with it this week

It's a disorder, not a disease.

Point of fact: It's not hallucinating. More appropriately, it experiences a delusion. Hallucinations pertain to deceptive senses, delusions pertain to holding beliefs that are provably false.

It really is

https://xkcd.com/1416/

The example though uses a three dimensional vector and suggests turning that into an SoA form.

My question is: In the case of component vectors like that, given that many operations wind up in operations like dot products, do the advantages still apply?

I don't have any experience programming with simd instructions specifically, so the memory access patterns get a bit murky to me.

The same goes for cuda, for example, which has a native float4 type. It's making row ordering so convenient, and going for SoA seems like you need to walk away from that.

if it's gpl software, can they actually enforce that?

if they're distributing under gpl, that means they 1) have to make the source available, 2) the user maintains the ability to redistribute.

So provided that the user makes their own apt repo, they should be able to distribute it to as many machines as they see fit. That's essentially how centos operated. I'm sure there's some exceptions, around assets that ubuntu may own or any trademarks. But I shouldn't be learning this from an HN link to a twitter post of a screenshot that references ubuntu.com/pro. So I have the sense they haven't done much if any advertising for it? Maybe I've just been oblivious?

It is somewhat concerning that they're kinda holding security packages hostage...but I don't think it's unreasonable for ubuntu to want corporations to chip in. Gotta keep the operation running somehow, and bills don't just pay themselves. I don't know what else they can offer to make anyone actually shell out some cash.

not that i think it's necessarily applicable in this particular instance...but

one political party is flirting with authoritarianism, denying election results, pushing bigoted policies, marching with tiki torches, taking away all social safety nets, repealing abortion, refusing to do anything about healthcare insurance or even insulin prices, refusing to take any action on gun violence...oh, and insurrection.

It begs the question, who would want to willingly work with anyone endorsing that party?

In a sane world, we wouldn't have to ask the question. We do not live in a sane world.

Too bad it's not the 737 MAX

> MIT 6.824 Distributed Systems by Robert Morris

Just looking at the playlist, I'm surprised at how many lectures are focused around actual distributed databases versus purely on theory or algorithms

MIT 6.001, Structure and Interpretation of Computer Programs

It really made...the interpretation of computer programs...click with me.

And there's a meta-circular evaluator designed to fit on the number of blackboards they had available. So that's cool.

https://ocw.mit.edu/courses/6-001-structure-and-interpretati...

I'd been reading this as returning to Office Stalls, comparing the open office to a barn. Or bathroom.

Took me a moment to parse it properly that returning to the office is stalling.