skysight-inc/HackerNews huggingface dataset:
Types can definitely help with data well-formedness but personally I'm very suspicious of 'mini-types' like Name and CartID. If the data you're wrapping has no internal structure (that can be formally verified) and you're just using the type system as an argument checker then it's not clear to me that you're really adding much value. If CartID and ProductID are both just strings what's to stop a user from doing the same as:

CartID cartId = new CartID(productId.toString());
addToCart(..., cartId, ...); <-- but look that's really a ProductID!

I'd suggest that while you may have reduced the likelihood of certain errors you have not actually eliminated those errors.

The right approach here is to be very suspicious of any methods in your domain that just take a bunch of IDs. Either:

(a) Force the caller to resolve the IDs to actual entities before invoking the method:

addToCart(Cart c, Product p, ...)

or (b) Represent the method parameters as a Parameters object or, preferrably, an Event object.

handle(ProductAddedEvent event);

The real problem here is not the type system but a domain that is not sufficiently protected by an Anti-Corruption Layer [1]. Unfortunately most developers are not familiar with this kind of strategic design and languages are not much help here. It would be interesting if there was a language that could flag things like weak ACLs.

[1] https://docs.microsoft.com/en-us/azure/architecture/patterns...
You can use tags for human readable names of commit hashes. But never rely on tags for security!
Thanks for the tips. I put them in a file, because I saw someone using ed last year in a script and started looking at ex from there.

diff -e file1 file2 > ed_script

Using echo (along with your other suggestions) is probably better for that example.
African Americans are economically better off as a result of slavery than their African peers. And without slavery, there would be far, far fewer African Americans than there are today. These are facts; no serious person disputes them. It’s not a big jump to suggest that slavery was economically advantageous for the current generation of African Americans.

This is simple reasoning; nothing reprehensible here. However, it would be reprehensible if I used this one positive outcome to justify slavery, which I’m very clearly not doing. Slavery is bad even if it did have a positive outcome.

Of course, none of this “puts me on the hook” for other other unrelated arguments, nor do they make Haitian slavery relevant to the subject of US reparations.
Viruses evolve to be less deadly over time, so an old strain of something might actually be more dangerous.
> “I’m much more afraid of walking in grizzly-bear country than I am of walking in big-cat country,” Rabinowitz says.

Interesting. Given that big cats (mountain lions and the like) are ambush predators I tend to worry more about them. If a bear were coming at me, I would bust out my bear spray. If a cat comes at you, you'll never know until the moment.
Ugh. We have whole communities of these people (e.g. incels). I have female friends who will be single forever with impossibly long detailed lists of requirements that will never be met.

It's really quite sad.

On the other hand if you can buy into something that isn't considered highly desirable by society but is very prevalent, well, you can have a really, really good time.
Yep, these are called "discriminated unions" in F#. I think most functional programming languages have something similar.

The underlying concept is "algebraic data types": You can compose types as products (tuples or records) and sums (discriminated unions) of simpler types. From there, you can actually use algebra on types, which is pretty mind-blowing. For example, we can define a generic sum type called Either:

Either a b = Left a | Right b

You can think of Either as the sum of types "a" and "b": a + b. Tuples are product types, so you can use the distributive property of multiplication over addition to establish that:

(a, Either b c) = Either (a, b) (a, c)

Or algebraically:

a * (b + c) = (a * b) + (a * c)

This is one of those areas where category theory is actually useful for programmers.
And in other news... https://techcrunch.com/2018/05/09/moviepass-parent-drops-ano...
> If you want I'll name a few.

Yep, that’s what I’ve asked above. Might spur a conversation if your claim is legitimate.
> “Hacking back should be legalized so Kaspersky could of done this themselves,” the hacker wrote

This sentiment seems to becoming more and more popular; I wonder if we'll see more vigilantes (which the person in the article purports to be) as a result.
Someone should have taken a step back when they were writing that guide and said "Wait, what? Why is this even necessary?" To think that they're recommending that and some people are accepting that as a real solution makes me think the Reality Distortion Field is alive and well.

Now contrast that to laptops with drain holes. https://www.youtube.com/watch?v=d7cvi00OZDM
As I get older, I really wonder why people do this to other people. In this case, I'm talking about the manufacturer of this product. They know other human beings are going to spend a lot of money to use their products? It's important to make money, but at what consequence?
Arguing that things use resources does not support your claim that they use the same resources.
> I never accidentally press it with my palm or have any other issues with it.

There seem to be two kinds of typists: ones that rest their palms, and ones that hover their palms. If you hover, you will never encounter these issues. I rest my palms to the degree that any touchpad that is not recessed gets unintentional input. I also believe, based on personal experience, that the ergonomics of a pointing device are in general inversely proportional to the amount of hand/arm movement, so larger touchpads are going to be less ergonomic than smaller ones (a corollary is that touchpad gestures will give you RSI). Having three buttons for a pointing device is essential. Macbooks fail on all counts on these criteria. The closest to ideal touchpads that I have encountered are on the T4x/T6x series Thinkpads - 2" large and deeply recessed. Unfortunately they only have two buttons.
That's very neat. It actually works and from the looks of it has the complete environment including compiler, I managed to mess up the scrollbar on my first try :)

You need to get used to the mouse handling for a bit, it's really old school but it's all there.
I recall reading something from one of the Xorg maintainers saying, "There's maybe three people in the entire world who really understand how X works."

So that might go some ways to explaining why building your own isn't a walk in the park.
Big Integers in Zig
Creating and maintain type system is also leg walk (and I was arguing it is a bigger burden of leg walk). And a Turing complete type system can have Turing complete errors. Let's not pretend we have silver bullet and have a fair discussion
A few similar post were flagged. I guess it was flagged because it's not clear at all that the autopilot was enabled, so it still can be an usual traffic accident that is not interesting. For speculation, the Tesla autopilot has problems with static objects and they hit a fire truck a few months ago, so some problem with the autopilot is possible here ...

Continuing with the guessing, most of the other posts you references were about an accident where the Tesla car burn. Apparently it is confirmed that the autopilot was not enabled, but people has an irrational fear of battery fires in spite gas cars can burn more easily. So I guess the irrational fear made them more interesting and the post were not flagged.

Don't read too much in the flagging. Sometimes a post is unnecessary flagged and sometimes a clear bad post survives. If you see some very bad case and the flag/vouch button is not enough you can send an email to the mods: hn@ycombinator.com , they usually reply soon.
That's what I was thinking.

But damn, I've never seen entities talking to me. Except on acid, and sometimes when very stoned. But only with my eyes closed.
i don't know a lot about the physics of it, but won't this run into power loss issues because of the constant changes in angular momentum of the main spinning gears?
For more background, I found this video very insightful: https://www.youtube.com/watch?v=Gwx9nqknu-c
> They forgot the software equivalent of a line-ending semicolon when they eliminated a single-support bolt for the catwalk accidentally during design review.

Absolutely not. Their original design supported only 60% of the minimum load specified by the Kansas City building code. However, that's not why they changed it. A supplier pointed out that the design was impractical to assemble, and suggested an alternative. The engineers in charge accepted that alternative without doing any calculations about its effect on the load-bearing capacity of the walkways. Had they done so, they would have seen that the new design could support a mere 30% of the minimum load required by the building code. Their engineering process was flawed from start to finish. If I had to make an analogy to software, it would be a company that regularly did development on the production box.

Engineering is not about never making mistakes. Forgetting a semi-colon is common, and any software engineering process that depends on people never forgetting something that trivial is fatally flawed. When you make a mistake in vehicle control software, there should be many layers of failsafes to catch it, such as: the compiler, automated unit tests, automated acceptance tests, code review, manual feature testing (with a simulator), manual release testing (with a simulator), integration testing on a vehicle that has been immobilized, integration testing on a closed track, and production environment trials.

Keep a few mistakes between yourself and disaster. One mistake is a very slim margin.
For the first case, you need to know how the value is split into bits, what does each part of the value mean, and what do the values of reach part mean.

For the second case, most of it goes away. You still need to know exactly how the value you set is interpreted, but you get a readable description of each part and you don't have to think of bit shifting every time they're set.

The declaration is longer of course. But what would you prefer to see at usage time:

MREG42 = MREG42 & table_type_mask | inphase_val

Or:

device_setup_registers->table_type = TableType.inphase
In Search of Rare Birds and Glory in Colombia
If the average resolution is at least one $700 keyboard replacement plus 1-2 weeks (and they really should calculate a dollar amount for lost time), this ought to be massive. Yet, like many class actions, this will probably end handing out $3 checks or some other insulting amount.

What we really need to hope is that they’ve been working on a redesign or reverted design for awhile, as these things take years.
It's worth noting that the "enter a single . on a line to signal the end of an input" convention found its way into mail/mailx and SMTP too. The good thing is that it means you don't need to insert special characters like Esc (Ctrl+[, 27, 0x1B, whatever you want to call it) into your script; the bad thing is when you do want to add a line containing a single "."... whereby ed and SMTP have diverged with different "escaping" conventions.
I see "transpilers" as being on a continuum ranging from IDE collapse comments and collapse blocks at one end, to full code generation syntax macros at the other end. There's a sweet spot in the middle where the productivity gains from terser code outweigh the impedance risk.
Blame is shared: ask whoever signed the contract why. In this case, I'd find more blame in whoever willingly accepts this nonsense, rather than the one trying to sell it.
Casio calculator watch—the black plastic kind—went all the way through a black Lab named Brando. Came out the other end of the dog minus half of its wristband, with teeth marks in the keyboard and a cracked display but it still worked. Cleaned it thoroughly, replaced the band and wore that watch for many more years.
Re-entry is definitely a huge part of military deployments as well. There's this overwhelming certainty that these people just don't have their priorities straight.
it work in my iPhone 7!
https://www.merriam-webster.com/dictionary/proxy

Looks like it dates from the 15th century.

Here’s a guess for what you’re experiencing: https://en.m.wikipedia.org/wiki/List_of_cognitive_biases#Fre...
> The CPU itself may reorder things.

> Generally you will need assembly code to avoid the bug.

What do you mean by this? Compiler outputs binary code the same way assembler does. If the CPU reorders your instructions, it will happen in both cases.

If there are some specific instructions which create memory/reordering barriers, they can be expressed in higher level languages as well.
It's a quote from the CEO of AMC from their recent investor call.

"Fast forward to today, in March and April, MoviePass paid AMC $12.02 per ticket on hundreds and hundreds and hundreds of thousands of tickets each month, hundreds of thousands of their subscribers came through AMC theaters to enjoy our product. They did so at a frequency of 2.62 times in March and 2.75 times in April. Now, I took the calculator out and I multiplied 2.75 times $12.02, and I got to a number that was considerably larger than 995. So just as we were hearing that -- the MoviePass price point was unsustainable in August, we have the same questions today. And apparently we’re not alone in that view. Our doubts are now shared and articulated by MoviePass's orders."

https://seekingalpha.com/article/4170917-amc-entertainment-h...
Reread your comment. I think I interpreted "sympathetic and supportive of [...]incels" as characterizing his intent for the response of readers of his account, since he is someone who might be an incel. That's probably wrong. I apologize.
Can you explain what he means with the reinterpret cast section? I don't understand what he is storing into the auto variables.
10 Experts Shares Their Best Betting Tips
> new CartID(productID.toString());

With good data modeling and safety checks, this should fail: a product id and cart id should have some sort of distinguishing syntax (eg "P1234" vs "C1234") and so `new CartID("P1234")` will fail.

At some point, no sorts of type system can stop incorrectly implemented/specified logic. An even simpler example would be just passing some constant, valid, but not semantically correct string to the CartID constructor.

Your (a) and (b) solutions don't solve this. I could just as easily create a meaningless Cart object, or a meaningless ProductAddedEvent the same way you constructed that meaningless CartID.
The FPGA architecture is not the problem here. This Chips thing works on another level of abstraction: it will generate a small RISC CPU and run the interpreter it compiles. So, maybe I can try to port http://armpit.sourceforge.net/ or something like this.

But I don't expect not very interesting to happen. The " CPU optimization" will not result on a Lisp Machine. It will probably just compile the interpreter as usual and prune unnecessary instructions.
Often in embedded systems, it's actually less of an issue, because you don't need to "acquire" resources - you have the run of the hardware and you're not sharing any devices with any other code.

Likewise, you don't need to keep memory free for other applications to use, so there's a strong tendency to just allocate everything statically. It's simpler and more reliable.
Wouldn't agree they're both buggy, assuming the aliasing isn't an issue given the upstream types. The author mentions the potential of hardware re-ordering in TFA. C++11 atomics are suggested though not sure that'd deal with the issue unless the compilers utilize a bulk memory copy operation.

The proposed alternative of using a struct appears more confusing at first, but it's really helpful when referring back to the register layouts. TI makes pretty good usage of the method for the co-processors in the BeagleBones [1]. Generally I think it's nicer to have a `settings->control_bit = 1` than `*(base_prt + control_bit_offset) = 1`. Though the whole `reinterpret_cast` and volatile stuff in C++ confuses me everytime. C is _much_ easier but less type safe when dealing with volatile.

1: http://processors.wiki.ti.com/index.php/PRU-ICSS_Header_File...
Pointers. I don't understand why either :-( I think it doesn't map well to the original example.
I really like sun basket, and it seems to me it’s solving a simpler logistics problem with a higher value proposition then munchery.

Logistically it’s not on demand, but rather delivery with reasonable advanced notice.

For me the value proposition is very high quality meals and a forcing function to do something mindful in making them ... typically my wife and I make them together. This is helped tremendously by the fact I work from home.

I do hope the market is there to keep sun basket going.
Netflix recently released a 6 part documentary series titled "Wild Wild Country" that follows the sequence of events leading up to this incident: https://en.wikipedia.org/wiki/Wild_Wild_Country
Amazing concept: where you allow the general public to benefit from investor money.

Let's enjoy these dirt cheap services while they burn through investor money. It certainly won't last long. But it's great while it lasts. I enjoy my share of door dash delivery that's funded by some nice investors. /s I almost certainly won't use it when they start charging any sort of real money.

Now scale this thinking to millions of people and you have a nice little disaster.
It's like evolution. Why does some weird, seemingly useless creature exist? Because it fills some crack in the ecological economy. Someone was willing to buy this piece of shit and that is explanation enough for its existence.
> $1 strike 1/2020 HMNY LEAPs

This is pure gibberish to me, and I intend for that to always be the case.
That doesn’t make sense. Without slavery the current generation of African Americans wouldn’t have incomes equal to white amAmericans. You’re shortchanging other races, not to mention everyone who has to pay for the reparations but never meaningfully benefitted from slavery.
Pizza delivery seems to be doing fine, and has been doing fine for a long time, from the largest cities all the way down to small towns.

What is it about the pizza business that lets it thrive with delivery, while so many of these food delivery startups struggle?
Those sections are the source of a nice chunk of obscure references I post here that people like. They're a gold mine. The other is serendipitous search where you find what you're not looking for directly. Main way is to learn the buzz words of serious researchers in each sub-field plus verbs they use to describe results. Then, you just do permutations of those with quotes, minuses, and places like Citeseerx. You get the diamond mine once you master that. ;)
Neither of those links really address my question.
It's possible people got this Utah case confused with the Florida case of a couple of days ago.
Isn't that reassuring in its own way? If a bear charges at you, even with bear spray, there's still a reasonable chance you're going to meet your end. And you'll be looking at it in its face. At least with an ambush it will be over near instantaneously, you probably won't know except for a moment of pain.
> I think the take-home statement here is that it pays (literally) to know what you don’t know.

So true.
ok, i have a better one:

"rationally", i shouldn't care about global warming because it's inconvenient to alter my lifestyle and because global warming will not affect me as much in my lifetime

but "empathetically" i care about the future environment i'm leaving for future humans
It doesn't uniquely pick out the Bible, except to the extent that Western civilization was shaped far more thoroughly by the Bible than by Homer.
Costco already does amazing delivery. Their app and website sucks majorly but the delivery is above and beyond Amazon.
Don't you think it's more like some sort of genetic mutation that's just benign enough that it does not kill the organism immediately? (Lord help us if this one breeds.)
Not everything in the world is a problem needing a better solution.
How does that help? You already know that app is not going to work (well) with 250M, nagging the user for more RAM doesn't solve anything. Either you run an app written with resource constraint environments in mind or you don't.
Bullshit.
I've seen people wearing motorhead shirts for instance that have never heard motorhead, and didn't even realize it was a band.
They say they care, their actions have proven otherwise. They need more than a promise of a new Mac Pro and an iMac Pro which starts at $5000 to win back their most loyal Mac fans after years, literally years of neglect.

And after this, they are gonna need years to rebuild that trust.
“if you’ve got a business, you didn’t build that“ - B. Obama
I maintain 14 AUR packages and have also never heard of this happening.
Remember stuff like this when you decide to build something yourself instead of subscribing to a SaaS which does the same thing better.
Startup Takes on Google with a New Approach: Rewards for Users
-pizza keeps well in a car (fries/buns get soggy)

-pizza is still good when it's merely warm (whereas pasta/chicken aren't)

-pizza doesn't come in individual servings (you don't order $2.50 slices. pizza delivery has effective $10+ order minimums)

-margins on pizza are huge (it's literally just a cheese sandwich. the cost of a large domino's pizza is <$2.50 iirc; margins on fancier food are not as high)
But the theater chains know they just need to wait— possibly for less than a month more— and MoviePass will go out of business, at which point MP users will who have gotten used to the service will have to use the chains' own subscription services that they're all launching. MP has no leverage with their cash dwindling so quickly.
Is that not the basis for all evolution?
Show HN: A minimalistic framework for go microservices
People often pick and choose their fights. Common utility companies like power and water are pretty different from regulating ISPs.

They're controlled locally, by the state or municipality. So changes in policy don't affect the entire US. The utility companies have their own problems, like not being incentivised to innovate much. Power companies have also pushed for onerous regulations on solar power in the past to maintain their monopoly on providing power.
I agree; I have zero interest in installing software using anything other than my system's default package manager. The whole point of package management is centralization, keeping track of chaotic dependencies and install states. Having multiple package managers, that don't know about each other's state, on the system defeats the purpose entirely.
Hey thanks so much for offering guidance. I wasn't expecting this much response (considering other comments offering help too).

I'm in the process of getting nationality in the west but that's a few years away (and I'm pretty sure I won't be able to get in without that nationality).

(As for background, I'm trying to finish PhD in a STEM discipline, so I hope that could count).

I'll keep your contact in mind and let you know when I'm ready. Thanks again.
Yea; one's position in the sex/desire spectrum doesn't necessarily change their general value/happiness in life. I think one key is in finding something (a hobby) that you identify strongly. I think they call it sublimation. https://en.wikipedia.org/wiki/Sublimation_(psychology)
The most important parts of being attractive is improving on your looks (dress sharply, have a fit body using a trainer in the gym) and location (if you live in California, male/female ratio is extremely bad, move to NY, or somewhere where you are treated as a special person, i.e. Colombia if you look Asian).

Goodlookingloser.com has quite a bit of information of the looks part.