skysight-inc/HackerNews huggingface dataset:
> Of course this is dangerous as it’s a narrowing conversion, with a cast which silences a legitimate warning. In C and C++ it invokes undefined behavior when given specific large values and most certainly is exploitable. Most applications would just crash on inputs >= 0x7ffffffffffffffff.

No, it's not. Overflow on arithmetic is undefined, but on conversion it's implementation defined. In C++20 it's defined.
Just.. get good.
Illegitimately obtaining military "secrets" is a crime pretty much everywhere. Would it have been illegal for him to obtain such documents about Georgian military tech in such a way in Georgia? Then the US can ask for him to extradited for obtaining US documents - at least that's how many extradition treaties work.
In a perfect world, this would be so. And if there were types that were performant AND could enforce such invariants without the downsides, I'd welcome them gladly. But primitive types come with baggage and limitations, so you have to make compromises. And the compromises when using unsigned ints are just too costly in my opinion. They're a good tool for specific use cases, but not as good as signed for general purpose code.
I’m very much interested in finding out the answer the “blockchain vs the DMCA” question.

A node operator serving any copyright content (irrespective of it being served over HTTP or a DLT) is liable. What happens when Disney starts suing node operators? Your ISP still gets a notice right?
Oh that must have been quite funny :)
We believe so yes, Interledger is a payments clearing protocol. More akin to to card networks or SWIFT.

The ultimate goal is to allow disparate account holding institutions ( banks, digital wallets, crypto wallets etc) to have an interoperable mechanism for clearing payments between each other. Settlement between these parties is for them to decide.

The next goal for us to to enable a layer on top of Interledger to create an effective global open banking spec, which is called Open Payments[0]. Just a side note, with a backbone of ILP there is many applications that could potentially be built on top. As ILP has decided to take a layered approach to the stack, similar to the internet.

Replying on my phone but happy to answer any questions

[0] openpayments.dev
I almost crashed into a tesla on the highway when I changed lane right behind a Tesla. The Tesla was going much faster than me, and when I changed to its lane a bit too close, it started breaking for no reason, forcing me to jump on the brakes as well. I do not believe it was the driver, but the automatic brake assist that did not like me coming in too close…
(2020). See also https://news.ycombinator.com/item?id=9870408, which I found more interesting (and that the author should probably have referenced).
Yes, this case has generated an amount of "Hitler was a vegetarian" cases.

More "shockingly", some perceived in certain circles that an amount of "odd actors" acted to throw gasoline on every spark, enticing savage gut reactions. Another blow to civilization, opinion benders encouraging towards the dismissal of clean evaluation, mining the pillar that after "He said we walk using feet!!!" the response should be "Actually, ", not "Boo!".
Well, Europe needs some way to store renewable energy in the summer for use in the winter. Especially if they plan to move all transport and heating off hydrocarbons, without using nuclear. And storing energy during summer for use in winter needs a battery 100x larger than storing it in the day for use at night.

I don't know what solution our leaders have in mind for this - but I can imagine the costs of gas and battery storage scale differently.
The facilities don’t yet exist in large numbers because batteries have only recently become cheap enough to do this cost effectively.

Even the battery factories are in their early stages right now.

Do you have a reference for the storage capacity of that NSW battery? Because every newspaper I’ve found talking about it, only talks about megawatts (power) not megawatt-hours (energy), and it’s the latter which is expensive for batteries, not the former.
Looks like there's a 2d version[0] but the map doesn't load (expired API key?) and it doesn't show as many lines. Can maybe be revived or adapted for your city by checking out the source [1].

[0] https://nagix.github.io/mini-tokyo/
[1] https://github.com/nagix/mini-tokyo
I predict that at the end of December 2022, there will be lots of HN threads about predictions for 2023. Some will be late and only posted into 2023.
BTW: I see people being confused about what web3 even means. If I had to define it I'd say its the group of technologies and infrastructure that support 'decentralized applications.' The term probably comes from Ethereum where several layers are used to run an application: like 'decentralized DNS' (find an app), 'decentralized file storage' (stores front end code), 'business logic for the application' (blockchain), and so on.

It's a powerful idea but it doesn't make sense to try write every app as a dapp. For example, there's probably no benefits to putting cat pics as a dapp and making them sharable in perpetuality. But a decentralized exchange could be useful.
...aren't certificates "crypto", just in the actual original meaning of the word?
It's amazing that we keep paying lip service to this conman. Nearly anything Musk has been involved in has persisted in spite of his involvement, not due to it. If anything has happened at Tesla that let them be less affected by the chip shortage, then you can be 100% sure that Musk didn't instigate it or have anything to do with it, except to take credit for it.
Great with the explanation of how it works. I pasted a url from a danish site and it worked flawlessly.
Great job and congrats on the launch.

About flutter. I am on mobile web. But scrolling on the page feels "not great".
(But that is probably related to how flutter works)
Most tests should test only one aspect of the system and that aspect is most often correctness. Dirty databases make the tests non-deterministic.

You can use a pre-seeded database for testing. SQLite can be used sometimes for instance.

Create load tests to test the performance.

Data can and sometimes should be reused for a specific set of tests. This is needed for browser tests for instance.

As a person who worked on systems with thousands of tests. I cannot stress enough that there should never be any randomness added to the automatic tests. Most times it is better to add more tests then to make a test do many things.
> Carl Sagan expressed essentially the same idea in 1994 -- that the development of asteroid-deflecting nuclear weapons would be more likely to destroy the world than to save it.

He also talked about this in his book Pale Blue Dot around the same time. He found it darkly ironic, I think. Technologies like spaceflight and nuclear power and advanced biology are necessary for the long-term survival of the human species. Yet presently, it seems they are more likely to be misapplied and destroy us.
I really donnt buy it is a "trivial idiom" to check unsigned undeflowing by writing 'i > size'. I'd have to check that was right all the time.

Also in general saying all we have to do is (I'm paraphrasing a bit) "not make mistakes" is, to me, a bad idea, as all programmers make mistakes.

I sometimes assert after a calculation that a value is >= 0, it's much harder to check that if it's underflowed because it was unsigned.
I want to own things
I want to have permission-less world
It smells like the .com boom/bust all over again. Like you say, money drives the discussion, not tech. Which is indeed unfortunate.
I wouldn't be surprised to discover that USSR (and then Russia) was sponsoring these movements.
The CSAC is specified for operation at < 120 mW (< 140 mW at warmup) so one could in principle build a novelty watch with it. However, a standard quartz movement with daily sync to GPS would outperform it at a thousand times lower power consumption.
Solar panel tech extracts energy efficiently enough, actually. The problem is storage.
By calling it web3 they are explicitly positioning it in terms of, and in contrast to, the traditional web. If they wanted to call out finance there's defi for that.
* I'll be closer to happiness than I am now
I've been a frequent flyer of Emirates for the past ~ six years. From my perspective, the airline suddenly changed about three years ago. The quality of their service dropped and still every time that I take an EK flight, I notice something else is missing from the service. Flying Emirates does not have any glory anymore.
Apparently it's unfathomable that detailed, reasoned and thoughtful comments are actually critical of web 3. Here's a thought: could it be that web 3 actually deserves some legitimate criticism? Maybe HN is right and you're wrong?
No such thing as "underflow" for integers. Signed integers overflow in both directions. Underflow is a floating point concept.

Edit: https://en.m.wikipedia.org/wiki/Arithmetic_underflow
I'm curious if you have examples to back up your claims?
I often wished I had access to the flag bits in C (or at least a somewhat portable subset). Would be very handy for writing CPU emulators :)
It's not bad, but it's proof of work which I'm not really interested in at this point.
I predict that during January, someone will ask about predictions for the current year.
I don't know why people keep saying this, but there's no way in hell the CDU is far left. The CDU is a historically conservative center to slightly right party, and if they didn't need the votes, the current politicians in charge would go further to the right. A couple of years ago, the CDU lost many voters to the AFD, which is a far right extremist party, and many CDU politicians still sympathize with them, while no other party in Germany collaborates with the AFD. Getting pro gay, trans, and abortion laws through was hell with the CDU in power.
It’s a problem with social systems/big governments/EU in general and I see it happening all the time: take from one person and give to another, without meaningful justification.

Sometimes even the state defaults and other states have to bail it out (eg, German taxpayers pay for Italian cars).

Of course some degree of government involvement is required to address externalities. But this seems mindless spending without a discused plan.
Yes, solar has emissions. But in your previous message you implied that it is larger than it is by making a deceptively long list of items. These are the number of total CO2 emited per energy produced (gCO2e/kWh):

- Nuclear and eolic, 4.

- Solar, 6.

- Gas CCS, 78.

- Hydro, 97.

- Coal CCS, 109.

Citation, as requested:

https://www.nature.com/articles/s41560-017-0032-9

Implying that solar, nuclear or wind have emissions nowhere near gas or coal is not fair play.
Possibly, so possibly even not. The kernel actually does "break compatibility" from time to time if there's no software relying on the behavior.
coronavirus pandemic turns to "endemic"

russia invades ukraine

GOP wins both house and senate in mid-term election

trump is indicted with financial crimes
That sounds terrible, from hearing about NFTs I expected they would be a hash of the file, not a link to a file.

Not like a hash would be much better, as changing one pixel would give you a different hash, but at least it would represent a specific version of an image, a URL could change to anything tomorrow.
All I'm saying is there's a possibility of discovering the power electronics affecting us in an adverse way. Similarly how we thought lead, asbesthos, radium were harmless at first.
While Java doesn't have unsigned types, it at least with java8 got functions to operate on ints as if they were unsigned.

But Kotlin (also running on the jvm) got unsigned types with built in operator overloading for them, making it easy to work with. "val a = 100u" gives you an unsigned Int. If you use Java, there are few reasons not to use Kotlin. https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-u-int/
Off the top of my head:

- What material are you making the rope out of? What data do we have of that material's behaviour under tension in a vacuum?

- How is the craft connected to the rope? Is it a fixed bond or is there freedom to move? What are the tradeoffs?

- What happens when one of the two ends is accelerated? How do you reestablish a stable rotation?

- How do you manoeuvre it? Can you?

- What happens in the event of a catastrophic failure of the rope? What safeguards need to be in place?

And this is all on top of the fact that we're discussing two things connected by a rope under conditions that rope has never been tested in, doing something that's never been done. Space exploration isn't in the habit of trusting that our untested models are reliable, especially where human life is involved.
Agree with all your comments linked but they were hardly “early on” - the first post you put up was around 3 months after the WSJ article which signalled the start of the end (and in some tellings was the thing that brought the company down earlier than it would have otherwise failed).

Let’s remember they were founded in 2003, and by March 2016 Holmes was barred from running any labs.
And yet we in the West are discussing compulsory boosters for low risk groups to be able to take part in society.. I think that history will judge us harshly.
I've met founders who launched shitcoins which raised a lot of money who acknowledged with no sense of irony that their own token was a shitcoin.

But in general, a shitcoin is a poorly designed project (or just a clone of an existing project) where the founder sells a lot of their tokens and quits immediately after the initial ITO/ICO sale.
> C++ recently sanctified complement-of-two as integer representation

While that's true, signed integer overflow on arithmetic operations remains undefined behavior.
Multithreaded Python Without the GIL
Yup, good tip. We gotta make it nicer for Android.

We have a USDZ to GLTF (Chrome/Android) converter too. We should make the gltf more readily available.
There are larger differences, even in grammar.

Brits will say "I've lost my keys" using the present perfect to indicate something in the recent past. On the other hand, Americans will says "I just lost my keys" using the past with 'just'. These are grammatically different tenses and I think this constitutes a significant variation between the two. This is often overlooked.

Moreover, Brits will more often say "I've got" and American will more often say "I have". You can find this in ESL textbooks and by talking with people. For such a fundamental verb, I consider this a big difference.

Source: I was an ESL teacher and I have lived in both the US and the UK
Yup, and that's a case of an API not aging well. But even in that case, switching to unsigned is only kicking the can down the road, not solving the problem. You'd get another year or two and then hit the 4294967295 limit.

As for 64-bit values, unless you can foresee requiring > 8 quintillion, unsigned isn't buying you anything.
I’d argue that the convenience of this tool isn’t just the fact that it can tell a class/jar is “bad”, but the convenience of being able to automatically scan the filesystem to do that.

And most of the code I see is about walking the filesystem, unzipping jars, walking the files inside the jars.

Most codebases have this kind of plumbing all the time.
> In all fairness wrapping indicies are an extremely rare bug for me, so i cant say i have much experience debugging it.

Do you run your code with -fsanitize=undefined -fsanitize=integer ?
I think the public transport is a US thing to be honest.

I’ve lived in 10+ countries by now and the only place public transport completely sucked was the US. Everywhere else it’s been clean, efficient and fast. Even in places like Russia.
Looking at the token standards[1], I can't see how you could create a "backdoored token" that would authorize movement of other tokens but that sounds like a scary threat vector. Could you explain how that would work please?

I've heard about ERC20 tokens that allowed the issuer to pull them back (that's the SoarCoin thing[2]) but not a token that allowed other tokens to be transferred.

[1] https://eips.ethereum.org/EIPS/eip-721 https://eips.ethereum.org/EIPS/eip-998 https://eips.ethereum.org/EIPS/eip-1155
[2] https://iterative.capital/erc20-backdoor-allows-you-to-steal...
Urban sprawl is not a problem, and neither is a little country-side car dependence.

The problem with total car dependence arises when you only create "big", pedestrian unfriendly shopping "stroads" that are 6 lanes wide, where even going to the adjacent store is a car trip, and crossing the road takes unreasonably long or is flat out impossible on foot. In these places, driving is your only option even if you can see the store you want to visit from where you live.

This is in stark contrast to the highly trafficated European cities, which are car friendly. Take Copenhagen for example. There are of course 6-lane arterial roads going through in various directions, but stores are back-to-back and the destination is rarely ever the arterial road itself. If you're going outside peak hours you might be able to find some street parking down some side street, but otherwise you'll have to locate one of the low-footprint multi-story parking basements/garages and then join the pedestrians from there.

In less densely populated cities (say, Lyngby), some shopping areas might have a shared 40-car parking lot associated - not a parking lot for hundreds of cars per store.

Should you live out on the countryside and want to go to the city (say, for shopping), you might use a car to get to a central parking area and then join the pedestrians for the actual access - the dense shopping streets are pedestrian-only anyway.

People in the outer city are more likely to just use a bicycle or take public transportation, as it's usually faster, cheaper and more convenient - especially for restaurant visits or party, as you might want to drink alcohol.

The TL;DR is "car friendly != car dependent". This applies to most European cities I've seen.
Could be the difference between file upload (via camera) and media device access?
You give two examples (spreadsheets, Autohotkey) that actually contradict your central thesis of no good tools. Seems like those are examples of ordinary people successfully using no-code to make their lives easier?

There are so many free programming languages available to anyone interested, ranging in human comprehensibility from (the incomprehensible) brainfuck [0] to natural language interpreters for writers of interactive fiction [1], and everything in between. Visual programming languages [2], languages for children [3], languages for visual artists, for musicians, for stock traders. There's even a language using power ballad lyrics [4]!

I love your sentiment that programming is for everyone, but with respect I utterly disagree that there are no good tools for ordinary people to use. If anything, there is an overwhelming, embarrassment of riches.

But, maybe you are right? Maybe you have an insight that could be helpful? Share it, man! The world needs you!

> ...we kneecap them with awful tools

Who is this "we", Kemosabe?

If you want to help make interactive narratives easier and less prone to bugs, I have a fallow side project I need help with [5]. These people seem cool [6] and could use your insights, I'm sure (seem to be defunct, but perhaps from lack of interest? Jump start it? Track them down, find out what happened?)

[0]
https://en.wikipedia.org/wiki/Brainfuck
[1] http://inform7.com/

[2] https://en.wikipedia.org/wiki/Visual_programming_language#Li...

[3] https://en.wikipedia.org/wiki/List_of_educational_programmin...

[4] https://codewithrockstar.com/

[5] https://github.com/rendall/quest-driven-development#readme

[6] http://blog.interfacevision.com/
> solar panels are not 100% recyclable (and especially not the batteries required to make solar reliable)

While I can believe that we don’t have a current recycling chain set up for these, I absolutely do not believe that they are genuinely non-recyclable.

We make both of these out of a variety of literal rocks, extracting trace elements and purifying them greatly in the process of manufacture. Even in the worst case, it’s easier to start from the end products than from rocks.
> But there are orders of magnitude fewer people are hired yearly into director positions than something like an L5.

That is true, but gives no indication of how many Director candidates they have to go through as Google has "a lot* of L5s. I would expect the C-Suite to get the high-touch approach, as they probably screen less than a dozen interviewees for CxO.

Let's ballpark this (simplified). Say there's a 1:3 manager to L5 ratio, and 1:5 director to manager ratio. We'd roughly expect 1 director to be hired for every 15 L5s. If Google hires 1500 L5s a year, then it would hire 100 corresponding directors. If it averages 20 applicants per post, that's about 2000 screens per year. Would that justify getting specialized recruiters? I don't know

Aside: this used to be the kind of "estimate/puzzle" question Google used to ask it's interviews, allegedly
Does AI have a dirty mind? (2019)
The most valuable person in a doctor’s office is the cranky oldtimer that handles the insurance.

I’ve learned to seek this person out (around here, it tends to be mostly women, and usually in their late forties, or so). They can be acerbic and abrupt, but I’ve found that it’s well worth it to treat them respectfully.

These are the “rainmakers.” They know how to make bills disappear by simply recoding a procedure, or will tell you how to approach your insurance company.

They will probably be unhappy at the new law; mostly because it will force them to have to learn a new workflow. I have every confidence that they will learn it, inside and out, in time.
You know, when I started working with computers (many moons ago) and found out about the 2038 problem, I didn't worry about it. After all, that will never affect me, right?

Well, it's 2022 and 2038 doesn't look that far away now. Hopefully I'll be retired by then and won't have to deal with it. But, something tells me that's not going to happen.
Digital goods in games have had artificial scarcity for ages. Look at the Golden Pan in TF2 for instance, which sells for thousands of dollars.
You've never seen it as a checkout option? I mostly agree with you (nothing's been revolutionised) but I've seen plenty of web shop checkouts where I'm just buying something normal/not because they accept crypto (which I didn't know beforehand) and it happens to be an option. I assume the payment provider just converts and gives them whatever currency they want, just as they do for global currencies already if they don't want my Great British Pounds for some reason.
> this concept applies to all languages, regardless of their choices

No it doesn't.

Neither signed nor unsigned integers in WUFFS permit overflow or underflow, at runtime the integers behave the way you were taught in school. Adding two positive numbers together always results in another positive number, because duh. WUFFS catches all the cases this programmer worries about at compile time and insists you fix them.

One of the first examples WUFFS presents you is what if we take this correct code for a well known operation and we tweak it so that it can overflow. The compiler rejects the modified code, pointing out that it could now overflow and so isn't valid WUFFS.

Now, WUFFS is a special purpose language, you can't rewrite your 5MLOC C++ system in WUFFS. But then again, this shouldn't make you feel glad (because C++ is so powerful) but instead sad (because C++ can't offer you this valuable defence against your own stupidity). It should also make you determined to use WUFFS everywhere you possibly could, although doubtless it won't.