skysight-inc/HackerNews huggingface dataset:
I'd like to point out that men also interrupt men, and women interrupt both men and women. Especially nerds. I'm a bit socially awkward, so I can never tell when it is a good time to start speaking. As a result I interrupt other people quite often. It's not intentional, I just don't know any better. I also don't care one iota what genitals you have.

You should not assume malice on the part of your co-workers. Just because someone interrupted you doesn't mean they don't value your input. In the case when it's obvious that they don't, don't hesitate to push back, but in most cases it's not going to be anything of the sort. It's just someone else being socially awkward while trying to wedge themselves into the conversation.
>Forgive me for know knowing the exact noise levels of a specific motorcycle exhaust

Or, alternatively, don't comment if you know nothing about it.

>Some, but not all. In Wisconsin....

Blah blah, you've made a (poor) assumption about the poster, who you also know nothing about.

That's some straight up Jon Snow shit right right there.
This is my understanding as well. Still bears pointing out. I know that my bike’s exhaust exceeds my state’s decibel rating, but not by an amount that I would worry about. I have ridden by and with others whose exhaust you feel in your chest more than you hear. I imagine if you do get pulled over for that specifically it would not be a fun conversation.
There are still excellent cars without cellular links, like Mazda --still with refined driving and excellent reliability.
I've worked in SF for a few years and not really experienced the "shit sandwich" style of criticism, as I've grown to call it.
School days in the 80s/90s had us writing a lot, with fountain pens. I still own few fountain pens now and I love writing with them at home. My current favorite is Muji's Aluminum Fountain Pen[1] -- a not-so costly but fantastic fountain pen.

I can get used to any of fountain pens pretty quickly, even the worst and the cheapest ones. The advantage of growing up using hand-me downs during school, is that you learn tricks. Here is one, for the bad fountain pens, I slant it to "my angle" of writing and sand it (very gently) against either a very fine stone/rock or go a carpenter's shed and sand it against their finest sandpaper.

I have been trying to teach my daughter to write more, especially with fountain pens but she seems to not like it so much yet. She does like having few around -- perhaps seeing me line up my pens nicely on my table inspires her.

1. https://www.amazon.com/Muji-2724644690738-MUJI-Aluminum-Foun...
Read the article more carefully. I wrote in multiple places that the use of newtypes does provide real safety.

> If you are fond of newtypes, this whole argument may seem a bit troubling. It may seem like I’m implying newtypes are scarcely better than comments, albeit comments that happen to be meaningful to the typechecker. Fortunately, the situation is not quite that grim—newtypes can provide a sort of safety, just a weaker one.

> […]

> This tradeoff may not seem all that bad, and indeed, it is often a very good one! Guaranteeing invariants using constructive data modeling can, in general, be quite difficult, which often makes it impractical.

> […]

> Newtypes are useful when carefully applied

The whole point of the blog post is that newtypes are useful, but only when used in certain ways and in a weaker sense than constructive data modeling.
Of course it's a quiet bike, it's a Honda and they're all very conservative. If that twit knew anything of the subject matter he would know that. But he doesn't, he just made an assumption and posted his drivel.
What version of agile, though?
Side note: Dennis Gabor's "Personal life" section seems to have a strange bit of editorialization.

> On 8 August 1936 he married Marjorie Louise Butler with whom he lived in a harmonious marriage. They did not have any children.

I'm glad they lived in a harmonious marriage, I guess? I am really curious why/how that particular detail managed to make it onto Wikipedia. Random edit? Part of the phrasing in a biography or his will? Someone who knew them personally that wanted to make that clear?
How to Crack Coding Interviews
That's awesome!

Letter writing / penpal'ing is really magical -- specifically for the reasons you noted. Even with friends I speak with (digitally or in person) on a regular basis have plenty to talk about in a letter.

I hadn't purchased a stamp for years. Its remarkable that sending a letter domestically can be done for around a dollar.
Lamy converters and cartridges fit in my Parker 45.

You can also use a syringe to clean and refill disposable cartridges from an ink bottle.
>No need to refer to a third source, you seem to be paraphrasing a quote from the above submission here: "One feature of the Nazi conquest of France was the astonishing defections among the intelligentsia, including some of the left-wing political intelligentsia.

Correct; not all of the Vichy government was actually pro-Germany/pro-Nazi per se.[1]

I'm not sure it was defeatism, per se, for a lot of those involved. I'd describe it as "Welp, the Nazis are obviously the masters of Europe and will probably defeat Britain soon. We fought them and lost. Given that, here is my chance to get insert pet theory here implemented during the formation of a new French society and government". Vichy was basically what life would be like if the Klan, neo-Nazis, the Upper West Side of Manhattan/San Francisco, BLM, antifa, /r/politics, and /r/worldnews all got together to form their own country.

[1] But when they were pro-Nazi they were really pro-Nazi. My "favorite" example of this is that the Vichy government was so enthusiastic about sending French Jews to their deaths in Germany that the occupying German forces had to ask Vichy to slow down! Vichy consistently went above and beyond what Berlin requested it do in terms of anti-Semitic laws.
Was it better.er?

Or bigger.er?

Or faster.er?
Glenn Greenwald's has several times stated that his journalistic philosophy is that journalists should not try to be impartial. They should have bias and be activists. He works accordingly. He attacks his enemies (political and personal), has feuds, always takes sides, refuses to consider opposing views and is black and white.

Like or hate Greenwald, but can't say that he is taking a stand against journalistic bias.
And Tamil have long tradition of resisting Sanskirt influence. With elaborate grammar rules dictating if you must use loan words when, where and how to use them. It is more true for literary setting and never true for day-today speaking. Also, Tamil words also made into Sanskrit, don't know what it means. Languages are basically for interchanging ideas. ¯\_(ツ)_/¯
A state-level actor can get the Signal key either covertly or by simply marching into the Signal offices with either a warrant or (if that fails) guns. Now, whether that will actually happen is a secondary issue -- but I submit that you have a mistaken conception of what a "state-level actor" means in a threat model. The fact that Google Inc doesn't hold the necessary keys but Signal LLC does is not a meaningful distinction to a state-level actor.

That isn't to say "all crypto is hopeless", simply that you shouldn't consider Signal to be state-level actor proof.
If we're having a formal debate on the merits of the axiom of choice and I call you fat, it is an ad hom. If we're having a beer and and I ask you what's up with your weight gain, it is not.
He's being pedantic, it's a "what are the odds of Lou Gehrig contracting Lou Gehrig's disease?" joke, except without a punchline.
I use a Schneider topball 845. It's very consistent, smooth, sharp and without smearing.

It's 0.3 mm though, but a rollerball so it leaves a more saturated and wider writing trail than a ballpoint pen.
If you haven’t swapped mufflers, you probably assume it is more complicated. It takes 10 minutes, 8 of which is finding your tools.
Earlier games were written to the bare metal, so copying the hardware was the hard part. More recent stuff is written to APIs, so you can avoid most of that, but the addition of 3D and more complexity means it’s just difficult in a different way.
Well, how do you produce your document, then?
I wish there was an app that could serve during time of emergency crisis. Based on your city, province, country of location, it could provide you step by step guide of handling next course of action. Right away, it tells user what is their crisis location address which will be required by insurance, and 911. Users can have option to start audio recording in app background to monitor themselves after crisis that they can use as proof later on. Based on crisis location, app can predict nearest locations of recommended service centres, hospital, fire, police stations and emergency contact location. For long term, it could shape up like Waze where people could report where crisis happened, which guideline they followed post crisis, rate them so other readers can read, interact etc. It would be nice if app can ask a series of questions and can dispatch info to your insurance company, CAA towing service etc. For example, all preliminary questions can be asked by app like How many passengers in car, any serious injuries, health related questions, license info etc. Once that is complete, it automatically submits this data to insurance for starting a case and dispatching tow service by recommeded parties like CAA at one touch of fingertip. This same info can be saved as PDF for distributing it to Police at scene. An app in form of educating people in a guided way can put an end to this corrupt business.
3m is low enough to not be priced. They probably have a lot of flexibility and control at this point.
Long live Milkdrop!

Here is a collection of the best 9,795 presets that I curated.
https://thefulldomeblog.com/2020/02/21/nestdrop-presets-coll...
Some great, sane ideas on improving copyright law [1].

The amount of resources the current copyright laws waste is surprisingly high.

"For software, the direct costs every year of defending infringement suits from so-called "nonpracticing entities" – better known as patent trolls – come to more than 10 percent of total annual R&D spending by all U.S. businesses."

[1] https://www.niskanencenter.org/faster_fairer/liberating_the_...
> No, I cannot adequately explain why the hyphen moves. Draw your own conclusions.

The hyphen is there because ZK-SNARKs are a subset of SNARKs. Where a general SNARK may leak some or all of the knowledge as part of the proof, a ZK-SNARK can not leak a single bit.
Package up a gimmick in a decent looking kiosk and pitch the “where won’t this work!?” dream. You’ll capture enough imagination in pitch meetings to raise a few mil. You’ll put together a team and manufacture your first batch, spending all of your first raise in the process. A few big name clients will pop-up and show interest, enough to go back to your investors for a just a bit more money to keep going. Big name clients do some one off deals, everyone is interested but if it could just do X or Y, you’ll chase custom requests and eventually arrive at the crossroads of becoming an event based marketing agency or riding a slowly fading business into the ground as the kiosks age and no new clients sign up after the hype is over.

Whether it’s touch screen mirrors, digital art club screens, cell phone charging kiosks, photo booths, sports training kiosks, screens on water faucets, it’s inevitably the same story arch.

The only ones I’ve seen that make money are those that pivot into high-ticket custom events which then you’re not a scalable startup anymore but an agency, or you barely get your investors bailed out by selling some backend tech you developed for stock in another company.
Does ld_preload work for static binaries?
> What's a better alternative though?

I’m not really suggesting there needs to be an alternative. Using newtypes to achieve safety via encapsulation is fine, good even, and I say as such at several points in the article.[1] The point is twofold:

1. A lot of uses of newtypes in the wild are “safety theater” and provide zero actual safety benefit.

2. The uses of newtypes that do add safety provide it in a weaker sense than correct-by-construction data modeling.

The point is not that newtypes are always useless. In fact they are often by far the most practical tool for the job. The blog post just advocates being conscious and considerate of the limitations of the techniques.

[1]: https://news.ycombinator.com/item?id=24964494
Can you point us to it?
It's not that important what you talk about and what are you doing somewhere for who those systems are used. Just knowing who talk with, and where you're is extremely helpful to law-enforcement to triage from millions of people in the country, to something closer on the order of thousands of people of interest.

Goal of metadata investigation isn't to directly target you, most of the time. It's to put you in the bucket of interesting people, that government will pay attention to.

It's exactly the same as ads on the internet - they maybe classifying you as a person potentially interested in computer security because you're visiting tech crunch. Are all people visiting it interested in computer security? Of course not. But you're many orders of magnitude more likely to be interested in it, than a random person from the internet.
Albumen Print
You do realise that just a few thousand British controlled the entire nation of India for 100s of years, right?

Presenting you some data on how this works:
https://paa2015.princeton.edu/papers/153481

Just consider the Indian judiciary. The vast majority of judges are brahmins when they constitute just 5% of the population of the country.

https://www.buzzfeed.com/ravikiranshinde/one-too-many-mishra...

As for the undertrials and those in prison, the vast majority are from lower castes.
https://www.newsclick.in/how-caste-plays-out-criminal-justic...
Speaking of which, why is there no central database of all articles with metadata? A "journal" would simple consist of the articles tagged by a particular set of people as peer reviewed.
Their DMCA exemption granted by the Copyright Office.

https://archive.org/about/dmca.php
So the actual challenge should be a bit better specced. The flight booking example, but some configurations are invalid and the validation can only be calculated after the form is submitted. How should the error be handled?
Would love a link!
Tokyo is fast becoming the city of the future for startups
> instead of maintaining a running process that holds a reference to a different process, we can simply stop the current process altogether until our effects are finished.

Ooof. That does not seem like an efficient replacement for promises. Blocking the world while you wait for i/o just seems like a recipe for poor performance. Or did I misunderstand this?
> At the same time that the major factors expanding the economic pie were losing momentum, other powerful forces emerged that would push toward dividing the pie more unequally

The framing of the issue influences what conclusions one draws. Here, the authors think of the economy as a "pie" created by "factors" that gets "divided up". What naturally follows is that if some get a bigger "slice" than others, it is inherently unfair.

But a free market economy is not a pie. It's a collection of people that create wealth. Some create more wealth than others. Bob creating more wealth than Fred does not mean that Bob took it from Fred. There's nothing unfair about Bob creating more than Fred.
Yep, I tend to use the .5 more because I write on smaller notepads, but I also keep a few .7s around (of the pentel energel). I also really like the pilot g-2 .7, and will randomly switch.
I agree with the general sentiment, but Trump is a very poor yardstick for conservative political beliefs. Out of Reagan, both Bushes, McCain, Romney, and Trump, Trump is the clear outlier.
Look, I never said Stalin did nothing wrong. He did a shitload of things wrong. I mentioned one thing he did right. Everything else in your post is added by you, due to your own preconceptions. I'm not here to write a journal article about the industrialization of the Soviet Union. You're imposing that responsibility on me yourself, and that's just not realistic for a forum like HN.

That's what I call intellectually lazy, and why this thread is a great example of exactly what I was talking about in the initial comment.
I like umoci for image manipulation.

https://github.com/opencontainers/umoci
Wikipedia has a nice page about foreign involvement: https://news.ycombinator.com/reply?id=24961571&goto=item%3Fi...

A lot of US companies supported the fascists: Some American businesses supported Franco. The automakers Ford, Studebaker and General Motors sold a total of 12,000 trucks to the Nationalists. The American-owned Vacuum Oil Company in Tangier refused to sell to Republican ships and at the outbreak of the war. The Texas Oil Company rerouted oil tankers headed for the Republic to the Nationalist-controlled port of Tenerife and illegally supplied gasoline on credit to Franco.[70] Despite being fined $20,000, the company continued its credit arrangement until the war ended. The Nationalist spent almost $1 million a month on tires, cars and machine tools from American companies between 1937 and 1938.[71] After the war had ended, José María Doussinague, an undersecretary at the Spanish Foreign Ministry, stated that "without American petroleum and American trucks, and American credit, we could never have won the Civil War
Definitely agree the best approach is doing modelling that results in trustworthy / usable coverage checking. ESP since for constrained ranges of values where new type won’t play great with supporting pattern matching without some fancy pattern synonyms.

I have seen folks write code that’s like

type Name = String

rather than use a new type, and I think really new type is about having enforced abstraction over the representation of a datatype, to prevent silent corruptions from transparently equivalent representations that have different meanings.

I guess I think it’s good to try to split this sort of opinion piece into a part that’s a forward looking tech challenge along side an exposition that hopefully has clear methodological guidance for today
Do you mean that you prefer the lifecycle hooks like componentDidMount etc.? If so I'd be very curious to hear more about why
https://stackoverflow.com/questions/60450102/why-does-ld-pre...

> No, it doesn't. A static binary has no need to resolve any symbol dynamically, and therefore the dynamic loader is not invoked to resolve the usual library function symbols.
Seems like exactly the kind of thing compatibility mode should have worked for though.
It seem this setup get close to the Jetson Nano 2Gb price range ($59), which from my experience is order of magnitude faster than rpi 4 for computer vision/video processing tasks. Is there any advantage of using Motion over nvidia-deepstream?
Sound familiar?

Nothing new under the sun.

"The only propaganda line open to the Nazis and Fascists was to represent themselves as Christian patriots saving Spain from a Russian dictatorship. This involved pretending that life in Government Spain was just one long massacre (vide the Catholic Herald or the Daily Mail – but these were child’s play compared with the continental Fascist press), and it involved immensely exaggerating the scale of Russian intervention. Out of the huge pyramid of lies which the Catholic and reactionary press all over the world built up, let me take just one point – the presence in Spain of a Russian army. Devout Franco partisans all believed in this; estimates of its strength went as high as half a million. Now, there was no Russian army in Spain. "
.....
"Well, their testimony made no impression at all upon the Franco propagandists, not one of whom had set foot in Government Spain. Simultaneously these people refused utterly to admit the fact of German or Italian intervention, at the same time as the Germany and Italian press were openly boasting about the exploits of their ‘legionaries’. I have chosen to mention only one point, but in fact the whole of Fascist propaganda about the war was on this level.

This kind of thing is frightening to me, because it often gives me the feeling that the very concept of objective truth is fading out of the world. "
Further reading, featuring the vocabulary words "Apps Hungarian" and "Systems Hungarian", and opening with a lovely anecdote about baking: https://www.joelonsoftware.com/2005/05/11/making-wrong-code-...
> Nobody has ever implied that there is any intention behind most of this type of sexist behavior

Sexism is when men get together in a boardroom for a secret, fortnightly meeting where they smoke cigars and conspire to underpay women and leave the toilet seat up. Since you're trans, you should have been invited either before or after your transition... but maybe your local chapter's patriarch was just old-fashioned. Sorry about that. Anyway, since women don't know about this, they often use the word "sexism" to refer to subtle behaviors of men that make it harder for women to get a leg up in society, but that's incorrect. Something is only officially "sexist" if it's received a 2/3 majority vote of the brothers in a chapter and been consecrated over beer and football. So when you say something is sexist when it hasn't gone through the proper channels, it's no surprise when men get confused or defensive.

Also, you're getting downvoted because the Hacker News Guidelines require that you "eschew flamebait," such as mentioning how your views were shaped as member of a minority group whose rights are considered a matter of opinion.
You say that, on its own, a newtype is nothing more than a name and that names are not type safety, but then you give the example of using newtypes to prevent someone from adding a distance and a duration. I think it's a false distinction to say that the safety there is some kind of safety that isn't type safety.
In my case, a non-native-looking UI subconsciously tells me the application is likely to be Electron garbage, that it may not behave as per the platform's conventions (beyond the looks - things like keyboard shortcuts, etc) and that overall corners are likely to have been cut.
I wonder why this doesn't ship on many mainstream distros.
There's a lot to be gained by isolating the place where the validation needs to be done, and the source of the bugs could be to one place though. Would you rather have one bit of code that checks 1<=X<=5, or 100 call sites all doing the same thing slightly differently?
I couldn't find the reason but Android development was discontinued a few months ago. It might be problems that the parent wine project is having on newer Android OS. I believe the stuff related to it was removed about 10 days ago [0], but not before one last bit of code related to building for android was added. [1]

[0] https://github.com/AndreRH/hangover/commit/73a88ff807e308862...

[1] https://github.com/AndreRH/hangover/commit/c61a3a58be78e2717...
I still use Winamp on my Windows machine with the Drone skin. It looks tiny in docked mode in UHD, but I know all the keybaord shortcuts and I'm not on Windows much anyway.