skysight-inc/HackerNews huggingface dataset:
Asking people who are treating other groups badly to stop is necessary, whether or not it's divisive.

Telling all of a group that they're treating other groups badly is, I argue, divisive, in two ways. First, it defines the accused group as being a unity which is against the other group, which is also defined as a unity. That's dividing people into those groups.

Second, it's peeling off allies from the other group. People react by thinking "If you're going to lump me in with the oppressors, without knowing a thing about me, then screw you. I'm out. I don't want anything to do with your crusade."

I agree with your second paragraph.
Never build a product on top of a platform. The owners can and will pull the rug under you, and sell a "better" version.

Build on open protocols.
Since water is not a fixed density you can't have an exact conversion unless you specify a lot of other things. For example, a US fluid ounce of water at 212F weighs almost exactly one US ounce ;)
Ditto. The same thing happened to me a few companies back. I lead a data science team of two solving difficult problems that would determine the company's success. However, management was the type to be uncomfortable with ignorance so they had to pretend to know data science and demand tasks be solved a certain way, which for anyone who has any familiar experience has already guessed it: what they were pushing made no sense.

So, I switched from predictive analytics and put on my prescriptive analytics hat. Over the time I was there I created several presentations containing multiple paths forward letting management feel like they were deciding the path forward.

This continued until I was fired. The board didn't like that I wasn't using a neural nets to solve the companies problems. Startups often do not have enough labeled data, so DNNs were not considered. Oddly, I didn't get a warning or a request about this before being let go. I suspect management got tired of me managing upward. In response my coworker quit right then and there and took me out to lunch. ^_^
From one side-hustle to another
Hey hustlers,

I created Open Startup List because I found the open startups culture intriguing. Founders that share openly about their marketing efforts, their failures or success, metrics like income and traffic, is just something that we as hustlers can learn a lot from.

I built the initial version of OSL within a week, and put a lot of effort into marketing, added a blog section and grew rapidly.

3 months after, I sold that project and made profit.

This lead me to writing all of my journey's learning, challenges, small victories, and my key takeaways of each phase along the road, from "ideation" to creation, marketing and eventually to selling it on my own.

I called the E-book Start With A Side-Project [1]. I believe that everyone should try to generate some money from their side-projects and I believe my experiences can put people in the right direction.

It's not a "get rich quick" guide. It's my experiences + some actionable advice based on those experiences.

Happy hustling to everyone, and remember - “Success is the sum of small efforts, repeated day in and day out.” Robert Collier

[1] Start With A Side-Project: gum.co/side-project
I love electric vehicles, but this duty cycle, like ocean-crossing airplanes, is better met by synthetic fuels. (EDIT: unless you plug it into the grid! but if all the farmers did it there's probably not enough capacity)

However, replacing with a fleet of smaller, more generic robots might be there way to go.
Which, to my knowledge, he hasn't addressed or offered any rebuttal.
Looking through the topics, a useful addition would be SVMs.
Because this is not an arbitrary decision made by someone, but a natural, almost unavoidable process.
You can find the book on Gumroad and on Amazon:
1) gum.co/side-project
2) https://www.amazon.com/dp/B08DN58X4X
This is precisely what I need to find for a parent as well. There are feature phones available for the European market (like the HMD Nokia phones) that probably fit the bill, but nothing that works on American frequencies.

Wireless charging is also incredibly useful as an accessibility feature for older people, but manufacturers only seem to have young people working in their product teams.
> but I would contend that the set of situations where rust is absolutely the right choice is non-empty

Maybe I should've highlighted it in my initial comment, because I definitely agree that this list is non-empty for Rust. I was mentioning specifically existing C codebases that are heavily used in production around the world (last time a similar topic was related to QUEMU project).
Issue N18 TUF Magic Pattern – Omatsuri – Limus – Drop Base – Laws of Psychology
Facebook sells ad space, not data. I think you have a misunderstanding about Facebook’s business. They don’t offer any product where you can pay to look at someone’s private data. There is no way to buy a dossier from Facebook, it’s simply not a product they sell. Maybe you’re thinking of background checking companies who actually provide that kind of service? I haven’t seen much protesting against them, and what they do seems pretty invasive!
One that hits me as a caravan owner - I would love to take the drove chain of my main car and just "plug" it into a motor home shell - in fact have the shell be a two parter - a small runabout car and the extra.

the price of a motor home is basically the cost of a car and the cost of a caravan - an electric motors home in this case would be basically half price
Nice work. Seems like it focuses on machine learning stuff that's not deep learning. Maybe you could add a section on collaborative filtering.
A Bundesland is technically a federal state, which is quite a large area in the US, though also large for some states in Germany too. I am mostly familiar with Bavaria, a big state where you can get a "Bayernticket", that lets you travel on any public transit in the entire state for a day, and even gets you to Salzburg in Austria. Seems the pricing has changed and is not quite as good anymore, though still a good deal. It used to be you could get one ticket that would cover up to 5 people for about 25 euro. Unbelievable value.
GPS gets you 99.9% of the way there. Runways are 100+ft wide. 10ft precision is fine.
Startup That Sells Zero-Days to Governments Is Offering $1M for Tor Hacks
Which positions can be remote? All the positions on the website say they are located in Mountain View.
People routinely destroy cities when sports teams win or lose. Get in brawls because someone is wearing the wrong color. The list goes on. Of course it's not the same, but the kernel of otherizing remains.
Quite interestingly, the social aspects of urban sprawl was completely left out when designing post WW2 cities.

When people think about beautiful cities, they would mention Venice or Paris or Rome. All these cities were built for 'foot traffic' which still works perfectly fine nowadays. In those cities, the elderly and children do have an environment to move around by themselves and socialize freely.

When it comes to planning cities for people, it is worth checking out Prof. Jan Gehl: https://youtu.be/9_x5Hor2MP8
Download eBook for Free
#1: React Developer Tools

https://chrome.google.com/webstore/detail/react-developer-to...
You're wrong in thinking that just because a community is a minority they must be subject to persecution there. That's not necessarily true. If that was the case then Muslim population in India wouldn't have gone up from 9% to 14%. Also Hindus are a majority in India but still Hindus of Indian Kashmir were ethnically cleansed.

Also why should the treatment of Hindu minorities in Pakistan and Bangladesh shouldn't be up for discussion? All of these are part of the same historical narrative. Just because Muslims created a separate country and expelled most Hindus from there doesn't mean we should stop talking about it.
All IAP for digital is added a 30% fee in iOS (unless you are a big company that might make a backroom deal like Amazon).
They can be used by the original authors, if the original authors stop intentionally licensing their code so weakly that anyone can make changes that no one else can even see.
Mario Teaches Typing on win 3.11 or DOS (can't recall which). It looked like a Mario game but progress was controlled by typing correctly.
Good luck, I can imagine the cognitive dissonance. Many of their contracts dangle cheap / free hardware with expensive services and hidden over-priced processing in a bundled SAAS. And yet feature wise, it "does it all" except the very things you want it to do. (coursing and hybrid (open tab) ordering, and good guest experiences like apple pay on checkout). So you upgrade into something supposedly better but not actually what you wanted. If you get stuck, DM me (name in profile) and we can help you out with a full solution that actually does all the stuff. We've done >$1B orders so this is easy for us.
In powerful mathematical theories for the foundations of Computer Science the sentence G does not exist.

In fact there is no particular proposition that is known to be inferentially undecidable.

See the following:

https://papers.ssrn.com/abstract=3457802
You're not far off from describing various lisp modes on emacs. Not trying to derail, but just share some existing art in the space.

Take a look at SLIME+swank for Common Lisp, or Geiser for Scheme, or Cider for Clojure.

A common architectural choice is to have a REPL buffer in Emacs, connected over a socket to the language runtime which hosts the REPL. You edit a text file, sending whatever portion of your program you want to the REPL, where it is evaluated in the runtime, with results printed back to the REPL buffer. There are advanced introspection and documentation workflows supported by being connected to a live REPL.

These protocols easily and transparently cross the network, so you have the ability to troubleshoot a production issue on a (hopefully previously-quarantined) production host exhibiting the issue. You can inspect state, recompile functions on the fly and replay the failure all from the comfort of an editor and REPL that you are familiar with from dev-time.
Postmodernism teaches (among many things) that truth is not objective. Rather, the epistemological center in postmodernism IS the self. Each self has its own version of truth, rather than truth being perspective-independent.

In literature, for example, this means that authorial intent is supplanted by perspectivalism. That is, each reader interprets a text based on his or her own perspective, and each interpretation is equally valid. This plays out in the political realm most prominently in the supreme court's interpretation of laws (does it matter what the author meant to say or just what we now interpret them to have said?).

So when I say it's impossible for the humanities to impose strict tests on veracity, what I mean is that a strict test would yield true results that are perspective-independent. This is what the scientific method attempts to accomplish, and the hard sciences use this methodology. The humanities, however, have long ceded that it is impossible to arrive at a perspective-independent conclusion and IMO would therefore reject a similarly rigorous approach.
Do you have a recent example of an error of the form "Expected a value of type 'a, but you gave a value of type 'a"?

I have hoped to have eliminated all of them in 4.08.
What, specifically, are you alleging is a per se antitrust violation?
It definitely is on the part of would-be tyrants, but a popular shift to it is due to perceived failures. There's a really cool quote from the (second book of?) the Three Body Problem, which goes something like "alone in the emptiness of space, fascism becomes everyone's first resort".

Note that I do not think we were doing that badly before Trump and other authoritarians. It's just that a lot of people perceived the world was getting dangerous for them (probably because it became more inclusive, and also because they watch Fox news).
> I won't get tired of repeating the same comment in every topic that suggests Rust to be a great replacement of C in existing projects, that it isn't.

That's not what this is about, so even though you aren't tired of posting this, I'm not sure it's warranted.

This is about the kernel supporting other languages in select places where it makes sense, such as kernel modules, where there's already an API in place to conform to. It's also not limited to Rust, it's about providing support for multiple other languages that could be beneficial in those locations.

> I won't get tired of repeating the same comment in every topic that suggests Rust to be a great replacement of C in existing projects, that it isn't.

Nobody is giving up on existing C interfaces. They are simply making sure those interfaces are not actively hostile to languages that aren't C by nature of how they are implemented in C.

To be clear, the "kmalloc_for_rust" was mentioned as one possible way forward. Another would be a more advanced Rust bindgen tool that can determine how to deal with it automatically. Neither affect ATS, based on your description (although a "kmalloc_for_extern" might generally help any non-C language, which would probably be beneficial).

If ATS doesn't require any changes to C to interoperate with it, this whole announcement should have zero impact on ATS, other than possibly making it easier to get an ATS module in-kernel since they're trying to make it easier in general for non-C modules.

You can treat this as a zero-sum gain, where Rust or Go's gain is ATS' loss, in which case you might as well pack up your bags now, since the writing is on the wall based on publicity, or you can treat it as a rising tide raises all boats type situation, where more general acceptance of alternatives to C is still beneficial to ATS actually being allowed in-kernel, even if it doesn't play exactly to ATS' strengths. I know which one I would put my money behind as being a better strategy in the end.
Interesting. (And, to me, very surprising. I had no idea - I thought leftists embraced "White Fragility".)

Thanks for the links.

I would guess, though, that the author of "White Fragility" at least thinks she's on the left, maybe even the radical left. And I don't think that book helped to reduce the divides we were talking about. (I still don't have any answers for what to actually do. What do you do with people who think they're with you, and who are both theoretically and practically against you? And who label themselves with your group?)
Happened all the time at my old job.

I will never, ever, work on apple software again.
Maybe because the USSR was an artificial construct very few people identified with? Even when it existed, people were calling themselves Russians, Latvian and so on, not really "Soviet."
Can certainly be both.
Two weeks ago I had an update rejected because we decided to remove Login with Facebook from our app. The plugin that provides that support to Cordova is a dependency nightmare and not many people used it anyways so we removed it during a bugfix and dependency update. We got flagged for only supporting Google as a 3rd party login and basically forced to implement Apple ID sign in to release our fixes. Since adding support we've been further held up from releases because we require an existing account for Apple ID sign in to work and they rejected us for not allowing the QA account to sign in, while completely disregarding the use of the QA user account and password that we've always provided for the review process.

tl;dr Because of the broken App Store review process we've just removed 3rd party auth support from our app, which is a shame because it's a really slick sign in experience, but we don't want to deal with bugfix releases being held up in review.
5 Mt is huge, and far bigger than the warheads of most modern nuclear weapons. The one you show is fairly representative of a single modern warhead. Nowadays, and for many decades if you want a large area of effect, you use a MIRV vehicle and pepper the target area. This gives you wide coverage for fewer total megatons and a more compact and flexible weapon system, and hedges your bets in case any of the warheads fails or is intercepted.

In fact big bombs were an early trend for two reasons. One was that the delivery system was expected to be bombers dropping one or a very few bombs with mediocre accuracy and so you wanted maximum destruction from each delivery. The other was that they were worried bombers wouldn't be able to get directly over some targets due to air defences, so you'd drop the bomb short of the target and use the massive area of effect to cover the remaining distance for you.
I think you're right. A bunch of ball parks are now tobacco free so it's no longer the case.

It's funny - when you watch the little league world series, the kids spit too.
Apple should make a two tiered app review process - one which checks if the app meets their guidelines around UI/advertising/etc and one which just checks if it is malware or not. Then in the app store they can downrank anything that doesn't meet their guidelines, keeping the quality apps more visible, without entirely removing apps for dumb things like not having a minimize button.
It's my impression that most of the people who use UUIDv4s for their unguessability, aren't actually using UUIDv4s at all (i.e. aren't using a distinct UUID library or runtime UUID datatype), but rather are pulling 16 bytes from a CSPRNG, and then formatting it manually into a UUIDv4 serialization format and calling it done.

Sometimes, but not often, the developer will remember that UUIDs have a structure, and so will mask out the relevant bits from the CSPRNG output to replace them with the right static tag-bits to define the serialized identifier as a UUIDv4.

But usually, developers aren't expecting the other end of any conversation to actually try to understand the UUID, but merely to hold onto it as an opaque 128-bit-packed or hex-string-encoded binary. Which is a valid expectation in practice! Even DBMSes with a UUID type don't actually validate the tag bits on the UUIDs inserted into such a column. There's no DBMS I know of that has a means to impose a constraint on which version of UUID a UUID-typed column should hold, or a constraint on the domain for a UUIDv1, or any of that.

A UUID might be an ADT with four distinct generation algorithms—but after generation, in practice, they become just opaque uint128 values, that nobody ever unwraps or parses or expects to mean anything, ever again.

Which means that, in practice, there's nothing stopping people from just taking 128 bits of CSPRNG randomness, and calling that a "UUID." And so that's mostly what they do!
Yes, I've seen this comment a number of times now.

ATS is a very interesting language! But there are a wide range of options for formal verification of systems programs, including the techniques used for the formally verified seL4 kernel, ATS, recent Ada work, TLA+, etc. Some of these tools have been very successful for certain projects.

But the more powerful proof systems involve tradeoffs. Frequently, you need to invest significant amounts of developer effort in exchange for very rigorously proven code. I've played with a number of these systems over the years, and they're great. But the costs would be hard to justify for many projects.

Rust occupies a slightly different niche. It focuses on preventing several classes of memory errors and data races. It's certainly harder to learn than Python, but probably easier than some common subsets of C++.

So the right tool for the job depends on what you're trying to do. If you want to formally verify your kernel's security model, or your distributed protocol, Rust would be a poor choice. If you want a language that makes it easy to work within sight of the metal, and that takes pains to make expensive operations visible, Rust can be a reasonable choice.
I'd like to ask a question that I'm curious about and I'm sure some others are too:

What does it take to be a remote UAV pilot in a civilian setting? What kind of training or experience are looked for or are required?

I'm sure there are many armchair pilots and RC enthusiasts who have similar questions.
Racial supremacy leads to the conclusion that fixing America requires the removal of lesser classes. Steve King vocally advocates for the theory of White Genocide, according to which some group is attempting to import racially inferior people in order to dilute and genetically ruin the white race and this country. The only logical conclusion from these beliefs is ethnic cleansing, there is no other. It is fascist.

Moreover, I don't need to speculate; Steve King has voiced support for Viktor Orban, who ran on an ethno-nationalist platform to destroy Hungarian democracy.

If you want to know just how hard this goes into the Republican Party, do some research on QAnon. Go to the website from which this theory came from, 8kun.top . Go to the board /pnd/, and /qresearch/ and tell me what you see. This is where the theories that multiple people in the Republican Party openly subscribe to come from. But of course, their support for the theories of White Genocide, the Confederate imagery (the Confederate state that, by the way, did explicitly merge racial identity with national identity) is more than enough to draw conclusions.

I don't think this is an unreasonable definition of fascism. The Italian fascists weren't even this racist.
I would think a significant section of people who worry about the FBI knocking, that have normal security cameras.
Nobody is talking about revenge. However, what I oppose is victim blaming. I constantly see Hindus getting blamed but without any acknowledgement of the much larger monstrosities Muslims inflicted on them. Why is that discussion missing?
Then how is Amazon's Apple Fee 15% and not 30% like everyone elses? The bigger you are the less "Rule" and more "Guideline" they are.
FBI should be worried about how the police is infiltrated by white supremacists [1] and their tendency to shoot people for no reason, I'd say that's a much higher security risk.

[1] https://www.pbs.org/newshour/nation/fbi-white-supremacists-i...
The first person who seems to benefit from legible semantics in my projects is... me. It helps keep me oriented on where I am in the document and remember what the content is supposed to be. Sometimes this even transfers to months-from-now me or even other people.

I'll grant that markup semantics have limits, and the semantics of selectors can be a greater value here than markup.
> In practice you can't really expect to distribute free or commercial macOS software without paying the $99 anual fee. Even outside the MAS.

I have a small free app (month calendar widget for the notification center) and it's self-signed. No one has had any problems running it — none that I'm aware of, anyway.

> Non tech users don't even understand what Gatekeeper is or how to disable it.

It feels like non-tech users at this point are used to computers acting up and being unreliable and thinking that everything is a virus. Windows users that installed an antivirus have had that same experience since about forever.

> Even in Catalina you need to open the terminal to enable the "everywhere" option and disable gatekeeper.

They've had this going on for a while. On Mojave too. Also it sometimes automatically reverts the setting to "only known developers" and you have to use another `defaults write` command to prevent that from happening in the future. This doesn't help with security, this is just plain annoying.
More and more studios are starting to use Blender. For instance Tangent Animation used it for their movie "Next Gen" that is on Netflix.
No they're not. Have you eaten at Chipotle? No frozen ingredients. Everything is either made fresh there, or sous vide. No deep frying either (except for the taco chips.)