skysight-inc/HackerNews huggingface dataset:
That one's always struck me. At least if you squint, that would imply that blockchain's fraud-prevention strategy hinges on nobody ever using the blockchain to handle anything too valuable or important.
Avoiding taxes is as American as baseball and apple pie.
This post is giving me 2010-2015 CRO is everything vibes and the landing page for the roast site is actually bad imho.
Switching to exams in person and more presentation-based exams is how you get around this. You can pay someone to write a paper, but its hard to then show mastery of that topic in a discussion with your professor.

That would require professors to show interest in teaching, so I doubt universities would go for it. It doesn't scale and they're not interested in adequate staffing.
I’ve said it before, and I’ll say it again:

It’s because “blockchain” software is a thing that already exists, but its superclass, “distributed log of signed proofs” software, isn’t a thing that already exists (except in the form of the subclass, blockchain software.)

There are tons of use-cases for which a “distributed log of signed proofs” is the perfect fit. Have you got an architecture where nodes independently make “stuff” and want to publish it “somewhere” for other nodes to find — where the other nodes have some independent criterion they can apply to validate published “stuff” to decide whether to accept or ignore it for their own use? For example, have you got a sharded data warehouse, where each shard is publishing its own write-ahead log segments for replicas of that shard to use? Well, add a “distributed log of signed proofs”, and now your closed data warehouse becomes an open network where anyone can have their own “shard”, and anyone can choose to replicate from a “shard” they trust.

(Yes, DHTs and/or gossip networks are sort of like this — but neither provides durability or linearization. If you want a new node to be able to look up historical “stuff” from publisher-nodes that aren’t online any more, then you need durability; and if you want your “stuff” validation algorithm to — at least within a sliding window — reject duplicate “stuff” from the log, then you need linearization.)

It just so happens that all the software that exists, that offers the “distributed log of signed proofs” guarantee, also offers the additional guarantee of all the nodes doing the validation of proofs serially, reducing over each new proof against an accumulator of an existing global consensus state, to build a new global consensus state, where proofs can only be valid relative to a specific “base” global consensus state. We call such proofs-relative-to-a-state “blocks”, and we call the resulting system “a blockchain.”

Most of these use-cases don’t need that additional guarantee. It doesn’t get them anything, and it costs a lot (e.g. in the inability to concurrently validate proofs; in the requirement to keep a forever-growing durable representation of global consensus state around on disk; etc.)

But the people building these systems are generally practical engineers, who “buy” blockchain software (and just ignore the features they don’t need), rather than attempting to “build” their own “distributed log of signed proofs” software with no known antecedent.
Wrong - most singles can’t fill the seats and the tanks. This is general aviation 101 folks
The roaster became the roastee
TFA (thanks for answering).
yeah! Am I using the a better name for this? I thought of it as "DDD" but maybe I should call it the onion/hexagonal architecture in conversation from now on to make sure the right point gets across
It was easy enough for Congress to pass the Federal Analogue Act because drugs. DuPont has a lot of money to pay for lobbyists.

It’s incredibly frustrating, because they’re doing this chemical shuffle right out in the open and the government isn’t doing shit about it. They’ve been bad faith actors for decades, so when they come out with something new, they should be forced to pay for independent testing with open results.

And DuPont knows the shoe is dropping for some of their older chemicals, that’s why they spun off Chemours: it gets all the IP and the problematic history, so if the government ever does get its shit together, Chemours goes bankrupt and DuPont stays solvent. It’s maddening.
Looks pretty interesting!
The biggest blocker is talent. Who’s going to join the French Government’s Google at 1/3 the pay with no sushi in the cafeteria?
IQ! It's a romantic comedy, but it's very sweet and features great performances from Walter Matthau as Einstein, Lou Jacobi as Godel and the rest of the IAS crew.

Boris Podolsky: James! How's the rat business?

James Moreland: Well, actually it's mostly students I'm experimenting on now.

Kurt Godel: My God, the mazes must be enormous.
> Meanwhile the Erlang people quietly produced a JIT without any advertisements.

Er, no, they didn’t, they made plenty of announcements before the release, most of which even made their way to HN.
Pi is a good psycho-thriller, but the maths aspect is weak and physics is nonexistent. If anything, it is more religious (namely, Jewish) than scientific.

Math here is used more as a way of showcasing the main character's madness than actual mathematical thinking.

It you like maths, you may want to watch Futurama, especially the "The Prisoner of Benda" episode, where they made an actual theorem just for the episode, and the formal proof can be seen on screen for a short time.
Target stops selling Pokémon cards in store, citing safety concerns
It is from a newspaper, Washington post, which had entirely anti Trump news leanings for years. It’s very obvious the items and quotes they choose to include here while offering almost no new information on climate. Excluding Trump, this article could have been written 20 years ago.
> Hannah: How is it possible that Zig applications run faster than C code while also having far better security guarantees?

In a marketing interview with biased questions, anything is possible.

TBH, I have a positive impression of zig, but this kind of interviewing doesn't help it.
I’m concerned with the performance. It’s up to 16x slower than native Python, which we already know is 100x(?) slower than native code.

So roughly 1600x more clock cycles are consumed than is necessary.

I’m already jaded with the extreme bloat of JS frameworks as it is (how many times does my computer need to ramp up fans because of your React blog?). This could potentially be an order of magnitude worse.
You're missing one key question in your list: "How much (time/money) will it cost and what will be the gain?" Two key aspects to that question: whether/when/how to re-write existing systems in Go and how re-written or new implementations integrate with the existing ones. That's probably the most important question, actually.
Could have been, but then we got rejected for something which would have been hard to detect automatically.
That makes things a lot harder for the Cirrus pilot. Easy to get the lineup slightly wrong with for example some wind correction in from far away. Crazy that ATC had them do this at the same altitude as conflicting traffic with no underlying approach as a safety net. You can ask someone not to go through final, but that's very easy to miss judge from a couple of miles away.
No Floor, No Ceiling
Am I the only one that thinks a table of contents would be great for this article?

It starts off salesy and when this happens I tend to avoid committing to it, so I think a table of contents would really help a user decide if this is a good read for them or not.
I used to have a similar issue on my laptop. IE was the only browser capable of viewing YouTube videos at 1080p without stutter. Firefox would stutter, as would Chrome and Chromium Edge.

I've since given the laptop a clear out, reinstalling Windows 10 and installing Kubuntu as well. The issue has now gone away. Firefox now copes fine from either OS.
Yes? That's pretty much my experience.
This time, Guido is paid to work on it, and he is competing with cinder, pyjion and pyston.
Don’t let this article get in your head if you want a promotion or a raise.

1 and 6 are total BS. If your company does not have KPI or whatever useless and evil things project managers invent, just go to your manager and tell them you want a raise the moment you feel like you’re doing good and deserve it. And if the company still won’t give you a raise then I doubt it values you enough.

My salary raised over 200% in half a year just because I underestimated my base tag and asked for a raise every time I felt like I was doing very good. Although that’s not only about my performance but soft skills as well as pointed out somewhere in the article.

My manager once said: "Business does not care about you. How modesty can help you achieve things?”.
"A serious Man" is "fully based on the concept of Schrodinger's Cat" , what? It is a post-modern retelling of The Book of Job, not sure other than the main character being a physics professor. At one point a failing student states that he understands Schrodinger's Cat, to which he is immediately admonished, for the analogy being pop-physics, and without understanding the math it is useless.
I dunno, I mean once this guy wrote this book, he should have known he was burning all bridges to corporate America (or at least the woke portion).

It's amazing that Apple even hired him in the first place. Maybe he was helping to hit a POC target.

The upshot is people are being held to account for public speech, and you have to be an idiot to not differentiate along the spectrum of private thoughts, private speech, and public speech.
What am I supposed to look for in that Wikipedia page? Did you read it?

I did. The section on the Real is a generic article almost longer than the Real article itself, yet makes zero mentions of any of Franco’s contributions to it. Is that your source for his “big role”?

I’m not concerned with politics at the time, but now - he, or his party, whatever, are clearly capitalizing on his minor role to try and make him a stronger political force. At this point there are already three or four books and a movie by/about himself, while downplaying the economists who actually devised and implemented the plan (Árida and Resende). And trying to spin it as a success story for neo-liberalism and privatization instead of the economic policy play it was.

The fact you’re out here defending his particular role might give you a hint of whats going on.
It’s a “marquee feature” of buying a Cirrus, he didn’t just wake up and pack a chute
I stole this from somewhere, but in bash at least you can do something like this:

if [ $(uname) = "Darwin" ]; then ... # macos

if [ "$TERM" != "cygwin" ] ; then ... # cygwin

I'm sure there are other ways to determine WSL and others you mentioned.
Show HN: DesignWiz – your UI/UX and brand design partner
I wondered about that comment too.

But regarding Primer and the plot timeline, yeah, I'll just let this xkcd speak for itself :
https://xkcd.com/657/
There's a really nice document that lists incoherent tax arguments in the US.

https://www.irs.gov/privacy-disclosure/the-truth-about-frivo...
We build websites for organisations in the UK who do a lot of work with the NHS, and we regularly still see ~10% visits from IE11 in Google Analytics. Organisations that don’t work with the NHS consistently show < 2%, so although I don’t have conclusive proof I’m pretty sure that’s what’s going on for us.
I work writing enterprise software. IE is integrated into our legacy desktop client so we can render new web pieces until everything is updated to be web, then we'll switch to Electron for the client. It's a huge pain to get things like CSS to work right, and the dev tools are super buggy.
>That is total BS. I had promotion multiple times just because business owner liked me and valued my work.

Yes, I would say in my experience that in an environment that utilizes formal performance reviews, I was less likely to get a promotion. When it's a small company that is making money, and you wow your boss and make yourself invaluable, you get promotions / raises. It really boils down to busting your ass to get things done and letting the powers that be know it.
As an Apple consumer, having a “walled garden” is great for UX, IMO. I don’t have to deal with a ton of shitty wallet apps, everything is in one App Store, etc.

I find this much preferable to the situation on Android.
Yep - on the spectrum of possibilities the ones that preserve the status quo are most preferable to Google.
Heh, so we really ought to move from MSHTML... We're embedding a web browser control in our app for flexibility in adapting the GIS documentation system to varying needs depending on customer. Some customers document more details on electricity meters than others, some tie them to other billing systems on the backend than others. Etc...

But it's actually working out great and we can as a bonus update these parts of the desktop app without even shutting it down. Our app has a web API that the scripts interact with.

The obvious downside is that it's using IE 11. WebView2 exists though which uses Microsoft's Chromium fork, but the control is only now reaching production quality. Like mere months ago. https://docs.microsoft.com/en-us/microsoft-edge/webview2/

But it'll probably be what we eventually do especially as it supports Windows 7 which is quite something for emerging technology from Microsoft. We need this because surprisingly many customers still have Windows Server 2012 installs here and there. Sounds insane to run 10 year old servers for security reasons but the amazing thing is that Microsoft will support these to late 2023.

For now we're in our most advanced scripts using Bootstrap Vue + VueJS 2 + a few polyfills and it's amazed me how seamless it actually is in developing on Chromium 90 and everything just keeps working and looking almost identical on IE 11. Interaction, model bindings, templating, everything. I totally did NOT expect this. I expected... "Support". I mean... This is some achievement. There's been the occasional, minor stumbling block every three months or so but still...
This week I've been dealing with an IE11 related problem from a C# app.

The C# app is built using WebBrowser Control[1] which is tightly integrated with the app itself.
WebBrowser only supports IE11 but the webapps that it connects to are increasingly dropping support.

The vendor is reluctant to upgrade their app because the replacement options apparently (?) require extensive refactoring to get the same integration.

IE11 seems to be in a weird limbo. But the fact that it's still technically supported by Microsoft means that conservative software vendors aren't forced to migrate.

[1] https://docs.microsoft.com/en-us/dotnet/desktop/winforms/con...
Tax evasion should be prosecuted, but I believe most of the time I read about these companies and taxes, it's about tax avoidance, such as the source article for this thread.
>I'm stating a fact of this tech forum.

And I'm stating facts about Dropbox. Users are not told that their data will be looked at by others. Having the keys to do it and actually doing it are two very different things.

Why are you asking all of these questions about the current market? Are you just trying to point out how bad the current situation is? If so, then I agree. That's why I and other users here paying attention are doling out criticism.
Many people in the field don’t expect that there will be a viable fork this time, basically all defi smart contracts that are now a huge part of ethereum (not the case at the time of classic) would break triggering a cascading chain of liquidations breaking the usability/viability of the chain. However the past has shown that a broken chain can somehow still be valuable due to irrational speculation so we will have to wait and see.
I consider OCaml the baseline for what a language from the last 20-or-so years should be. It doesn't do much that really pushes boundaries, but it has all the basic things you want and no major blunders (which is a surprisingly rare thing). In particular it has a sensible type system with proper algebraic types (which so many languages manage to get subtly wrong, even today), full pattern matching, and very little in the way of control flow keywords.
Apparently normal humans weighed less than 150 pounds until we discovered McDonalds.
Well you wouldn’t pull the chute. The plane has lift when it has forward motion at a non stalling angle of attack. It would become a glider until reaching stall speed
Haha presumably I could just cram some handfuls of plankton in the tank
For vaccination passports, I don’t think you even need a database. Public key signatures work fine. “John Smith is officially vaccinated. Love, Cook County Health Department”. No persistent service even necessary. John can just keep that QR code on his phone.

Blockchain or trusted database authority is only necessary when there’s the risk of double spend. Like I try to sell my house to two different people at the same time. With vaccine passports there’s no risk. Either you’re vaccinated or not.
There is a much more straightforward way to handle session expiry not mentioned in the article: in most cases your application will need to get something like a "User" object from the database. That object can simply contain a version number that you increase when you need to log someone out. If the version number in the session does not match the one in the JWT you discard it.
https://mmm.page/sex.sells

I did the first thing people do when new domain is available - go through hot words and park lol
Biggest reason is corporate/government IT that's been slow to upgrade, possibly because they have intranet sites that don't support newer browsers. Accessibility is available (and better) in modern browsers.
Yes, there is a limit to the security that a cryptocurrency can provide (like with anything else). The level of security provided is based on the market price: The higher the price, the higher the rewards, which increases the profitability of mining, thus leading to more miners, which then increases the amount of competition you'll have if you want to post wrong information. Since there is a fixed rate of new data which can be added, that's what defines the cost of inserting data to the blockchain.

An attacker with a lot of resources (>50% of current mining power consumption) could use their resources to post wrong information, but it would need to be profitable enough to make up for the immense costs. It's unlikely there would be such a situation where an attacker could recover the costs for such an attack. At best they would be spending a lot of money to cause a temporary network disruption as the "fair players" move to a forked coin or similar.
The flight software is actually a real-time (aka deterministic) embedded system software. And the control loop is the typical control loop found in embedded systems: 1 - read data from sensors through ADC (Analog-To-Digital Converters), I2C, SPI, CAN (Controller Area Network) and so on; 2 - compute the output to actuators, such as motors, hydraulic cylinders, valves, motors, lights and so on, using some control law and the current state; 3 - repeat the cycle. The algorithm that drives the output may be based on algorithms from control theory, namely state space model, PID control or Kalman filter. The computers that they may be using might be single-board computers based on ARM-core, MIPS-core, PowerPC or even X86 variant for embedded systems and/or lots of microcontrollers. Before the advent of computers, the control theory algorithms were implemented using "analog computers", which are specially designed analog circuits for computing differential equations.

Control theory algorithms can be developed using tools such
as Matlab, Matlab-Simulink, Modelica or Scilab-Scicos (Open-Source) from Inria. Besides C or C++, another language used in embedded systems like that is Ada, which is much safer and reliable than both C and C++.
They make more money because they are more productive and their services are highly valued. Those people already bear disproportional burden when it comes to taxes.

I mean, what do you really want? Everyone works according to abilities and everyone is provided for according to their needs?
Even then, they recommend pulling the chute anyway because it can reduce velocity if it’s still above nominal “touchdown” speed
You can see that it's Washington Post, well-known both for its ideological bent and its owner, as is generally the case for all major news outlets. As I see it, you should (1) use it understanding that; (2) pick other major news publications whose biases your prefer, and/or (3) find outlets that you find to be neutral, understanding that they're probably small and you should keep knowledge of them to yourself, lest they should become very successful and thus worthy of being bought or steered into something you don't like.
It would be cool if the cards could be NFT'd[0] as in some sort of digital collectible that you could own.

[0] https://en.wikipedia.org/wiki/Non-fungible_token
The only person with JIT experience listed there seems to be Mark Shannon. GvR may push through whatever is developed though.

If that is cause for excitement can be seen when a product is finished.
> Total BS too. Maybe in India.

That was unnecessary -- this is something that is indeed an expectation in _some_ career ladders -- it's not a global truth, but nothing is.

While the author made generalized claims and absolutes, so did you to the contrary - when the reality is always "it depends on who you are, and who you report to". Claiming total BS is probably more harmful in this case.
Thank you, I appreciate your efforts
The level of PFAs during the pandemic must have just skyrocketed if this packaging is indeed a culprit.
Magnetic Declination
The key problem is program transformation, and in particular optimizations. Different CPUs/ISAs, and compilers, might want to transform your program to make it run faster.

However, in the multi-core setting, data races pose bounds and limits on how much you can trigger those optimizations. The program doesn't generally execute sequentially in a way that can be entirely reasoned about. Instructions might be reordered for the sake of the program to run faster.

Programmers can't work with that. So one proposes a memory model. Follow these rules, and our optimizations won't alter the behavior of the program. They kind-of describes what happens "in between" the critical sections of the program, hence the lack of a mutex mention.

The paper presents a local property and then shows, formally, that this property is enough to guarantee an efficient memory model. That is, a model in which you can perform optimizations, while programmers can still reason about the programs behavior.

The crux of the paper is that the property is local. This is new, because memory models which came before it are global: to reason about correctness, you have to consider the whole program, rather than consider a small (local) subset. OCaml requires more safety than most programming languages, so this is good for the fact that you can now compose local fragments of OCaml programs, without having to worry about a global safety property.

The property is also simpler for programmers to reason about.

The way you "use" the paper is that you adapt your optimizations to follow the property, and you make sure that the virtual memory model is implemented the same way on different architectures.

Finally, the examples: they explore the idea of a local reasoning. In particular, they show why the (existing) global properties fail if you view them under the stronger requirement of local reasoning. It's the setup for the paper, since it means you can't just use the existing models. They need to be adapted if you want a more localized property.
Agreed, Paris is something special but I think there are so many cities in Spain that are relatively unknown and have their own unique beauty. If the government would fix there tax system I think Spain would do a lot better and be booming.
Real robotaxi service gets a step closer in San Francisco