skysight-inc/HackerNews huggingface dataset:
As I see it, when we will have built languages that didn’t de-evolve into a bazaar of features, those will be dependently typed languages.

Because a dependent type is a type that represents a computation. A word that symbolises a computation, a word which can be manipulated by hand and assured by machine – and vice versa.

Software is automation. Types are signifiers of meaning. Dependent types are the automation of the automation.

Using a dependently-typed language feels like handling a machine which is the result of having closed a fundamental loop of expression vs. meaning. And that is what it is.

It’s very philosophical-sounding! It has its roots in philosophy – in intuitionism, where math dug down and met philosophers who had dug down from the other side. Kind of.

Practically, the upshot is that things actually become simpler. Kind of because you can grip the tool everywhere. Un-dependently typed languages feel kind of like they’re part tool, part void. You usually can’t express things relating the context you’re in, or looking at.
I never saw him retweet any of this!
Arguable, because monero's hash power is a negligible fraction of bitcoin's AND it's ASIC resitant, so mining on CPUs is still viable.

This makes it much more vulnerable to nation state 51% attack since they can just temporarily redirect fleets of CPUs (maybe even deputize AWS, Azure, GCP, etc) to attack the network. This kind of rapid response attack isn't feasible on bitcoin because SHA256 ASIC miners are incredibly hard to come by and the electricity required to pull it off would be enormously expensive.
you can also use a "/sarcasm" closing tag
When I do reference checks, nowadays I specifically ask if they "shouted, angrily" or otherwise "demeaned employees verbally" to make it clear that a raised voice, per se, isn't necessarily a disqualifier.

I was turned down for a few key job transfers into a prestigious corporate research department because the gatekeeper said I had "yelled" at somebody before. The conversation in question was "heated" and I certainly pushed hard, but it certainly wasn't anything out of line with what I grew up with. However, I've reprogrammed my entire way of interacting since coming to California, as I found that a surprisingly large number of people will just shut you out otherwise.
For me, there was a clear transition when SSDs came on the scene. Prior to that, when using spinning disks (particularly in laptops or laptop-like scenarios such as iMacs), you could always tell when the computer would start to thrash and things were getting bogged down. Your productivity is halted until the computer gets its act together. Now with blazing-fast SSDs, that _rarely_ happens. It was one of the early draws of tablets—no matter what you were doing at any single time, the OS as a whole remained fully responsive. Now we generally have that experience across all computers and computer-like devices. It's awesome.
Attempting to retroactively and without due process freeze the finances of anyone who donated to the BLM protests would be just as far out of line as doing the same to anyone who donated to the Ottowa protests.

Even in cases like the sanctions on Iran, I don't think we attempt to prosecute people who had financial interactions with Iranian people or businesses before the sanctions were imposed.
I've just changed the battery on my iPhone SE. Here's to another year of avoiding Face ID.
Pushing back, standing up for yourself, not being a doormat. All this is key to being treated with respect. The problem is that today, we've got a perfect storm. Developers do tend to be more naturally non-confrontational. Combine this with an abundance of opportunities, and developers will just leave rather than confront and push back.
It is. Look here: https://en.wikipedia.org/wiki/Matte_display

> Matte displays feature a light-scattering antireflection layer

You can turn any glossy screen into a matte one, but not the other way around.
The lack of minimum wage is a bit of a giveaway, no one should be taking a job that doesn't at least meet that minimum legal requirement its clearly illegal without one.
> Focusing on iPhone users and and not iPhone developers probably was/is the right thing to do.

Broadly speaking, I feel that we in the tech community tend to erroneously assume that what’s good for developers must also be good for users. That’s not necessarily true. Developers are ultimately just businesses looking to extract revenue from users —- we should expect the relationship between developers and users to be adversarial to a certain extent.
I wouldn't consider Rust to fall in this category to be honest, as there are plenty of issues/RFCs where people were bike shedding for months or even years.
This is about VIRGIN Hyperloop by Richard Bransons Virgin Brand conglomerate.
Not to be confused with Elon Musks Boring Company.

FTA:

> Virgin Hyperloop was founded as Hyperloop Technologies in 2014, stemming from Tesla CEO Elon Musk's idea of a high-speed passenger pod transport. It changed its name when Richard Branson joined the board of directors in 2017.
Yeah I mean I think it's largely semantic. I think when most people talk about "swift on the server" they mean they want to write their server-side business logic in Swift, and that seems perfectly suitable in a serverless context.
Well, isn't that basically reddit: insecure young men?
So taking photographs of your children's life's events? Or what are you referring to?
But all this begs the question. Why should we believe Gauss's law?

No one has the resources to verify the whole of science through first-hand experience so at some point you have no choice but to trust someone.
> I am not here for health theater

That's how I've felt about restaurants, where you're supposed to wear a mask when walking to your table but don't have to while sitting. Follow the science, supposedly... </sarcasm>
you have to be a team for that to work
One thing to keep in mind while programming AVR in C is that it still is small-ish MCU with different address spaces. This means that if you do not use correct compiler-specific type annotations for read-only data these will get copied into RAM on startup (both avr-libc and arduino contain some macrology that catches the obvious cases like some string constants, but you still need to keep this in mind).
Could you imagine? As if Linux doesn't have enough trouble finding mainstream support as it is, imagine if it were called Freax. My God nerds suck at marketing, and I mean that with so much love. I guess marketing types suck at writing operating systems, so it's unfair to expect the world from one guy.
That could be it. Also I think maybe "satisfied" is way of saying "I think this is worth it". People continue on in bad situations all the time because they think -- all things considered -- it's worth it compared to the alternatives they imagine.
Is org-mode its own productivity system? I thought it was an application that would also me to implement a productivity system like GTD.
pow has transaction fees that are too high for it to be usable as a currency.
Yes, true. But also, there are very few situations where what's being called out here is justifiable.
> Even if someone were to do that and then sell them online, the barrier to finding and buying those are still probably going to be higher than getting an AirTag.

They're on Amazon, for $50-150 [0]. The first result for "GPS tracker" I found has 10 days of battery life, which is a fair negative, but you can do a lot to someone if you follow them for 10 days.

[0]: https://smile.amazon.com/LandAirSea-Waterproof-Magnetic-Pers...
I think the similarity ends when you consider functions with more than 2 arguments. Let's compare a 2 argument function with a 3 argument function:

@partial
def f3(x, y, z):
return (x, y, z)

@partial
def f2(x, y):
return (x, y)

A curried version of f2 would look like:

curried_f2 = lambda x: lambda y: f2(x, y)
curried_f2(1)(2) == (1, 2)

Currying produces a chain of functions which each take one argument. So its true for f2 that currying and the partial decorator are similar:

curried_f2(1) == f2(1, _) == f2(..., x=1)

as you pointed out.

But now consider the 3 argument case:

curried_f3 = lambda x: lambda y: lambda z: f3(x, y, z)
curried_f3(1) != f3(1, _, _)

this is because f(1, _, _) takes two arguments whereas curried_f3(1) takes one.
I'm pretty familiar with the modern Java GCs, and they're very impressive, but at the same time having to do manifestly less work with ARC is probably good for responsiveness and battery life.
I apologize. I overstepped and will correct my previous comment with a note.

I do find it suspect that this all went down at the Fairmont Chateau Laurier which is a hotel most well known for hosting foreign dignitaries and heads of state, as well as more recently large numbers of police brought in from around the country.

This single nazi flag incident has been repeated by the government and it's proponent so many times now to paint this entire movement as racist which is do feel is an unfair characterization of the protesters, most of whom were simply Canadians who felt the need to be heard.
It’s not judicious of the banks to freeze assets, it’s set by government agencies. Banks just follow the rules.

I can well imagine the implementation of such rules is done badly, especially in US, but that’s a bit different to this sub thread I think.
I think Kosovo set a good precedence of "peaceful" separation - https://en.wikipedia.org/wiki/Partition_of_Kosovo
>but you shit on their memory online the day after they die

It's a compromise, attention for the suffering of the victims, no consequences for the perpetrator.
Yep! And it's great where you've got it, but the world is not Clang. :(
What good will the answers to your question do? We can all complain about email spam, but it’s like complaining about the weather.
> Everything in the BBC article was pretty trivially verifiable. But most people didn't. That feels wrong.

90k Instagram followers is all the verification most people need.
> e.g. couldn't browse the web and listen to mp3s at the same time without occasional distortion

This comes from most desktop operating systems being shit at the task of being a desktop operating system. BeOS could do that just fine on a fast-ish Pentium I. Windows and Linux at the time, couldn't do it on hardware twice as powerful (and I don't think either's gotten much better about prioritizing media stability and user input performance)
Is it just about inserting a sheet of paper with a good quality photo at page 63?
I find it quite surprising that they only fired half and not all of them. How can this conceptual vacuum tube pod system that has been shown to be incredibly inefficient and prohibitively expensive still have some kind of business model?

To be honest I thought this whole idea got scrapped 5+ years ago.
Isn’t Android the same Pyrrhic victory that Windows was for PC Makers? All of the market share but none of the profit? No PC maker is making any real money selling PCs just like no Android manufactures are making real money.

At least MS made some decent money on Windows. Google has to pay its competitor Apple more than it makes on Android if you extrapolate what came out during the Oracle lawsuit.
That doesn't preclude C23 on Unisys, it just forces the compiler to hide that fact from the programmer ;D

(SCNR)
This looks interesting, but device itself looks like it wouldn't survive fall on the floor, let alone armageddon. Just joking.
> Then I believe basing policy off your definition of marketing would require first a tribunal to decide if something is "marketing" or... Whatever the polio campaign was.

Let's just use the dictionary definition and save everybody a lot of time:

"the process or technique of promoting, selling, and distributing a product or service"

So I think the polio campaign doesn't have to be hauled in front of a tribunal (is that a new thing? I see this term used more and more for things that it has nothing to do with) to prove its worth.
C itself is pretty far from the machine, too, except by accident.
> Too bad programmer laziness won and most current hardware doesn't support this.

There were discussions around this a few years back when Regher brought up the subject, and one of the issues commonly brought up is if you want to handle (or force handling of) overflow, traps are pretty shit, because it means you have to update the trap handler before each instruction which can overflow, because a global interrupt handler won't help you as it will just be a slower overflow flag (at which point you might as well just use an overflow flag). Traps are fine if you can set up a single trap handler then go through the entire program, but that's not how high-level languages deal with these issues.

32b x86 had INTO, and compilers didn't bother using it.
Samsung phones are laggy day one though, and the UI makes your eyes bleed from disgust.
I'm struggling to see how this could be a reality. The resource requirements to sustain thousands of people on the moon would not be economical. A single failure could kill almost everybody.
why "will"? It already did.. you are behind the news.. (your media probably waits for the state department to say what it is, I suppose..)
I was going to say we don't recycle satellites by launching them to the moon for the same reason we don't recycle things on earth by sending them to the other side of the earth, but we do actually do that by sending recycling in the US to China. The real barrier is cost - the delta v you need to shoot something to the moon is much larger than what you'd need to de-orbit something
The list of language server protocol extensions it uses is interesting:

https://github.com/rust-analyzer/rust-analyzer/blob/master/d...

I'm pleased to see they're filing issues upstream about them: I think there's some risk that LSP is going to end up in a place where in practice for good results every editor has to have custom support for every language.
There are a lot of reasons standard rail in the US is cargo centric. Profit and a much easier customer service case are big ones. Also, sending cargo in a new transportation system is much easier and less lawsuit prone than people.

An old story in the US since the post office basically made airplane travel viable via postal contracts.
I still don't understand why there is any interest in this concept, either for freight or passenger transport, over a regular train.
Actually, that Coalition Technologies company was interesting. Maybe the summation line was a bit over-the top.

Yeah, the Web has allowed shops that used to be no more than kiosks in the corridors of a dying mall, to front like they are megacorps.

Nothing new (as was pointed out), but it’s a lot easier to do, these days, than it used to be.

This guy probably could have pulled it off, if he had kept his scope small.

That’s what tends to kill a lot of cons; they get too big, where they allow themselves to be put into a “put up or shut up” situation.

Sort of reminds me of the movie The Producers.

I often read about successful companies that started off as spit-and-baling-wire façades.
I think Rust does a _ton_ of bikeshedding. Here is one example[0] showing how much of a discussion is required for a relatively simple QoL feature.

[0]: https://github.com/rust-lang/rust/issues/62358
I think that is true when the goal is to get something well understood out quickly.

In other cases, it is more important to get things right and continual refactoring is the fastest way to find an acceptable architecture to a novel problem.

In either approach, when speed is of essence, a limited scope helps avoid either producing insurmountable technical debt, or an unterminating research rabbit hole, respectively.
Decades of Research on the Unsuccessful Treatment of a Case of “Writer's Block”
This is like saying that Amway is not a ponzi because you happen to like their essential oils.

What makes Bitcoin a ponzi scheme is its economics and the way that it is promoted. That you find some use in the token is almost incidental
Would somebody explain why I am wrong? I’m OK replacing “objective” with “intersubjective” if that’s it. But maybe it’s that people have seen shouting defined intersubjectively - if that’s it, would someone share an example definition of shouting that could be useful for intersubjectively labeling toxic behavior in a professional environment?

My curiosity is in the spirit of this nearby comment: https://news.ycombinator.com/item?id=30419969
What you can “expect” when you pay the full price of something is not necessarily the same as what you should expect when you get something for free.

If you work in Norway you “expect” at least €2-3000 in monthtly salary, but few people argue that this is what you should expect in welfare if you don’t work.

Even in our social democratic paradise, the rule is usually that things you get through the welfare system, paid by taxpayers, should be adequate and humane, but not to the level of someone working full-time.

So those arguments are meaningless. Instead we have to ask if it is adequate, and most people would say that it is. Especially since so many people have lived like that as students.

If you’re not talking about free housing, then it’s just a market economics question, how could then anyone be opposed to more affordable housing? If you don’t like it, don’t rent it. But when someone says “we should do X for the poor”, they are usually talking about the welfare system.
What buildings were burnt by BLM in Canada? There was an attempted arson in Ottawa at the time of the trucker occupation, though.
Now it sounds like a doomed idea, basically just pneumatic tubes at a larger scale, but I remember how fresh it sounded a few years back.
Basically returning to Pneumatic tubes but probably way less elegant and over-engineered
TypeScript is a "replacement" for JavaScript in that it has become the defacto standard for any serious project for at least three years now.

They are not two separate languages at all, TS is a superset of JS and exists within the JS ecosystem and is designed so that JS projects can be incrementally migrated to TS, it's one of the first things in the documentation.
Boring company has abandoned any idea of a hyper loop a long time ago, right? Did they ever even associate with it (outside the branding of their Vegas mini tunnel)?
> we're not removing anything unless it's clearly illegal or we get a court order to do so" is a reasonable pitch in my mind.

A reasonable pitch to users. But to advertisers and others? Not so much.

If you create a social platform that appeals very strongly to a small minority but where the content creates strong objection in a larger group, then companies don’t want to be seen there. And running a social media platform is expensive. User demand isn’t what I’d worry about, it’s sales (of ads and paid subscriptions). I don’t think there is a market for either of those if Parler/Gab were any indication.
Ah yes, streaming is being propped up by dastardly tricks. This is the only possible explanation. No reasonable person would prefer to watch The Matrix in the comfort of their own home for any other reason, and certainly not an airborne illness which has killed more people in the US than checks notes World War II.
Replying to my own comment as I am no longer able to edit.

I retract the following claim in my parent comment.

> There is also some evidence that it may have actually been the PM's personal photographer who took the photos of the Nazi flag [1]

Correction: There is NO evidence that the PM's personal photographer was a party to this photo incident. I regret making that unsubstantiated claim.
Dendrites may help neurons perform complicated calculations
I’m learning Vue. For both professional and hobby usage.

So far, the switch from jQuery, thrills me.
This is just the extreme end of "fake it till you make it" hustle culture that's also extremely prevalent in startup culture. Presumably this guy thought "I'll hire a bunch of people for free then we'll get contracts then I'll have the money to pay them (assuming I don't run off with the money)".

Somewhat related, one of the things that made me stop freelancing online when I was a teenager was the number of people who upon job completion would ask me to wait until they had the money to pay, or try to get out of paying entirely.
What happens if the biggest player has an unlimited supply of money they can just mint at will and use it to drive up the price that you pay?

What happens if they also also get to see your order before it is executed and have every opportunity to insert their own in front of yours just to drive up the price that you pay (aka "front running")?
"Unpopular opinion: I never click on twitter links anymore. It’s almost never worth it."

It's not unpopular with me, I agree with you completely. I was never a Twitter fan but when they forced the use of JS that was the end of it (you'll note I used Twitter as an example in one of my earlier posts).

You're right about sacrificing people’s privacy and security, as I said in another post 'I'm forever amazed at the trust the average person has in these vulnerability-ridden flaky systems'.
Thanks for posting this. I'm 40, and I met my wife 10 years ago.

I suspect the valley in the graph has to do with lack of sleep from getting children to school.
> A New Kind of Review - by "a reader"

> I can only imagine how fortunate you must feel to be reading my review. This review is the product of my lifetime of experience in meeting important people and thinking deep thoughts. This is a new kind of review, and will no doubt influence the way you think about the world around you and the way you think of yourself.
Seems like a hollow threat because you can't actually force anyone to work.

I think all collective bargaining should rely on the power of the workers to stop working and the cost to employers to hire replacements. Any laws that deviate from this and prevent parties from doing so are a morally bankrupt.
Interesting. That would make sense. They drop off sharply every June, when summer break begins. Thanks for the input!
> But few people can understand everything that optimising compilers and modern processors do to normal looking code.

Well when I'm talking about an abstraction over assembly I'm not talking about optimizing compilers. That's another topic entirely. What I mean is, if you look at a block of C code, it's very easy to understand what the machine is doing.

> If C is so simple, why do people struggle to write it?

Do they? I think people struggle to write correct, bug-free code in C, but that's because it doesn't save you from yourself, and it's happy to let you do whatever the hardware will do. That's a much larger programmable space than the set of all safe correct programs.

But I don't think people in general have difficulty looking at a snippet of C code and understanding it.
Nice! I've used FreeDOS in the past to edit SMBIOS entries for workstations such as asset tags.
> Did someone say otherwise?

I will say otherwise. We do not need crypto.
Software I'm Thankful For
This has big "A monad is just a monoid in the category of endofunctors" energy
Wait, is the Boring Company still pursuing commercial transport via hyperloop?
It's a vision out of the 1800s [0], and one that is obviously never going to work. It's simply not possible/useful to create the necessary vacuum, and the requirement for near straight-line tracks is extraordinarily expensive.

[0] https://en.wikipedia.org/wiki/Vactrain
No, it's not that. So a lot of mathematical research is serial, so an extra millennium has worth that multitudes of mathematicians (in the last 150 years, for instance) lack. It's also very hierarchical, and Maya were the civilization that most put emphasis on mathematics. Although yes, there's practically nothing left, the length of year figure they had, very little else.