skysight-inc/HackerNews huggingface dataset:
Cryptocurrencies were innovating in one particular aspect, solving the double spending problem for truly anonymous transactions. Beyond that it's not as innovative as people think. Even Bitcoin supports smart contracts, and the only real noteworthy achievement in the real world Ethereum has achieved is becoming a massive platform for gamblers in the form of speculation, which makes up almost the entirety of Ethereum's activity. No name engineers at companies like Google deal with far more complex and far more practical problems as part of their job. I say this as someone who has written their own block chain from scratch (not a fork) and understands how incredibly niche and overblown cryptocurrencies are.
Speaking of fruit, I’m interpreting this as an apples and oranges situation. If we’re talking about trust of the engine that’s one thing, but holding back a launching rocket is different. That is the absolute worst case for the rocket (and best case for the rod) due to the weight of the heavy fueled up rocket fighting the trust along with the rod
Yes. When I worked in Quebec (around 2017) the company got a reminder from OIQ that employees should not call themselves Engineers on LinkedIn unless they had a P.Eng.

The Engineer title is taken seriously in Canada, similar to how you can’t claim to be a medical doctor unless you actually are one.
Leetcode interviews are also easy to cheat on.
Your personal anecdote is just that. It doesn't make for very strong evidence.
Hello! What do you think you're doing? Only me and Garth get to talk to the camera.
Grades get you internships and internships look extremely good on a resume. It's that simple.
I bet that was done by design to achieve this effect.
If solar/wind is used to make hydrogen when they are available, you have a energy generating loop that provides energy usable at any time.
Well sure...but the thing about software that's different from say taxis or commercial real estate is that once you build a product the marginal cost to scale it up is close to zero. This is what drives the valuation multipliers of growing tech companies. If your software requires 10x the engineers to support 10x the usage I'd say such valuations are not justified.
The issue is the perception society doesn't reward integrity.

Those with integrity are very clearly perceived as the handicapped in modern America.

Nowhere is this more clear than cryptocurrency and gun reform.
Heat dissipation is hard in space and probably makes this infeasible.
(Sorry I'm late—I only just saw this.)

This is one of those questions that is easy to answer once you understand that HN is all about optimizing for intellectual curiosity (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...).

If an article is particularly interesting and you think its title is going to prevent it from getting attention, then break the rule. Having the most interesting stories on the front page is more important than following a rule. That follows from what we're optimizing for.

The title rule is mainly trying to prevent sensationalism and promotion from crowding out the quieter, more intellectually interesting sort of submission. So if your motive is actually intellectual curiosity, we're not going to rap your knuckles. (On the other hand, people mostly break the title rule gratuitously and/or for sensationalism or promotion, and that sucks.)

If you want to be conscientious, you can always email us a heads-up at hn@ycombinator.com. One advantage of doing that is that if we agree the article is particularly interesting, we'll probably put it in the second-chance pool (https://news.ycombinator.com/pool, explained at https://news.ycombinator.com/item?id=26998308), so it will get a random placement on HN's front page. And if the article isn't particularly interesting, then I wouldn't advise breaking the rule.
Adventures in Rage Inducing Software
I've interviewed a few. The most memorable being someone who struggled with what a linked list is, and thought two nested loops over the same number of times was a linear-time algorithm.
Many European countries have a TV license equivalent. What makes you think the UK isnt already like many other countries in terms of national broadcaster?
Just bought a Gogoro in Taiwan (VIVA MIX BELT), and it's pretty neat. The range is not as awesome as I've expected (~70km), but for around-the-town commute it's excellent (this first swap lasted almost 2 week of small trips almost every day). The biggest thing to get used to is that the riding costs are now subscription-based to a large extent (and can't get one of these scooters without a subscription, even if you were charging things at home). The riding cost adds up definitely higher than the previous "gas" scooter.

But at least I feel better about the environment, and given that around us it's getting to ~10% of scooters becoming electric (mostly Gogoro, but not exclusively), I'm hoping for some air quality improvements as well.

Would have some words about the design too, and their management app is pretty crap in many ways, but I wouldn't really go back to the old ICE scooters, max switch to another electric one in the future.
Put another way, it’s system fonts everywhere except Linux. (And Android’s just ignored; I guess it just catches the fallback ‘sans-serif’?)
Far too few.

Were it possible; employers might screen candidates on the results of a test of critical thinking, as opposed to a degree. However, this has been illegal since Griggs vs. Duke.
Composition can be incredible. It's a blank canvas type course that can be about anything the professor wants as long as they're teaching you to write. My composition class was a passionate introduction to western philosophy. Incredible class. Pedagogical laziness, overly prescriptive syllabi, or lack of creativity make classes like composition bad— not the subject itself.
at the risk of being squashed
I've been in teams where they chose to fire half the people and productivity actually went up.

It's not as simple as "manpower". More people mean more overhead. More meetings. More documentation. The code is structured in more modular ways, and you end up wrapping anti-corruption layers around more things. When there's too much communication going on, Partnership relationships take way too much overhead. So people switch to Conformist relationships, which means you can still spend half your day coding, but every now and then you spend time redoing something that nobody brought up or thought over properly.

This kind of mess is also where the low performers thrive like mushrooms. They're happy to overcommunicate and overengineer, because it covers for slow performance.

So when these people get fired, it's actually good for morale. Was hiring done poorly? Yes, every company hires poorly, and startups rarely have the luxury to afford A-listers.
One theory of education is that you are there to learn and learn how to learn.

The other theory is that school is an arbitrary experience designed to separate out high skilled from low skilled workers into a separating equilibrium (or, replace skilled with wealthy and you're probably closer to the truth).
Just because you went through a “how to build a blockchain in 1 hour” YouTube tutorial doesn’t make you an expert on the topic anymore than someone who “built a Twitter clone in 1 hour” is an expert on distributed databases.

The idea that no name engineers at Google work on more interesting problems is laughable to me as someone who worked there for 3 years and saw the vast majority of them work on garbage Angular apps or borgcfg . Not exactly designing a zero knowledge roll up chain in complexity.

The “cryptocurrency=bad” bros on hacker news are getting so tiresome. Many people think things like adtech are scams yet if every single time someone brought up Google we derailed into that conversation it would rightfully get moderated but with crypto, dang is asleep at the wheel.

Actual cryptography experts like Dan Boneh and Silvio Macali are full time on cryptocurrency, but since your L4 Google buddy thinks it’s a scam, that settles it so we bring it up every damn time.
It's more about convention. Typically, PUT overwrites data, whereas POST adds data. If you PUT to /users/3 you overwrite a user, whereas if you POST to /users you add a user.
You don't have to pay rent either.
I'm aware of the benefits of RAII. Those static analysis tools are really, really easy to use. For example, if I forget to invoke cancel() in context.WithCancel() in Go, it gets caught automatically.

Something defer-like is annoying to create on top of RAII (or at least annoying in C++). What you put in defer can be a whole function, with access to the enclosing scope, and (critically) the return values in Go, and can know whether the program is panicking (equivalent to throwing an exception). In C++, variables in the enclosing scope are being destroyed, and since any defer implementation would be in a destructor, you can't throw an exception from the destructor.

In Go, you can propagate errors from the code called by defer (use the deferred code to return an error result from the enclosing function), or panic() inside defer, and it's a normal error or normal panic.

It's not something you could reimplement easily with destructors in C++. 99% of the time you're not using these fancy features. That's fine. 99% of the time, your RAII is just destroying an object at the end of scope.
Well decentralisation is hard, it's particularly hard when it's dealing with real peoples money, it's hard to scale and hard to maintain, Ethereum is getting closer and closer day by day to moving to an alternative system called Proof of Stake, it's a different system from Proof of Work, you may be familiar with Bitcoin and its energy use.

You can read more about issues on Vitaliks website for example when Musk tried to become a blockchain expert overnight he looked a bit silly:

https://vitalik.ca/general/2021/05/23/scaling.html

Vitalik is probably the only Billionaire in the world I don't hate and ethereums innovations are incredible.
Starlink is in a very low orbit. Any satellite that low deorbits quickly if not under active control. It's not a space junk concern. SpaceX would be the biggest loser if space junk ever became an issue.
this only looks terrible because you've forced a specific height in rem. https://jsfiddle.net/vbd3fok5/ looks fine to me. there is some extra space, but I assume that if the font designer added extra space on top of the text, they did it on purpose. if you insist on ignoring that, https://jsfiddle.net/qpb0d45n/ makes the text "visually continuous", at least for a non-Korean reader like myself. I would speculate that a Korean user might look at this and ask why the site designer ignored their font's preference for space above the text.
I have wondered if bloom filters could be used as a cache on hash tables. It really comes down to if the bloom filter hashes can be computed significantly faster then doing the hashmap lookup (which includes hashing and probing).
This is the simplest and most accurate summary I've seen so far. Unless you're a wolf or extremely lucky, without a degree there is no way to get into a 40-50 hour per week job where you can get paid a car, a nice apartment, and vacations at no risk to your own finances. Middle-class jobs are the pinnacle of non-aristocratic luxury.
You’re referring to the Console OS which they also did open source (it was just Red Hat, sources available upon request).

The relationship between the Console OS and the Vmkernel / hypervisor was very similar to the relationship between Windows/Linux/macOS and VMware Workstation/Fusion, which were also proprietary software not derived from any of those OSes.
You're missing the forest for a piece of bark on a tree. His point is that engineering licensing boards should be more than just a government-sponsored cartel for rubber stamping conforming license requests, and practitioners should do more than just validate that projects meet the required specifications according to accepted standards, but that the industry -- from individuals to institutions -- should also operate with an ethical and moral imperative to learn and improve and grow the discipline at the current edge of its domain of competence. If "accepted standards" are shown to be wrong then it's not good enough to continue using them, as if the legal indemnification provided by standing behind an "accepted standard" is the only thing that matters.
In addition to what everyone else said – consider that cheating does not stop being a viable short term[1] solution after you graduate. You can cheat your way through work just like you can cheat your way through school. Not always and not everywhere, but certainly a doable lifestyle for many people. Unfortunately.

[1] If a short term solution keeps working, is it really short term?
If you're deciding to paginate the output from an endpoint, please, I implore you, think about how much data you're returning to the client per page. I have worked with so. many. APIs. where the max page size is "100 items", and each item is … 300 B, for a total page size of ~30 KiB.

And then if you want to pull down the entire result set, you end up drinking it through a coffee stir, and it takes an absurd number of usually serialized calls. Latency kills. 100 calls later and you've downloaded a whopping "big data" level of 3 MiB. That would have fit just fine in 1, maybe 3 API calls.

By far the worst offender I've run across is Azure's Container Registry, where a combination of ridiculously high latency and small page size results in something like 3 MiB of container metadata taking like 5 minutes to fetch. I remember bug reporting it (won't Fix! gaaaahh) and IIRC, we computed the overall throughput to be ~56 kbps.
> without monopoly profits being captured by rich medallion holding families.

Then we'd have a(n) (inter)national tech monopoly. Soooo much better.
Modded Rackable Systems S3012 Case (2018)
Why not both? Just because you have special legal status to have the government recognize you as authoritative on certain specific topics, doesn't have to mean you can't also identify as a public servant and do activities or advocacy you think will help the public.
I haven't tried it, but I've heard good things about poetry
>It seems likely their notion of a promise is non-binding.

They pledged it
Granted I only clicked through to three links, but I can’t find what this person actually stands for or what their opponents object to. It’s just conflict without content as far as I can find. Why should I care about this? There’s a cause but I don’t understand what it is.
It used to be that a good liberal arts university might claim to teach students "how to learn".

Given all the recent deterioration of discourse, maybe the university should start with a remedial "how not to be a liar and a cheat".
I want to understand what is verification process? How would programming will take new step forward if this is achieved?
I have been programmer for a while but I don't understand context and discussion around verification. Please point me any useful resources which can give me deep understanding of what's being discussed here.
Australia did away with its TV license in 1974, and continues to operate the ABC as a government funded broadcast network comprising 5 TV channels and several radio stations.

It’s fine.
I agree but I would say: The ratio varies depending on the kind of product and especially on where you want to be on the spectrum of speed, security, safety, time to client...
Honestly, to me this project is a means seeking an end, the same way JS devs love to play around with frontend frameworks, the author saw a bunch of shiny powerful (highly complex) tools and decided that combining them all was the solution to our problems.

I don't want to discourage them from learning Iris, or designing a dependently typed language, but I really think that's missing the difficulty in formal verification.

I think the two areas that need focus are: ease of specification and automation. In short, we need to lower the cost of verifying a line of code, by at least an order of magnitude. These two objectives are also directly opposed to the direction Magmide sets as the goal.
Ease of specification means we want to use the least amount of seperation logic possible, and hide it from the user if possible. Doing proofs / writing specs in seperation logic sucks and not for interesting reasons.
Automation means favoring simpler logics, specifically we want to stick as much as possible to FOL since that's where we have good automation.
By doing everything in a rich dependently typed language from the start it also makes it harder to do incremental verification, I think there is a lot of value in having a 'pyramid of trust' with more and more powerful tools which take you up a level of trust and verification, potentially requiring more input from engineers as they go up.

Finally, I think there's a lot of potential to explore in the interfaces we use to write, read, and debug proofs. I don't think tactic languages (as exist today) are the last word, and I think we should be doing a lot more interesting things to interface with and explore the proofs.
Tests always get leaked somehow. The students that were hit by the curve were, like me in school, struggling honestly toward the middle. That method is probably not as good at knowledge acquisition as the various methods of cheating, but hopefully better at flexible problem solving. I think these unique bottom cases were playing a different game where the rules are made up and the scores don’t matter; the curve probably did not affect them.
> I would also include a probability of an bug being introduced while extending the code.

The number of sprints you spend changing a bit of code might also be a metric worth tracking as well:

https://www.microsoft.com/en-us/research/wp-content/uploads/...
So by and by you're saying something like Cardano is definitely not a ponzi because it's extremely focused on doing everything academically?

https://docs.cardano.org/explore-cardano/relevant-research-p...

If this is a ponzi then I have to give them credit, to be doing research at a university level in order to swipe me of a bundle of dollars is amazing. They don't have anything about making themselves richer at the expense of new users either, for some reason it's all focused on developing a great blockchain that is sustainable and is usable for dapps which ultimately provides utility for end users.
>Success meaning being high up on the corporate ladder and making lots of money.

>Success not meaning doing work that makes a difference, helping others, achieving contentment, or having a balanced meaningful life.

>For those who has the perseverance and can ignore haters, there's still the money problem.

I don't think success should be spelled money to begin with.

More like

The ability to speak.

The ability to write.

The quality of your ideas.

Is the type of success in itself that is even more elusive.

That can be enough to make a difference, help others, achieve contentment, and have a meaningful life.

No guarantee of balance whether there is money or not.

I think it's good to be more or less fuzzy ourselves from time to time.
Not if you have to do it in front of the interviewer.
> This is kind of like AI. When something succeeds in general practice, it is no longer "formal verification". Now it's "robust type systems" and "static analysis tools".

Yes indeed. That is insightful.

Is there a name for this process?
Anything that anyone can find in a couple of seconds on a search engine is probably not worth an interview question. And that's valid for the interviewer as well don't ask something that you could find by looking at the resume.
Hardly. I was on a project with a JS dependency with 6.5k stars and sponsors but it injected a remote script at runtime without consent. I'm also a part of niche community circles where a project would be lucky to break 50 stars despite having phenomenal value and quality. It really is purely a popularity contest and only that with a bias towards other languages and projects that are equally as popular.
Memorial Day (Originally – Decoration Day)
Same thing with Southern California. 40 years later, people are barely aware of the sheet panic raised (manufactured?) in the 80s. There were a couple movies in the last few decades, at most.
A simple way around this is to store the data in the fragment, and do the parsing from that.
How was this enforced? A professor would notice in a class under 30 or so, but beyond that I'm not sure it would be apparent (assuming the attendee looked more or less like a student).
I have. Supposedly an experienced fellow but put out code that would embarrass an intern (and a bad intern at that).
It took you easily ten times longer to write that comment than it would have Googling It.
> I don't wake up excited to make schematics or lay out a PCB.

How on earth would an electrical engineering degree help you get a good job?
> Tests always get leaked somehow.

This is the side effect of lazy teaching. Unique tests cannot be leaked. Problem solved.

Or maybe don't do stupid tests for computer science.

This is a space where whiteboarding is a good idea, in fact, interactive whiteboarding with a whole class is a great way to teach and work through problems.

Any type of interactive test is hard to fake.
We can ask GDB to disassemble the current function in order to check the place where the code crashed and it will output a 4890-line monstruosity

That's because the "disassemble" command, contrary to what it says, is probably not what you want. On the other hand, "x/i $rip" will immediately show the exact instruction it's crashing on.
I expect service to Africa will eventually be considerably cheaper than $110 per month. If the satellites are completely unused while flying over Africa, that's wasted potential.

But before they can offer better prices they need to get the cost of the terminals down below the price they're selling them at.

Alternatively they might offer kits to wire an entire village with a single terminal. That way the per terminal cost is still high but per user costs are low.
Actually, it's main purpose is to provide a socially-acceptable way for young people to not devote their time to productive work. Some of these people use the time this makes available to them to learn wonderful things.
> terraforming Venus, rather than the much more feasible notion of colonizing Mars

I've heard from multiple experts now that you may have this backwards. SpaceTime even made a video about it long ago [1]

1. https://www.youtube.com/watch?v=gJ5KV3rzuag
I respect anyone who does heart surgery on themselves
that is a very common application of them, afaiu. though, the size and locality of the hashtable plays a significant role here. i may be taking a too generalized view of what you mean by "hash table"
They are testing also how docile you are. If you are ready to do useless tasks and go through hundreds of pages of the X-corp way of life then you have a chance to stay long and prosper.
Doesn't that already happen though? A bridge fails due to water hanging from the cables making them asymmetric and coupling wind energy into bridge oscillation, and cables get redesigned with a spiral thingy to prevent that in the future. Asbestos turns out to cause cancer, and suddenly it's no longer an allowed building material. Or whatever.
Falkon only appears out of date because the rendering engine component is updated separately, as part of Plasma.

As for Gnome Web being "unusable", that's quite an extraordinary claim.
See also: the "heat dome" where emergency services couldn't keep up with the calls in lower mainland Vancouver.
I am not saying they shouldn't do a partnership, I am saying they should have done it many years earlier. Ford were some of the last to commit it, and keeped talking about how the free market for battery would deliver all the batteries they needed.
Light-field control of real and virtual charge carriers
Some people are ready to trade dancing for a lot of money and a resume that will open them the doors of where you really want to be.
The best written science article I've read in my life.