skysight-inc/HackerNews huggingface dataset:
The grandparent meant that OCaml is static while Julia is dynamic, and both are strongly typed.

>You can specify types, but they don't really do anything except help with performance.

For Julia it's the exact opposite though, types don't help with performance since the compiler infers them anyway regardless of declaring them or not (you only really should to specify in very particular cases where inference is not possible to avoid the compiler being too conservative, and if you overspecify types you might even end up with a slower program). You declare them for their main purpose of controlling dispatch.

Julia's type system is a core aspect of it's paradigm (multiple dispatch [1]), which is the key element in both it's performance and polymorphism. It's different from a gradual typed language in which the language can exist without the types at compilation time, but those can be optionally added to enhance safety or performance, Julia cannot be compiled without knowing the types, which will happen regardless of declaration.

[1] https://www.youtube.com/watch?v=kc9HwsxE1OY

That said, types in Julia are not used for compile time static checking, which is a compromise that for many tasks it's not worth it. Ocaml ML and Julia ML can coexist well exactly because they have vastly different compromises, with Julia focused on interactivity/fast prototyping and Ocaml in safety (like Lisp x Haskell, but with somewhat more pragmatic languages).
Context. Relevant part from your link:

Microsoft unlawfully required PC manufacturers to agree to license and install its browser, Internet Explorer, as a condition of obtaining licenses for the Windows 95 operating system.
So they want to create a multi-story structure anchored at "60 feet"? Is that 60 to the bottom? 60 feet to the top of the structure? 60 feet to the moonpool? That thing looks 80 feet tall.

Fyi, moonpools are cool. They create all sorts of interesting practical physics problems. Take the one in the artist rendering. Say it is at 60 feet. What is the pressure depth of the rooms on the second floor, say 15 feet above the moon pool? What about the rooms below? If I poke a hole in a room below the moonpool room, does water come in or air leak out?

By having a moonpool, the entire structure has to be kept at the pressure/depth of the water at the moonpool. So rooms above are at higher pressure than the water immediately outside, while rooms below are at lower pressure. The simple act of having that open pool creates very interesting structural design issues.
Some of the literature I've read on Property Based Testing 'speaks to me' but not really in an epiphany sort of way, so I'm still trying to decide if I want to dive into that or not.

So far it's the only thing I've seen that really feels like it could carve out a big chunk of territory from TDD. But that would mean less TDD for me, not removing it.
"Seibel, in an interview with The Information Monday, deflected those complaints, suggesting some came from people who prefer “superelite groups.” He shed light on how the accelerator adjusted to the year’s upheaval, including encouraging founders to focus on breaking even rather than growth at all costs, and showed how the recent graduates resembled earlier founders who had set up companies in a crisis."
I've taken the approach to anything with political implications that everything is more complicated than it seems, even after digging into the issue.

In this case, "Defund the Police" can mean a hundred different policy approaches from as simple as cut funding/staff/resources to as complex as redistributing that funding and resources to non-police support structures like social workers, mental health professionals, and the other roles that an omnibus police department handles.

In that sense, I don't support straight defunding of police. I do support redistributing funding/resources to new or expanded public health departments with a push for mental health and drug abuse support. But that needs to happen as part of a larger approach to decriminalization of drug possession/use (not selling/distributing, just possession/use), criminal justice reform where those convicted of such nonviolent crimes are released and record scrubbed, plus support for those to gain an education or employment without stigma. Ideally we can establish programs and tools to tackle the problems that led to a life of crime or drug abuse, focusing on reform.

That should also include immigration reform and the elimination of 'illegal' terms by expanding quotas and simplifying the process for citizenship. Cheaper education, child care, and medical care/prescriptions are also needed to reduce the burden on most working Americans so they can educate themselves, find better employment, and better care for themselves and their family. Ending food insecurity (which, by the way, it's insane the US even has) would be a solid start. People join gangs because they solve problems they face like wanting to belong, physical/financial security, etc. By working to resolve those issues for anyone in the states, immigrant or citizen, we can address the root cause not the symptoms.

Much more complicated that it seems, and that's not even getting into the various departments/programs/bills/etc required to progress that. This is also a heavily opinionated comment that clearly leans liberal and would face plenty of challenges from the current conservative side of US politics. But it would also be progress toward solving a series of issues that undermine freedom and peaceful society.
>There's a reason people end up in these ruts to begin with.

Perhaps there is the lack of self-awareness that dopamine comes into play. This is where the (effective) simplicity of this article comes into the picture.
In general, it's hard to fill a plane full of paying business class customers. (In a typical business class compartment, a lot of those seats are being filled with upgrades of one sort or another.)

At least a couple business class-only airlines didn't last long. The only current route I'm aware of is the BA London City to NYC route. Though there may well be others in the Middle East, etc.
They don't publish the full lists because they don't know which reptiles on those lists their bosses don't want to piss off.
> on Google, where other app stores are allowed but the vast majority of people just use Google... no one would ever force you to use another app store.

Google implemented several hurdles to drive users away from competitive app stores. They're all but forcing people to use the Play Store.
My company just designed a from-scratch refrigeration circuit over the 12 months pre-COVID in China. It was more interesting than you would think. Our need was high density (no wasted space). Due to the need, I visited a bunch of fridge factories. The guy is right. Most of them are insulated with blown foam, which is terrible stuff both during production and afterwards (for the environment). Also, most of them are still filled with toxic refrigerants.
The carve-out is for user-generated content but Netflix and Apple Music are not user-generated content and they do not even try to meet the requirements imposed on UGC.

https://developer.apple.com/app-store/review/guidelines/

If they're not UGC then they're violating rule 1.1 -

> Apps should not include content that is offensive, insensitive, upsetting, intended to disgust, in exceptionally poor taste, or just plain creepy.

HBO certainly are not UGC, yet the HBO app was allowed nudity as a prelude to people having sex many times in Game of Thrones. Rule 1.1.4 -

> Overtly sexual or pornographic material, defined by Webster’s Dictionary as "explicit descriptions or displays of sexual organs or activities intended to stimulate erotic rather than aesthetic or emotional feelings
This sounds akin to the handwaving of "that exploit is only hypothetical" that necessitated full disclosure.

The eventual democratization of SS7-based attacks was entirely foreseeable. If I were to use plaintext http to access a bank website today, I would be reasonably confident that there would be no immediate problem. But given a year or two of this practice being normalized, the market would find ways to infiltrate consumer ISPs, the bank's upstream, hijack routing prefixes and DNS, etc. And what are text messages but a similar non-e2e protocol? The chief difficulty seems to be that telco standards are hidden away and obscured by horrible complexity, rather than being published as straightforward RFCs.
Avoiding a temp directories is usually a good thing, unless the temp directory allows you to avoid operations on removable drives. I've noticed on windows with drives marked as "removable" it's almost always faster to copy an archive to the harddrive (non-removable drive) extract it and copy the contents back. I'm assuming this is because of the different or lack of caching available for removable drives. Random read/write is typically a lot slower that sequential read/write so an ideal solution would take into account the relative performance of different drives before with making or not making a temp folder.
see also https://news.ycombinator.com/item?id=24283687
In the US—where Tesla has been established for over a decade—EV sales are the strongest growth segment in the auto industry. On top of Tesla's growth, Chevy has had tremendous success with the Bolt.
I do use 7-zip myself, but WinRAR has still a more feature rich user interface out of the box than 7-zip and while 7-zip has better compression in general, compression isn't everything when they're this close to each other, like a few percents different ratio.
I can understand them wanting to limit people abusing drive to dump backups to, but if I have an encrypted winzip file what are they going to do - delete it? Seems a bit heavy handed, also a bit creepy that they are rummaging through looking for content of specific types. Talk about dropping a mask.

I’ll also second Backblaze B2 - works a treat and the pricing is very reasonable. And they actually encourage you to encrypt your content before sending it to them :)
I don't understand the point then.

Literally any device you own with WiFi could be updated tomorrow to connect to any open access point.
Out of context they might appear condescending. The reason I have more than one is different ones are appropriate in different contexts.

Basically, "you're wrong" is dismissive of the other person's intelligence. That's why I want to avoid it.

So when someone is saying something I mostly agree with, but I just want to expand on it, instead of saying "but" or "not quite" or "that's not it", I will say "yes, and". Because I recon that's very much what I think as well with just a few minor additions.

If someone has an idea and I think there are better ideas, I won't say, "that's dumb", or "no", I will say, "oh that's a good idea, can I propose one too?" Because that's what I want to express, like good job with that idea, nothing against it except I'd like us to consider if this other one might be better, which it might not be.

Etc.
Scientists in the 20th century were overwhelmingly white and male. Therefore if biases were not at work, you'd expect the list of people who didn't get a Nobel and arguably should have to likewise be overwhelmingly white and male.

That it is only half white and male suggests that top quality research by non-whites and non-males was systemically not rewarded.
I absolutely adore that this link isn't clickable, yet it works when you copy-paste it into Chrome.

@dang, here's an updated version of valid-url which will make the link clickable:

(defmemo valid-url (url)
(and (len> url 10)
(or (begins url "http://")
(begins url "https://")
(begins url "ftp://"))
(~find [in _ #\< #\> #\" #\'] url)))

I doubt it'll get merged, but you never know.

It looks like the other change necessary is in the `markdown` function. It checks:

(and (or (litmatch "http://" s i)
(litmatch "https://" s i)

You'd need to add:

(litmatch "ftp://" s i)

If you grep the codebase for "https" then it'll reveal any other functions that need updates, but these are the only two in arc3.1.

Of course, the cost-benefit doesn't quite add up here – it's not like ftp links are too common. But think of the poor university FTP servers! They'll be forever doomed to copy-paste-hell unless this is fixed. :-(
Nabokov, Joyce, Pynchon.
> they had typical charges of 1# to perhaps 3.5#

Is this using the pound sign to represent an actual pound? First time I've ever seen that!
I agree; the .exe is different (because the signature/certificate is embedded), so it should be a different version number.
Harry was a great teacher (I had him for Biochem 101 and a lab class). Very understated but quite good at communicating his enthusiasm for the biophysics underlying biology). The lab class, "Biology of Macromolecules" was challenging: you're handed a pile of microbial cells, told the species, and then you have to go to the primary literature and learn how to purify restriction endonuclease from it (using the original methods) and then map a plasmid. I remember he said something which sounded arrogant, but I later learned was excellent advice: "most of you are going to take the entire quarter to run your experiment. I would do all the lab work in 1 long day- the moment you crack those cells open, proteases are going to start eating your REs".

He did say that if I wanted to be a successful scientist, I should never have a girlfriend or get married, or have kids, because those all eat into your ability to spend 18 hours in the lab every day (I married my college girlfriend, was a modest scientist, and transitioned to software engineering, and then had kids; there's no way I could handle being a successful scientist while having a family).
> which single person is going to pay $1M or $50 million for a song or movie?

Why not crowdfund those amounts instead? That way, all creators get paid before the work even starts and the result can be safely released into the public domain.

We need to develop alternative business models like this in order to replace copyright. Cultural works must be treated like an investment.
They might, for example, decide to demonstrate one aspect of their communication skills without asking clarifying questions by showing that they can, on the fly, produce a high-level summary of what happens when you load a URL followed by orderly expansions of each of the steps involved in increasing levels of detail.

I've been listening to people expound their theories of interviewing for decades now, and very often they have some pet idea which involves asking the candidate for something and then trying to deduce information indirectly from how they interpret the request.

I think these theories are pretty much all bad ideas, because what the candidate is actually doing is trying to guess what the interviewer wants to hear.
"doesn't mean they're bad or aren't art"

At this point is there even anything at all that can't be considered to be art?

The word has become almost meaningless.
TF-Coder, a tool that writes tricky TensorFlow expressions
I pay $10/year to file annually in Colorado. Granted, it's not as nice for business as Delaware is, but it does the job just fine.
This has been one of the more compelling demo areas for GPT-3 as well (ex: https://www.youtube.com/watch?v=WlMHYEFt2uA) -- are there any open AI efforts here?
> In the grand scheme of things adding a week to a 6 week project isn't that big a deal

mmm maybe once. But that's a compounding delay. If every project is delayed by ~15% for TDD then over the course of years you can fall well behind your competitors.

> complex enough application small changes might result large bugs

Totally agree - but also on really tightly TDD-tests code bases small changes can result in huge test refactorings...many times to the point of just not doing something because the time to update the tests is prohibitively expensive.

There's a balance to all of this, and (empirically) TDD seems to be on the extreme end of the balance.
Citi's $900M Mistake Happened in the Middle of a Software Switch
Sumerian is a linguistic isolate: no one has ever been able to demonstrate a relationship with any other language. Which is itself pretty mysterious!

Akkadian, which displaced it, is a Semitic language, which became the lingua franca of the Ancient Near East. Aramaic is somewhere between a relative and a descendant; more the former, Akkadian stands to Aramaic very roughly as Latin stands to English.

So... probably not? I don't know if any Sumerian loanwords have been identified in Akkadian, but it would surprise me if there were absolutely none, the Akkadians adopted cuneiform to write their language, and their empire was the successor to the Sumerian states.

If anyone can point me at resources on the subject, I'd enjoy that, I've always found that part of history fascinating.
Bombardier IIRC fucks over NYC and other cities with crappy over-budget behind-schedule subways cars, so eh, a pox on both their houses.
>What does this have to do with PCs? Your question was about PCs

Your answer wasn't about PCs, it was about flaws in other products/services.

>So which search engine do you suggest? What if there were a secondary App Store on phones? Selling a “free” version of some popular app?

I would suggest them to not install apps unless it was recommended by someone they trust and they were confident that it wasn't junk. This would apply to PC software, smartphone apps and everything else. Its no different than how you go about finding a trusted mechanic, or a pest control service or a trusted handyman or whatever.

Curation can happen in many ways. Apple could recommend it, your friend who knows about "computers" could, maybe its a magazine/website you trust, etc, etc. The point is about choice and freedom.

We get to make the rules of the economy we want to operate in. The entire purpose of the government is to serve our needs, and if its not doing that we should change the rules. Both sides can make their cases. I am happy to oppose Apples oppressive policies (in this case).
Yep it looks great, really crisp - +1 for the play section!
with that I'd put myself up with, but nice would be if more was written text along the lines of this...
Or it's so good at signifying the meaning of the symbols that the reader is never pulled out of the text.
Launch: Freelance for Law – Legal Marketplace
Hi All,

We just launched our legal marketplace for businesses, individuals, and law firms. You can easily hire freelance attorneys, paralegals, and more for short or long term projects.

Please check us out and let us know what you think!

Best regards,

Marecia
"generally" is the key: not long ago in northern Italy everybody was freaking out because of this:

https://cdn.dmove.it/images/18547/StarMain.jpg

Those are the ones by Starlinks. That's not acceptable.

They are so invisible to the naked eye, that the weather website gives you the exact time and date of their passage in the sky: http://www.meteoweb.eu/2020/05/passaggio-satelliti-starlink-... (in Italian)
Doesn't matter if it would be compelling to the people. What matters is if it would be compelling to their companies. Many business travelers are not on such a strict schedule that saving 6 hours or whatever is a particular business benefit. By and large, although paying for business class is framed as a justified expense because the employee will be more rested, it's really mostly a perk.
Would be easier to ask the people living in the 3-day simulation, but I don't know how to reach them...

I suppose it depends on whether everyone is gone for the weekend on the day they are supposed to spot the asteroid that would destroy life on Earth in 2431
> How does the browser know to try to load a webpage? I guess it sees an "http://" or just assumes that anything with no prefix is a URL?

Question #7 seems related to that Chromium DNS lookup algorithm [1] that has been getting attention recently

[1] https://news.ycombinator.com/item?id=24231857
Error handling taking up 50% of the code is definitely a problem with Go itself. For each meaningful line, there's an accompanying "if err != nil {return err}", so if you want coverage you end up testing this kind of boilerplate.
I’m excited to see if something happens after death, human bodies are just a cloud of atoms, after all.
> It's a bit silly to wait for a completely different radio transport before thinking of carrier and backhaul improvements, which are almost completely orthogonal.

Development on radio access and core network does indeed happen in parallel, and as far as I know, the core network overhaul was not delayed to wait for the radio-layer.

But marketing-wise, the radio-layer is what makes the phone show a 5G icon.
Everything is vastly more complex than those signs. Sure that's the effort and motivation, end goal of protesters but that isn't a plan to accomplish it. Protest leaders and linked organizations need to draft those plans and lobby local/state/federal officials to pass such legislation and create change via compromise. At some point that change will satisfy the bulk of protesters and the movement will slow until momentum is built back up.

It's a compromise and likely won't come easy or fast given current federal government setup. But other than generational change (ie old people who are heavily conservative die off so younger, more liberal people become the voting base) likely combined with removing money from Us politics (no easy fight there) I doubt it will happen soon.
Another article at TF:

https://torrentfreak.com/pirate-party-mep-elected-vice-presi...
I certainly trust Chinese companies more than US companies as long as I don't think the Chinese government is interested in hurting me or anyone I care about, at which point I trust US companies more - even if the US government also wanted to get me.

So having the data in the hands of US companies - problem,

having the data in hands of Chinese companies - maybe less of a problem,

having the data in hands of Chinese companies when Chinese government doesn't like me for any reason - really big problem,

having the data in hands of US companies when American government doesn't like me - approximately as big a problem as before (depending on what reason US doesn't like me)

on edit: formatting
Maybe I'm wrong, but I don't think most people fear the state of being dead, which is what this essay is centered around. "Fear of death" is more commonly the fear of the approach of the end of life, ranging from the prolonged downward slide into decrepitude or terminal illness on one end of the spectrum to the physically violent moments of struggle against death on the other end.

In other words, if you were 100% guaranteed to die by instant vaporization at some random time in the last quarter of life with no forewarning, would you still fear death?
This is true but you may also encounter some anachronisms. For example, married couples sleeping in separate beds was not something that historically happened- it was just how TV producers dealt with censorship dictated by The Hays Code, the rules that governed what could be shown in television and film. If you tried to use programming from the 40s and 50s you might wonder why none of these people seem to have indoor toilets!