skysight-inc/HackerNews huggingface dataset:
> Colloquially we all associate genocide with killings, the oxford definition captures this fact.

No, we don't, and the Merriam-Webster definition [0] captures this fact: “the deliberate and systematic destruction of a racial, political, or cultural group”.

As does the Britannica [1] definition: “the deliberate and systematic destruction of a group of people because of their ethnicity, nationality, religion, or race.”

While killing the individual members of a group is a common mechanism of genocide, the killing the “-cide” in the term refers to is the killing or destruction of the group as a group, not the killing of the individuals who constitute the group.

[0] https://www.merriam-webster.com/dictionary/genocide

[1] https://www.britannica.com/topic/genocide
takes a good bit but yeahh.
The mistake here is messing with the legal system itself. Lots of scams and schemes can fly under the radar, but as soon as you start committing fraud against the court, you're done.

Just ask the con artists at Prenda Law how lying to federal judges went:

https://en.wikipedia.org/wiki/Prenda_Law

https://www.popehat.com/tag/prenda-law/
The character set used looks to be specifically authorized by law[1] so this doesn't appear to be unauthorized testing.

1. https://news.ycombinator.com/item?id=24921261
An old $100 PC with an RTX 2060 6GB would be a lot faster than a Jetson NX and only about $400 total.
Sony offer solutions and experience. They have lots of experience doing that. I am sure changing the technology behind their solution will not be a problem as users don't see it at all.
Reddit announces permanent wfh, eliminates cost-of-living pay compensation
Except the 3090 doesn't get the Titan driver, so the 3090 is still artificially slow at a variety of productivity workloads (see Linus Tech Tips review where they checked a few of these).

Aka, it's a more expensive 2080 Ti, not a cheaper RTX Titan.
You were not wrong https://www.reddit.com/r/madlads/comments/jjtrto/woman_alleg...
SoftBank chief’s emails detailed in WeWork legal battle: ‘Use any excuse’
I really, really like the business I work for and when I was offered a chance to manage the dev team (was a team lead/senior developer - been a dev for 20+ years) I took it. I have written enough code. I wanted to be in a position to get projects done for the business. To facilitate the work, to help guide it, to be a manager that programmers could work with. And so far, so good. I am way more stressed out than ever but this is my own making, and I am learning to live with what is ultimately a different kind of stress than you experience as a dev.

I really like the comment about "would you do it for the same money". If the answer is no, you are probably better off not doing it.
The issue is that AMD doesn't support ROCm on it's newer consumer GPUs.
It also doesn't want to release a ROCm compatible driver for Windows, and you can't run ROCm in WSL/WSL2.

Direct ML is still in its infancy and is quite slow right now, AMD really needs to step up their game if they want to compete.
Great questions that must be asked, but it sounds like having huge amounts of excess carbon in the oceans might have a much greater impact than stealing a percentage of wave energy. I do wonder if there is a percentage we can take without significant impact. Small numbers can add up and having another option for coastal cities can have a huge positive impact.
Universal Relation Data Modelling Considered Harmful
You do not have to use Android Studio. Use it with Visual Studio code or your FOSS variant of it with the Flutter plugin. That works really well.

> Also dart is a real PITA coming from typescripts which is basically c#.

That's surprising to me. Coming from Ruby Dart was great. Not better, but when you are expecting a tuned up javascript Dart was such a nice surprise. I'd have expected it'd be the same for someone coming from C#. You worked with a current version and gave it a fair shot?

I'm in the Flutter is great camp. The UI you produce with it work great, and the whole process is great. Very powerful and at the same time manageable, a smart small concept at its core, with much around it that makes it powerful. Combine it with GetX and the code you get can also be really nice.

But for Linux? No way, not until they have got a proper beta that is not tied to snap. But maybe Sony is working on that and showing it here? Or I'm just not aware that this is not a real requirement, despite the website making it sound that way?
That's very interesting. Does it mean that any Fediverse account can interact with any Mobilizon instance ? Or is the Mobilizon-space split from the Fediverse-space
this isn't quite right - if you use zero carbon sources (e.g. solar) to power carbon removal the operation would be net carbon negative.

"but why wouldn't you just use that solar capacity to displace coal plants on the electricity grid??????"

there's already a rapid switch of installed electrical capacity from fossil fuels to solar/wind, but electricity typically accounts for 20% of a developed economy's emissions, so after that we need to look to decarbonise other parts of the economy.

removing carbon from the wider economy involves some low hanging fruits (e.g. better insulation in houses) followed by a succession of increasingly difficult and expensive removal processes, with a very long tail.

at the far end you have things like removing carbon emissions from long haul flights, which is extremely difficult - once it gets this hard, it's much more practical to use solar to power carbon removal.

we can't wait for emissions to go to zero before investing in carbon capture because we'd be waiting decades for battery energy density to increase by orders of magnitude before they are good enough to support long haul flights. We don't have that long
Rewritten and add compositor functionality.
Takes time and money. NVIDIA has been tossing money and PhDs at this for over a decade
The QuickJS code base is a joy to read.
That sucks. Though skin, the tissue, is the biggest cancer risk in most humans anyway. so with most cancer and longevity reseach being focused on that there might be improvement and treatments on the way somewhere in the future.
I'm not sure it is really though is it?

It's legitimate in the same way that '451: we want to load up our site with so much javascript your computer catches fire and burns your house down, but that's illegal in your jurisdiction so this site is Unavailable for Legal Reasons' is.

To me 451 is like 404 (nothing here) and 410 (was something here but now there isn't) - it's a further progression/specificity to 'was/sort of is something here but it's not presently available for legal reasons'.

Common obvious one is DMCA takedown notices, but it might also be an injunction, or even accidentally published while still under embargo - or deliberately to prime SEO (not advice) - or NDA, etc.
Covid measures will be seen as 'monument of collective hysteria and folly'
The Nature Conservancy has a carbon offset program that I use. They're credible. The money goes towards purchasing and managing land for forests and net carbon removal. It's surprisingly cheap.

They seem to have changed their site, though, and I can no longer find the page that allowed a direct carbon offset donation.

Also, here in Oregon, you can pay the electric company a small fee (for me, about $11-12 a month) to guarantee that your electricity use is 100% offset by carbon-neutral generation (wind, solar, hydro, nuclear).

Also in Oregon, you can pay the natural gas company a fee (for me, $5.50 per month) to offset your natural gas usage with "bio digesters." I'm more skeptical about their efficacy.
What is the advantage of this over the more popular embedded solution which is AFAICT Qt? It was quickly glossed over in the slides without any explanation.

I guess one is Dart is a safer language than C++.
huh. i'm surprised at this because it's very very easy to contact amazon customer service either via chat or phone. i don't know the specifics of it because whenever i need to do so it takes me approx 2-3 clicks through a very obvious path.
I work on the Dart team.

> 1. Dart is garbage-collected;

Yup. Most languages used for UI programming these days are. JS and C# are probably the biggest two. UI programming is at a really interesting intersection between two difficult constraints:

* Much of the work is subjective, exploratory, and frequently-changing. It's hard to evaluate whether a UI looks and feels right until you code it up and try it. When you do, you often realize you need to change things. Also, product people really like to "refresh" application UIs frequently so there's a ton of churn. All of this means that developer productivity is absolutely paramount. You need to be able to make small iterative changes quickly to evaluate them, and you need to be able to do sweeping re-writes efficiently. That means you want a high-level language and GC is a big part of that.

* At the same time, the program is real-time interactive software running on user hardware that you don't control. So just like games, execution performance and latency is critical. A slow language implementation can degrade the application's appeal in ways that materially affect its success.

Balancing those is hard. Fortunately, people have been hacking on GCs for decades and have gotten really good at them. The Dart VM's garbage collector has been designed from day one for soft-realtime interactive performance. It's generational with a very fast nursery allocator and collector, doesn't stop the world, and (I believe) can do a full collection in the background.

Also, the language itself was somewhat designed to be GC friendly. Unlike dynamically typed languages like JS, object shape doesn't change at runtime so an instance is only ever a single allocation.

> 2. Dart has optional typing, which is to say it supports type hints but is essentially dynamically rather than statically typed.

As my colleague mraleph said, this hasn't been true for a couple of years, though it tends to take a long time for knowledge about this to percolate through the world. Dart is now a typical statically-typed language very similar to C# and Scala.

> But GC isn't just about overhead (although that is a concern). It's about predictability of performance. It's about tuning the VM and the characteristics of STW GC pauses (if any).

Exactly right. The Dart VM was always intended for client-side applications, so it's designed around low latency performance.
Why would a credit be going away?
But by staff who has worked on Plan 9, right?
Are all billionaires Geniuses then?

If it turns out in the end to just have been about transferring money from investors to Kalanick and employees, I’ll grant that it’s a clever scheme.
Look for the book "The Singularity and Socialism: Marx, Mises, Complexity Theory, Techno-Optimism and the Way to the Age of Abundance" by C. James Townsend.

It doesn't answer the thread title, but tries to tackle your following question.

The idea is that, yes, as marginal costs go down (the Singularity being it reaching zero), wealth tends to go to wealth creators instead of capitalists.

It's a bit of fantasy but so is Marxism anyway. I was intrigued by the author's argument that Marx's ideals (not Marxism) and free markets could converge.
We batch up traces in a block and write a block at a time. Internally we are currently configured to write 100k traces in one batch.
It's almost like Sec. 230 is actually a good statute that may need to be tweaked, but not fundamentally changed or repealed.
Maybe it’s not a big deal, unless you value honesty above all else.
I am not always honest, especially when it’s obvious to me that the other party will only use my goodwill to their advantage.
In the case of the parent, I can imagine many scenarios where it is difficult or untimely to get supervisor approval, but failure or delay in doing so results in the employee catching all the heat for it.
> If it was true that any carbon capture method that uses energy will emit more carbon that it captures

The only way this works is if it's using excess energy that wasn't produced by processes that emit carbon to start with. Run it on nuclear, solar, etc. and it can work. However, the grid is still awash with coal power! There's no way any machine is going to capture more carbon per KW consumed energy than the coal to produce that many KW emitted to start with.

So, does it makes sense to deploy this in areas with a ton of green energy available on the grid? Maybe... but those areas have lower PPM carbon in the air, so it's not the right place to run the machine anyway.

Perhaps instead of all this wasted effort and engineering time, we could just replace the damned coal plants and stop emitting carbon itself.
Thanks for the update. I can certainly manage user sign-up from the admin tab for the time being. Once it's hooked into email, I believe that will make things maintainable again for me.

From a UX standpoint it's still sub-par. Someone who wants to report an issue doesn't want to wait an arbitrary amount of time to be allowed to report an issue. They are ready to report it at that moment.

And as an admin, I don't want to have to approve new users on a schedule to ensure the delay is low enough that they are still willing to submit the issue after I approve them. I'd much prefer they go ahead and submit the content, especially so that I can use it in my review of whether to approve the sign up or not.

I seem to remember some pattern in Gitlab where my login period timed out before I finished making a comment. When I logged back in, Gitlab had somehow saved my comment content so that I could then post it so that others could see it. Is there any way to use that pattern for users who haven't been approved yet? So that they can post content, but with a warning shown to them that other users won't see it until the sign-up is approved.
>The brain is for thinking, not for remembering.

I mean, millions of years of evolution would disagree. Seems pretty shortsighted to declare memory useless.
Have you tried other cars in the same driving conditions? There is no commercially available vehicle that will navigate around a trash can right now besides a Tesla.
Hi Kovek,

I’ve had this same problem in the past and couldn’t find a good way to reach experts, I tried LinkedIn but conversation tends to fizzle out as people are so busy in their day to day (not to bash anyone, but it’s just how it goes sometimes)

Are you looking for collaborators? Or have a specific topic in mind? I have a group called The Polymath Club (thepolymathclub.com) to collaborate on ideas. The purpose of building the group was to get input from many smart people in cross-discipline fields. We currently have 8 members. Not trying to advertise- I just thought you might find it helpful in the future :)

Hope you’re doing great

-Jane
rotate in 4 dimensions
No it's not, you have limited time and devoting X hours to gain back X/10 hours worth of productivity gain in the future is a bad investment. Don't do something hard for the sake of doing it unless the gains out weigh the cost.

https://xkcd.com/1205/
> The brain is for thinking, not for remembering.

An observation I used to see with more frequency, is that a part of thinking depends on noticing patterns and connections between things. If you don't have any working or long-terms storage, this is impossible. Developing new insights will depend on internalizing at least some amount of information.

The googling to complete some small task (e.g. what was the second parameter's type?) -- I'm not sure I'd really consider that thinking, per se. It is definitely something that contributes to our general cognitive load, and the ubiquity of search surely is a welcome aid, as you suggest; there really are too many unimportant things to keep in our heads.
Measuring Offline Usage
Alternative end game: the browser dies slowly, gradually being replaced by native apps.

We're already seeing this: consumers prefer native apps on their phones for virtually everything: shopping, socialising, reading news.

Surely the future us will laugh at web browsers as some ancient tech that used these weird markup languages to layout content that's monetised with ads into pages that you'd navigate back and forth in order to emulate an application?

New web browser engines are now impossible to implement due to the sheer size of specs. Surely we are nearing the end game?
There are/will be if there already aren't patches which will disable the checks completely. With win10 it's a moving target, but 7 is not anymore so you don't have to worry about MS reverting your changes in an update.
"Wayland is just a protocol, whereas X11 is a protocol and entire system around it."

This statement doesn't make sense to me.
These conversations seem to make more sense if you think of Facebook and Twitter as bars. They're open to the public but there's some rules for entry (e.g. state/federal laws precluding minors and the establishment's policies around dresscode/behavior).

The staff can ask you to leave or remove you when you're acting up and ban you from reentry if they deem it necessary. Other patrons of the establishment and the staff are welcome to listen to you but are not required to - and they certainly don't owe you a seat at their table just because you're inside.

Open mics don't require "both sides" and typically have the same enforcement mechanisms as above. One can expect to get booed off, muted, and potentially expelled from the place if the crowd doesn't like your singing or the content of your lyrics.

While I very strongly support viewing internet access as a utility - Facebook and Twitter (and similar) aren't essential (much like bars) and might be better off treated as vices to begin with.

These arguments should be focused on how to build protocols that everyone can use for communications instead of platforms. I think that the concepts, expectations, and regulations of the post office and post roads should be extended into the digital world. Of course you'll need to deal with the political vulnerability that was recently exposed when bad actors are put in charge of crucial communications mediums such as the post office.

Section 230 is a remarkably clear and short law which is surprising considering how recently it's been written and the protection it provides but it is probably because it is mostly stating that which is self-evident. Even opening the door to moderate reform of Section 230 is ceding ground to censors and "speech-forcers".
You don't even need a warrant for that. SARs are a thing. It could potentially even be considered business records, which are just subject to a subpoena, not a warrant. The police have been able to request phone records since forever.

https://en.wikipedia.org/wiki/Third-party_doctrine
Those arguments are inapplicable here. They’re arguing against XHTML’s particular form of strictness and its failure mode, when compared with HTML, given that both are available to you the web developer; they are not arguing against strictness itself. (Also: if browsers had always rejected invalid documents, rather than having the HTML/XHTML split where one was liberal and one strict, I think we’d have had fewer problems, especially around injection bugs, and people would have been more careful about how they wrote their documents; but that’s fairly subjective.)

If you can choose whether your platform supports strict or forgiving behaviour, security interests will side with strict every time.

And indeed, HTML is no longer loose but rather strict in this protocol sense that we’re talking about, as it defines how all inputs should be parsed, leaving no scope for being liberal in what you accept. (It may surprise people, but among specs of at least moderate complexity, HTML is by far the strictest out there that I know of. I wish more specs were as strict. Actually, JavaScript is probably fairly close.)

Also from the links of dissenting opinions at the start of the dive into mark link, https://web.archive.org/web/20060616150034/http://bitworking... has a good discussion of just where Postel’s law may seem most reasonable to be applicable and inapplicable, with its two-axis (text–binary, data–language) diagram. It’s worth reading and contemplating.
I stalked the author's linkedin and notice he has competitive programming experience:
https://www.topcoder.com/members/kmod/details/?track=DATA_SC...
(and top 15 putnam, ICPC world finals, etc)

I wonder if he would be interested in optimizing for purely algorithmic tasks?

There are a lot active and successful CPython and PyPy users on https://atcoder.jp/. For example:

https://atcoder.jp/contests/practice2/submissions?f.Task=&f.... (the user "maspy" is rated at 2750 using only cpython!!!)

https://atcoder.jp/contests/practice2/submissions?f.Task=&f.... (though pypy is more practical)

I am linking to atcoder because their testing data is public so you can rerun contestants solutions using both pyston/cpython/pypy for benchmarking purposes: https://www.dropbox.com/sh/arnpe0ef5wds8cv/AAAk_SECQ2Nc6SVGi...

Right now, other than a handful of people who figured out how to make numba's jit work, only pypy is viable for competitive programming. I wonder if you can do better than pypy?

There are also a few red coders on codeforces.com who mostly use pypy (cpython is completely unviable there because numpy and numba is not installed)

https://codeforces.com/submissions/pajenegod

https://codeforces.com/submissions/conqueror_of_tourist

But codeforces' test cases aren't public anyway so it's not as relevant.
Also in case it isn’t clear, I would absolutely love to have you on our next meeting, curious on what you’re working on, haha
Sure, but who to blame? There's no such thing as "Python Language Specification", and everyone is trying hard to be CPython-compatible (but ~impossible as your implementation need to be compatible with various C-written module).

Should there be a "language spec", competing implementation would make the language stronger not weaker. Examples include gccgo, various Java vm, C++ compilers.
Embedded devices which have a UI are by now normally so fast that garbage-collection doesn't matter at all. Similar you tend to not need to turn the GC at all for writing UI applications like that, the defaults are just good enough. Lastly while dart can be dynamically typed (EDIT: it's opt-in dynamic typing instead of opt-in static typing) it's typed statically "good enough". I love static typing (e.g. rust, scala) but in difference to type script I haven't run into any major gotchas when using dart. It feels very Java-ish just without the bad parts of java tbh.
> In most cases you may execute such programs & games under Linux via WINE (+ Mono, PlayOnLinux, Winetricks; if needed).

I do this for most games I want to play (and many are available natively on Linux these days!) but there are a few games with intrusive DRM that stop you from playing them on Linux.

I have an older laptop lying around running Windows that I use for those if they’re not too demanding. Otherwise I’ll buy them on a console, though I tend to only buy consoles after they’ve been out for several years these days.
This is a bit of a term of art. "They" don't "listen" to your calls. A computer does.
I disagree with your first conclusion. It depends on how you view Twitter. If you view Twitter as a service provider, then net neutrality rules should be applied to them as well. But if you view them as a platform, they're distinct and ought to have greater control. Like a forum, should net neutrality proponents argue against moderators like dang here on HN to be consistent? That's absurd.

But Ted Cruz (and others) are trying to argue that Twitter should be considered closer to a service provider (and thus remain "neutral", whatever that means here) than a platform/publisher (which can control its content more). But Ted Cruz also argues that net neutrality proponents are "snowflakes" and net neutrality is wrong. It would be funnier if the consequences weren't so potentially severe.
Common Knowledge of Feelings