skysight-inc/HackerNews huggingface dataset:
The UI should instantly display the previously known APN list while loading the new one in the background. Microsoft has multiple teams researching asynchronous programming, but their work doesn’t seem to make it to the desktop.
I don't think Lidl avoids them. They just play them differently.
I can't say for sure, but my take is that this repo is designed to use Arch-style PKGBUILD packaging. So, it appears to simply be an alternative package that uses the Arch-style packaging.
The excellent Who We Are And How We Got Here book by David Reich among many other interesting details mentions Neanderthal and modern humans mixing.
Software engineers like efficiently running software.
Mathematicians like beautiful definitions.
Scientists like non-trivial discoveries.

This paper.... uh.... what exactly is it good for?

I suppose it could be kind of nice as some kind of undergraduate paper writing project kind of thing but it looks too professional for that.... I am kind of at a loss why this was written. Maybe it is some strange kind of satire....
Autonomous Budget Optimizer for FB
I would never have expected such jingoistic comments to be so popular. Instead of praising American law makers for taking an ineterest in the welfare of the internet and global culture, even at a theoretical risk to their own hegemony, you judge them as misguided and lament their short-sightedness?

Also, as a believer in the free market, shouldn't you welcome competition, both national and international, as a means for everyone to become better at this?
It's a 3-year degree in the UK but you can take up to 16 years to complete it paying per module. It is very well respected compared to your normal 'online degrees' though!
I love the idea of wasting trees because you just prefer to write things down on paper.

Been in the workforce for decades and I've met more than a handful of people who love writing things down and, of course, drawing stuff.

I've had a guy justify not taking notes because he didn't have a pen and paper on hand...WHILE having an online meeting. On a computer.

Now, these people don't have much in common but they tend to advertise this behaviour as benefitial to me and we always end up resenting each other.

In my experience, the same people often fill the white boards with incomprehensible junk. Again, for my benefit...

Edit:downvotes are not surprising. Waste is good, people. Waste is good.

Anyway, didn't have much sleep last night, so I am a bit cranky
> Only pair programming would suffer as the main philosophy of the language would we coding in isolation.

Well, that, and the constant drinking of Baileys from a shoe...
Previous discussion https://news.ycombinator.com/item?id=21476261
This paper is good for parsing/validating your source code (from the view-point of your compiler/interpreter).

Code is data after all.
I believe the license for the VScode C# plug-in prohibits using it with VScodium.

I didn’t know this until recently when someone pointed it out.

https://github.com/dotnet/core/issues/505

Thought it was relevant since OP is talking about a Linux IDE for C#
That's how the validation tool for Python Maat works. By creating a completely new dictionary.
https://github.com/Attumm/Maat
Look, I completely get what you're saying.

It probably would be more precise to say the price points of Protonmail's tiers are not competitive.
Sure, Google can offer cheaper prices due to exploitation of data (even though on Gsuite Business and EDU plans they claim not to mine the data). But I find it difficult to believe that Google (on average) pulls a value of $21,500 out of every 2 TB of data stored on their servers (maybe I'm wrong).

I'm not saying Protonmail (or any other viable competitor offering security and full encryption) needs to beat Google, MS etc. on pricing. People are willing to pay a (sensible) premium for that. Just not 5 or 10 times. Probably not even double. But a 30%-50% markup (with feature parity!) sounds absolutely fair.

I can only say that personally, I just found it impossible over the years - even though I really tried multiple times - to "sell" Protonmail's offering to clients. It always failed, ultimately, because of the pricing structure and the "nickel-and-diming". Their plans are just not attractive or convincing at all, from multiple angles, that's it.
The word “is” is also often used informally to mean “is a kind of”.
Who will pay the bandwidth bill? Long gifs are enormous
Ignoring the costs (of borrowing) and the risks (of winding up deep in debt) makes the article glib and dangerous.
Interesting you said index funds. Many would say crypto or certain stocks (Nvidia etc). What makes you say index funds are the best deal?
* Platform Revolution: How Networked Markets Are Transforming the Economy. The book explains how to think of a platform systematically. It's valuable because it applies to everything else in life, any business, any industry - not just IT platforms. Based on the findings of 2 Nobel prize winners.

* Never Split the Difference. Don't even think about it - read it. The book is a life coaching chapter that everyone should learn.

* The Seventh Sense: Power, Fortune, and Survival in the Age of Networks. Everything is a network. From wars, to economy, to minorities, to terrorism. Understanding what truly lies behind the concept of "network" is just as well one of those life coaching chapters everyone should learn.
I don't think any word will do it justice. I would spell out that it's done client-side and what information is/isn't uploaded.
Add Meta Tags and Title Dynamically for SEO Using Angular Component
I do something like this, although not live. These are real intermediate projects on video, with code. Without omitting any step.

So far I have a course on publishing a pip package and a cron implemented with aws lambda.

https://fromzerotofullstack.com/
By way of technology alone? Careful what you wish for, you might get it!

We've seen that lies and manipulation can distort reality too much already. Platforms need to be honest to be constructive.
Here is an English version of something the Dutch regulator wrote: https://www.acm.nl/en/publications/acm-consumers-should-be-a...

And the English version of the government website about it: https://business.gov.nl/regulation/automatic-renewal-subscri...

Which says: "Consumers must be able to cancel their agreement in exactly the same way as they signed up for them."

As well as disallowing an automatic fixed term renewal. After an initial contract the customer must be allowed to cancel at any point not just yearly. This one had a big impact on the telecom industry a couple of years ago.
"A kind of" is precisely its formal use from the PoV of a type theorist.

Two things are the same type of thing if they share all of their extensional properties.

That is what it means for two things to be identical/equal.
It's not really tossed into a flaming dumpster. Someone with less money is getting it, so that's an upside heh.
I refuse to believe that these meta files and database entries are occupying anywhere near a relevant amount of space.
> I don't think SolveSpace is in that niche at all

SolveSpace could export designed 3D model as NURBS geometry to STEP (.stp), but there are no advanced tools for NURBS surface modeling.
It is more a retro-computing platform. Intended use case is for a CP/M like operating system.

So I get the whole retro-computing thing in general. However, even 22 years ago, I was working hard to get away from analog video interfaces, and I'm never going back!
> The word "is" implies an isomorphism.

Are you talking about a bijective mapping or are you saying it's a synonym for identical?

Because the former doesn't make any sense here and the latter is not true.

Red is a color does not imply that all colors are red.
1% interest on annual loan? I'd like to know who your lender is!

Inflation - ignored.

What happens when your asset goes down in value - ignored.
Thanks for pointing that out. Not long ago, on Fox news, the star pundit Bill O'reilly used to tell babyboomers that we don't understand tides and that was the proof that god existed.

Never underestimate people cluelessness.
I think that some of the quotes are pretty toxic, regardless of who they are by. Programming languages are just tools and as such, they should be reasonably easy to use. Programming languages should serve people, not the other way around.

Elitism and gatekeeping do precisely nothing to help people solve problems with code.
They sure do not make them like they used to!

The obligatory Technology Connections link:
https://www.youtube.com/watch?v=1OfxlSG6q5Y
Hm, I was hoping this article would explain in what sense we don't understand flight, or in what sense people think we don't understand flight, but it didn't seem to answer that question...
Modern humans came out as winners by controlling the cave market.
It could be that the people who have the type of mental illnesses that are associated with fear of social persecution/rejection are the kind that seek a community of people with a similar affliction, while those with anti-social mental illnesses, like sociopathy, do not.
I feel bad but that page feels super cringy.

And its surprisingly hard to just ignore it. why?! :|
The article fails to take these items into account. Omitting major costs is disingenuous at best.
Everybody has influence of the Israel-Palestine matter because the conflict exists only thanks to the spin Israel gives to it. They do what they do- and profit from it- because the public opinion in the Western countries (USA in particular) allows them to. That's why it's so important to them to keep shaping that opinion, and that's why it's so important to change it.
I found the process of VIP'ing my contacts in Fastmail beyond tedious.
You seem to have strong negative feelings about this.

But I very much struggle to take reasonable notes on a computer. Something feels “limiting” in a way, even if I’m consciously aware that you can reasonably do everything on a laptop that I would use paper for, and there are benefits like search-ability.

For writing notes I feel flexibility and freedom to redirect my future attention to different parts of the text or accentuate different sections with emphasis or tag a task to be done (with a diamond, in my case).

It’s also the case that if I need to break out into a logical diagram I can easily do so.

There’s something to be said for how it’s viewed by others too… writing notes looks focused. Tapping into a laptop looks distracted.
Java 8 is not when they started doing that
Look for US based companies that hire globally.

I work at CrowdStrike. Fully remote. Amazing compensation, team, work.

We're hiring too :)
Depends. If you throw the paper away then sure, it's waste.

But... if you keep it then suddenly you're doing carbon capture. Saving the environment one bad meeting at a time. Or riveting collections of todo-done.

But yeah the idiots who use the "I don't have paper therefore can't take notes." They're the worst.
Interest rates are almost zero right now (AFR is 0.12% for short term in July), so money is "free" if you're a low enough credit risk, and fully collateralized loans are easy to get at near-AFR rates if you're rich.

I'm not so sure people are doing this to avoid taxes, though, as opposed to truly wanting to remain in the market as much as possible. If I was Bezos and I had faith in Amazon, I wouldn't want to exit any of my position, especially since that can send a negative signal to the market, etc. If I could hold my position and still spend money without racking up nearly any meaningful interest, I'd happily do so, you'd kinda have to be crazy not to since there's no downside (the principal keeps on earning for you and there's very little cost to service the debt). Companies do stuff like this all the time, there are a million good reasons to maintain debt even when you have assets you could otherwise liquidate, especially when rates are low.

Besides, unless it's given away to charity the bulk of the wealth will be taxed at death anyways via estate tax, so I'm not entirely following the nefarious implications here. I guess people are mad that the borrowed and spent money effectively escapes taxes since it's paid by the estate pre-estate-tax, I guess? I'm reasonably sure that no bank would loan someone in this situation anywhere near their entire net worth, so I can't help but feel like this is a very edge-casey small issue that is only a problem in the rare years where interest rates are so low that it makes sense to do this...
Hm, but here even the researchers clearly said, that the use of "Eve" implicates a interpretation ( that there was only one Birthmother, like Eve, so a "proof" hat the bible is partly right) that is not true, but this is what understood by many, because also the news releases are skewed this way.
Businesses are going from "help consumers make their choices" to "make their choices for them".

Usually results in them failing, sometimes spectacularly.
One trick is to go to margin with your broker:

1. Transfer $500k in stock to TD Ameritrade (a stock transfer is not a sale/buy so it's not taxed)
2. Withdrawal $100k without selling anything (now you're $100k into margin.
3. Wait about 6 months.
4. Now you can use that as a down payment, and they'll just consider your margin balance as part of your overall debt picture.
So this is cancer analog for eusocial insects?
Email is leaking – and it's more than the metadata
> Okay, this is plausible, but it can turn into all kinds of mess as federated systems aren't simpler to design, build, or operate. For example, how would Signal inter-communicate with e2ee intact with say, Facebook Messenger? They'd have to do a matrix.org style bridges, which is going to be super tricky to maintain, at their scale. Hardware is doomed: USB-C for all inter-connects...

I think the fact that federated systems are harder to design and maintain is exactly the reason we need legislation enforcing this. It is extremely important for the benefit of humanity that communication between us is not beholden to one private company. This is basically where we are with Facebook at the moment, for the majority of the Earth's population (except China). For example, if you get banned from Facebook and whatsapp, in large parts of the world you will unable to communicate online with friends and businesses.
I worked with a power company in New Zealand that had load shedding like this (although more for water heaters IIRC). They transmitted signals on the power lines themselves at a much higher frequency than the AC delivery. The end devices also needed to support it.
Real time, if accurate, allows you to establish relative ordering without coordination. With logical clocks, you can only establish partial order.
The second half of the article is here: https://lwn.net/Articles/849876/
> In early PC's, the way you ran software was to copy code from a magazine and compile and run it on your workstation. Being a PC user at all meant being a tinkerer/hacker a few decades ago.

Bullshit. Except for the brief period of time when the Altair was the only thing going on in the Micro space… the Apple II, Atari 800, IBM PC and TRS-80 amongst others were marketed in the late 70s/early 80s with off the shelf, ready to run software. While copying code out of a magazine was something you could do, it wasn’t even the common case then.

> Every release makes it harder to run arbitrary code.

I have not experienced this. Yes Mac OS makes it harder to run random stuff downloaded from the internet, but Llvm, clang, cmake, python from the command line works the same as they always have (you are fetishizing code that is entered yourself after all).
‘A square is a rectangle’ means squares are isomorphic to rectangles?
Who do they think built them?
> and immediately buying them back

That's called a wash sale and the IRS is going to have a word with you about it. If you're going to do these things, I recommend getting some advice from a tax accountant.
I bought a Nintendo switch recently. The amount of crap I needed to go through to just okay a game. I spent 2 hours, wasted about $50 on games (there is no refund).

In frustration I gave up.

In the name of ads and growth, it’s crazy how user-hostile many interfaces are.

Glass is a great interface. TVs ain’t.
Lean[0]'s mathlib has quite nice formalisation of category theory[1] with plenty examples of concrete categories even sheaves and toposes.

[0] https://leanprover.github.io/programming_in_lean/#01_Introdu...

[1] https://github.com/leanprover-community/mathlib/blob/master/...
See, like many others, you wasted the time that is perfect for developing social skills on computers. You might have already realized the success doesn’t come from knowing mathematics or functional programming. Bill Gates wasn’t a social outcast, he’s a smooth talker.

You have to catch up and develop confidence. Pick up a hobby that doesn’t involve technology. Martial arts worked great for me, but you can try anything.
The MSSP Guide to Forgerock
I doubt that go or rust is going to speed things up. Its not the language that causes slowness, its the implementation.

Personally if I wanted fast, high scale and secure authentication I'd either use oauth, or ldap. (ldap allows federation, oauth, not so much)
J2ME?
I think it’s more that they solved the “comparing server times” problem, so vector clocks and lamport clocks are needless overhead.

Cockroach is extremely similar to Spanner but uses lamport clocks instead of atomic clocks.
How about a middle ground? I've been looking into the new generation of eink devices that are great for notetaking. Remarkable etc
Best of both worlds and no more dead trees
> Programming languages should serve people, not the other way around.

It's common to feel this way if you've never thought of computation as a field of theory instead of just using brew to install your compiler and being happy it works.
The continued assertion that "we don't understand heavier-than-air flight" is a weird one. The article even skates around this, saying (essentially) "well maybe we do understand it, but chaos theory!"

If you're in the sky and you want to stay there, you have to counteract gravity. Heavier-than-air flight does this by pushing down on air. Want to stay in the sky? Push down on enough air, fast enough, and you will stay in the sky.

Since air is a fluid, pushing down on air is equivalent to pushing air down. The lift a plane or helicopter generates is directly proportional to the amount of air it pushes down (and to a varying degree how much engine exhaust it pushes down). That is, we need something to divert air downwards and something to push us through that air. The better we can redirect air downwards, and push ourselves through the air, the easier it is to fly.

We have found many shapes that are very good at passively redirecting air when pushed through the air, we have developed engines that are good at pushing us through the air, and we have developed structures that are able to hold everything together while being light. That is why heavier-than-air flight is possible, and it's very well understood.

If anything, our understanding of why certain shapes redirect air so well is lacking, but even then not really. Experiments and modelling are really good at finding the conditions under which air stops being redirected efficiently. If we try to parameterise this airflow, and reduce it to simple equations, well maybe then the effect is not well explained. Statements like "the air moves faster on the top than on the bottom, so there is a pressure differential and hence a lifting force" may be true even if misleading, and statements like "the air moves faster on top because it is longer than the bottom side" are definitely misleading and incorrect, but just because these statements exist and some people believe them does not mean we don't understand heavier-than-air flight! Such flight is possible because we are able to push down on air with enough force to keep us flying, and so much of how that works is well understood.

[edit]

To try and say something directed more at the point the article seems to be making: confusion or misunderstanding about the technical details, or modelling, of something is very different to not understanding how that thing works.

We understand heavier-than-air flight in the exact same way we understand sailing - redirect airflow to generate a force for your own purpose - but you don't see articles about how we don't understand how sailing works.
Oh indeed, whatsapp server was a thing of wonder, but even if a "normal" person could implement a server that was 100x less efficient, that would still be pretty spectacular.
You have to ask what is the motivation to keep apps responsive. If the app runs without crashing, nobody cares.
Does it get significantly slower if you use Eigen's fixed size matrices? I have a C++ project which uses Eigen and some other templates (but nothing crazy) and it is quite slow to compile. Not complaining though because I don't compile often.
The importance is with "at the same time" or "at different times".

Another way to put it, is "This cave is so amazingly good that Neanderthals, Denisovans and modern humans stayed in there".
It's because it mines Bitcoins to generate heat, so it must be connected to the Bitcoin network.
I don't know if by we you mean us C# users or the people you work with.

If it is the former I can say that I never ever built on top of Sitecore or SharePoint. Recently only Asp.NET Core or whatever it is called now.
For js / typescript I like: https://github.com/paperhive/fefe

basically ist’s just functions that take a value of one type and return a other one
But a real clock has some uncertainty bounds, and within those bounds, there is only partial or no ordering guarantee.
In typescript parsing/asserting types with combinators works very well merging runtime with static type system [0], it has to be used at i/o boundary, then it enters static type system guarantee and no assertions are necessary, makes very nice codebase.

[0] https://github.com/appliedblockchain/assert-combinators
They could... charge the cap gains tax to the estate, getting rid of a big point of the strategy? The estate not having to pay cap gains on their gains is the big kicker and essentially arbitrary. If the person 1 month before they died sold a bunch of wealth to settle all of their debts, they would pay cap gains tax. But after their death, you do the same thing with their estate and they dont pay cap gains tax from gains before their death? It's a bit absurd.
Nope, std::memory_order_acquire is perfectly fine here. Just because an atomic operation involves a store doesn't necessarily mean you always need/want to synchronize with that store. In this case, we only need to make sure that subsequent code is not reordered before the atomic load, hence the aquire semantics.
A lot of debian packages supply both systemd unit files and init scripts. You can use either to step on the other's foot.
I am talking about the polymorphic use of the verb "is" during the process of formalization.

"Red is a color" can be formalized as "Red is a type of color" or "Red is member of set Colors".

You can't formalize "Color is red" because it doesn't mean anything.

When I say "Parsing is validation" I am using the verb "is" to mean an isomorphism.
Haskell embraces PLL. Computer science is much larger than PLL, and much of it ignores PLL entirely.

In particular, most algorithms research and papers are expressed in imperative pseudo-code, as that is, in fact, much easier for humans to intuitively reason about than complex category theoretical concepts.
Maybe to have an out of the coming death of x86 that's not ARM, which could potentially be controlled by Nvidia soon
Very much this! Everyone thought glass. Not only was this about testing alternatives to glass, everything would have had their cost and possible revenue compared to glass - or possibly, to the cost of running their aging glass-doored fridge units, the decals they print for the front, and the employee hours spent on them.
I have designed React interview fantasy flashcards