skysight-inc/HackerNews huggingface dataset:
It's a nice accomplishment, but even the article footnotes note that getting the definitions right for the paper was as important as verifying the actual proofs. And a proof assistant cannot fully verify your definitions, so these checks are still largely left to human scrutiny.
My dislike of frontend work mostly stems from the fact that, at least when I started, there were no generally accepted best practices. I started out with Backbone.js, and it wanted to be “unopinionated” in things like directory layout and the best methods refreshing data. Every tutorial I read did something different. Compare this to a more mature framework like Rails or Django, and you can see how one might easily waste time on some of the basics.

A few years ago, I built a small project using Nunjucks templates that needed translations. There were a half-dozen different ways of extracting translations, and most of them required some form of manual work. Coming from Django, with a single best way of handling translations, this was annoying.

I prefer “batteries-included” frameworks that let me focus less on foundations and more on the actual business. Angular was the only framework I used that resonated with me in this fashion.

Now I use React, and spend most of my time debugging tests.
Nah. 99/100 people will say the 90's decade is 1990-1999
With some "seed money" I'm sure you could get a lot of it in India or China. The people who work in those factories are the same people who put lead paint on children's toys to save a few dollars. Its precursor literally does grow on wheat plants but I digress.
I urge you to look into Krystle's story more. She's an absolutely vile person who participated in the torture and attempted murder of her boyfriend, Brandon Green.

https://thislandpress.com/2013/07/28/subterranean-psychonaut...
For Bloom filters specifically I preferred last year's "On Occupancy Moments and Bloom Filter Efficiency". You wouldn't guess from the title or abstract, but it's fairly comprehensive, including proofs of the expected false positive rates.

https://arxiv.org/abs/1908.04810
Please read this, Krystle is an evil person https://thislandpress.com/2013/07/28/subterranean-psychonaut...
I found that we were not affected by it at all, apart from occasionally out of nowhere just needing to take a really deep breath every now and then. This would be at really odd moments where I was not really exerting myself - e.g. sitting at the dinner table. We still drunk the cocotea etc though for the "authentic" experience! For what it was worth, we were not especially fit and a bit overweight at the time.

We spent a few days in Cuzco taking it easy to acclimatise. We were more worried about getting sick from taking showers or drinking local water than the altitude. There is some cool blockwork to see in Cuzco too (although it is quite a steep walk up to the citadel)
Difficulty is relative. Laundering Sigma Aldrich purchases at scale is challenging but not out of the realm for the level of resources + expertise needed for an LSD manufacturer.

It's not "backyard meth lab ordering 40ft container of pseudoephedrine" levels of ridiculous.
Independently Poor: A Twist on FU Money – a.k.a. “FU, Money”
It's impossible to be an expert in everything, but it's very doable to be competent in many areas. I just don't see the problem in being quite decent,for example, at Vue.js and Kafka and Postgres. Let's say you have been working with Postgres during the last year: you are very competent at it. Now, for reasons, you need to work on the client side app of your company: you don't know Vue.js, but you go and read the documentation (as any competent dev would do). You spent months learning and working on a SPA, and you spent less time with Postgres. Done. Now you're competent at Vue.js (it doesn't take years to get competent with Vue.js, but certainly it takes years to become an expert).
You go back to work on your daily tasks with postgres. And now... You have to deal with Kafka. Rinse and repeat. Perhaps then later in 2 years you have to work again in the front end, but this time with React: easy, you already know Vue.js., so knowledge is transferred.
Political speech, specifically. See above.
"But certainly I would expect accounts would accumulate warning flags and at some point be banned."
When I was arrested and searched the police didn’t even find the 200 tabs I had on me.

They found everything else, but LSD is incredibly easy to hide from regular law enforcement.

They found everything else, but in typical stupid-police fashion, they ballsed that up too and ended up entering a nolle prosequi (do not prosecute) at the district court level.

The police prosecutor was sufficiently annoyed, and I was sufficiently elated and thankful for the woman who went before me (case unrelated) and set a strong precedent.

Any chance I get to gloat.

Edit to add: this happened in Australia in 2012. Not keen to repeat the experience.
I take this to mean that you can actually go visit the site shown in the photo? The only pictures I recall ever seeing of Machu Picchu have been the ones overlooking it from far away (like in the article). For some reason I thought normal people couldn't get much closer than that.
less space than a nomad
I don't know enough about bloom filters or the math involved to say whether or not you are correct.

But what you're saying sounds a lot like many proponents of various flavors of NoSQL, Eventual Consistency, etc. I.e., it sounds like you are saying that lots of people have been using it for a long time, and it's just good enough. The actual correctness isn't really that big a deal.

I might be crossing domain boundaries here and thinking up stuff that really doesn't matter. I mean, bloom filters have a known challenge. No one was ever supposed to use them except for statistical purposes anyway, and with a known error rate, it's fine to add into your models.

But there's also something that feels a little weird about your point. It sounds like you're saying it's good enough for X, Y, and Z use cases; therefore it doesn't really matter how technically wrong it is.

But again, I could be really off.
> I once lambasted a "tech-team" of a really well known India company for not even knowing how to push codes to git. I patiently explained to the team on how to work collaboratively and to push codes

I had to document and then teach over multiple sessions a small team from Infosys how to use Git. 3 weeks, and they all said they understood. Months later nobody could still check code out let alone commit. Then again, I’m not sure I’d be happy with them committing - a lot of their code was actual copy and paste from multiple Stack Overflow questions and answers unmodified into the same file!

I didn’t mind that they were being paid double what I was on, but I was mightily angry with the quality of their non-work :(
If you are referring to the dictionary definition of the word, then let me refer you to my experience learning different languages. The dictionary never fully captures the nuances of a word. I've had to get detailed explanations of different words where they all have the same definition, but are all used in different contexts. So technically deception means telling an untruth, if you limit yourself to dictionary definitions. But we live in a world where the nuances make or break kingdoms, and nobody reads text with only the dictionary definitions in mind.

Of course, based on your exposure to various literature, you might have a different feel for what the nuances of the word deception are, and maybe it matches exactly with the dictionary definition. But based on my experience, deception is a heavily negative word with malicious intent behind it.
I'm going to be a bit contentious here but

> you're being told how something should look by a designer, [...] Being ordered around by a gasp artistic person

Neither are very relevant. UI interface design is about supporting workflow. Visual appearance is not unimportant but it's shallow.

> about having real, non technical people interact with your code

yeah, that's how you do it! Assuming your company actually does UI testing at all.
I found it relevant.
Using Firefox is an act of activism for a better internet.
gloating about being right is no better.

both cause disagreement and disunity in the team.

a well working will allow for mistakes and learn from them:

so one person sees a problem, but everyone else disagrees. the team acknowledges the disagreement but goes ahead anyways. when the problem becomes real, the team decides together how to deal with it.

let this happen a few times, and the team will learn to pay more attention to those kind of signals.

at no point anyone is being being ridiculed for being wrong, noone gets defensive and noone gloats about having been right.

sometimes it is useful to go the wrong way to convince yourself that it is wrong.
because the team is always united they are much faster to change course when needed. they don't waste time arguing.
> Bitwise hacks

There's nothing hacky about this — it's a very simple procedure.

> the interviewer is definitely not going to get it,

I sure hope any interviewer for a software engineering position would get it. But this has nothing to do with interviews.
I never have sugar in my drinks at starbucks. You can customize everything
History might have something else to say, in that, a lot of art is valuable only because it was by 'so and so'. To the extent he was the popular originator of a style ... he 'owns it', so, they're all Bob Rosses now.

Also, if you use the word 'divertissement' while speaking or writing English and are not a native French speaker - you owe everyone who hears or reads it a beer.
I agree that they are not the same. But I don't really understand why it is different in a way that changes its moral character. Steve Sailer can read psychiatry journals if he wants to. As long as the stories are well anonymized, I don't really see much difference.
The % breakdown table was for candidates, I'm presuming that a decent fraction of the candidates might not have been "experienced candidates" but could have been entry level.

Also, the weakest candidates are generally going to apply to the most job openings, so they may be counted multiple times here.
http://freeleonardpickard.org/Skinner-Timeline.html
Nice seamless implementation. What stack did you use?
X-Ray Diffraction in Biology: How Can We See DNA and Proteins in 3 Dimensions?
I wonder why one would chose a phone with Ubuntu Touch over some non-linux phone.

With Ubuntu Touch, you can not install anything on the phone. It has a read-only root filesystem that gets updated over the air.

So just like with the locked down phones (iOS, Android), to gain control over the filesystem, you would have to root it. But then your changes would get wiped with the next update.

This seems just as far from a "Linux Phone" as Android to me.

I am looking forward to one day having a phone that runs Linux. But then I want the same freedom I have on my laptop. To install whatever I want from the Debian repos via apt-get and update via apt-update / apt-upgrade.
I have the same experience and I was there twice... Didnt get less epic. I recommend Peru, Equator and Bolivia to everyone I meet... I also recommend Iguazu, it is not human made but not less epic than M.P.
I don't think it's a skills thing, it's a time thing.

Personally, I work as the architect/leadership level, but I'm still pretty handy at DevOps, SRE, RE, Back end, and have even delivered a few front-end projects in my time (mid 30s).

I'm not claiming to be the best, but I'm good enough that I mentor engineers that are senior and costing >$250,000, and I did not gain these skills simply from being a generalist.

What I simply cannot do is keep up with 10s of engineers changing a code base when I spend a lot of the day in meetings. My choice is to be the bottleneck the project and cause discontent, or let the team roll with it and pick up the pieces that fall through the cracks.

Does this means that I could never again be an IC which specialises in any part at a reasonable enough level? I doubt it. But pragmatically, there are few people who see the bigger picture who have enough technical chops to get disparate specialists working together, so rather than be the 10x engineer, I try to focus on amplification and making my team a 10x team.
Stables and Volatiles (2012)
Just to clarify, Bose et al.'s paper was incorrect due to an incorrect definition of Stirling numbers of the second kind (some of their expressions used the wrong exponents). In our certified work, in light of this error, we ended up deriving the expression for Stirling numbers of the second kind from first principles[1], eliding it as a source of errors. As such, the main definition that needs to be human-verified in our work is the actual implementation of the Bloomfilter[2], which is fairly simple and easy to check as being correct.

[1] https://github.com/certichain/ceramist/blob/fd5e522f2c381f7d...

[2] https://github.com/certichain/ceramist/blob/fd5e522f2c381f7d...
> My point is that your conception of individually-oriented social utility is based on hierarchical forms of epistemology that the people you cite themselves did not embrace. It’s a projection of Capitalist logic and forms of valuation that has little to do with how these networks work or form new knowledge.

Are you rejecting the concept of variation in aggregate utility? I don't think that you need any sort of capitalist epistemology, or hierarchical vision of society to explain the presence of utility variance.

> Identifying individual variations in social utility is less important than furthering the network’s growth and ability to produce further improvements, in aggregate. This is why most serious researchers don’t work in industry and why the business world is dominated by inanity and con men.

Identifying individual variations in utility is how you maximize network growth. That is precisely the reason capitalism is structured the way that it is. Direct resources to people and entities who are growing the network, in proportion to how much they are growing it. That is the distilled essence of capitalism.
Ok, the only certified batteries you can install in a Cessna is like 500 USD and it literally dies after 2 years of (not heavy) usage. It’s worse and less sophisticated that your 50 USD car battery.

I don’t want to sound like an aviation cynic, but for pilots (even in the non-commercial sector) spending 50 USD for a spark plug or 500 USD for a battery is “normal”.

Tiny bit of innovation and disruption = very very expensive in aviation.
> There are no bitmanip extensions in the core instruction set where it is needed.

That's the whole idea of an extension.
You may or may not include it depending on your needs.

> And there are no bitmanip extensions in any existing chips

RISC-V is a big project, and it is not yet complete.
Some extensions are completed and some are not.
The bitmanip extension is not finished yet,
so it's understandable that it hasn't yet been integrated into chips.

> may never be in any future chips

Where did that statement come from?

> The notion that basic bit manipulation primitives are an obscure optional feature is a serious problem in the RISC-V process.

Bit manipulation is not an "obscure optional feature", but an "optional feature" just like the other extensions.

Please explain why this is a problem?

You're just blaming RISC-V without any argument there.
Changes in the Immune System Can Promote Healthy Aging
>> From their work in the tiny roundworm, Caenorhabditis elegans, the scientists discovered a change in an evolutionarily conserved gene called PUF60, which made the worms long lived but at the same time dampened the immune response. Worms with this change lived about 20% longer than normal worms, but when they were infected with certain bacteria, they succumbed more quickly to the infection. This means that an overactive immune system also has a price: it shortens life span. Conversely, a less active immune system pays off as longer life span — as long as the animal does not die from an infection.
Yes, you can walk through most of the ruins. A few were roped off for restoration/excavation.

You can also climb up Huayna Picchu, the tall, sharp spire that sits behind the ruins from the classic vantage point. There are ruins at the top too, and you feel like you're floating in the sky.
> These Americans who hate immigrants vote. You can guess what party they vote. Their votes are the reason our immigration system is broken beyond measure.

I am not sure if that's really the case. Case in point, the Obama administration. They had 8 years to fix this, but they didn't.

Now Obama did do some small changes that were a net positive to the immigrant community (Work Permit for spouses who are waiting for GC, 1 year increase in work permit for students who graduate from US colleges, etc). But all the other bad parts of the system are unchanged.
X-Ray Diffraction looks like it could have a lot of other applications in addition to DNA and protein imaging...

For example, imaging very small non-biological structures...
Jesus 2 life sentences for manufacturing LSD? Wonder what people were getting for drugs that actually kill people.
"But certainly I would expect accounts would accumulate warning flags and at some point be banned."

They do exactly that, but sometimes, it goes wrong. It happened to me in October 2019 and I'm still trying to get out of this nightmare.

I bought a high-end desktop for $2700 from amazon, it was shipped with a GTX 660 instead of a RTX 2080Ti! The graphic card had been swapped by the previous person and Amazon blames it on me.

- They say they checked the item before sending it, they obviously didn't

- There was no indication when buying that this item had been previously returned

- They say I did this scam several times before but I order a couple of times a year and for low value. I never returned anything

- They refuse to listen to me and consider they made a mistake. The India-based chat support is entirely useless, they keep telling me "there is nothing I can do", "so sorry", etc. I sent an email to jeff@amazon.com and they tell me "we'll not be able to offer any additional insight or action on these matters, and any further inquiries on this matter won't receive a response."
Most GA planes are only permitted to fly “positive g” for reasons like this...
> This is a tragedy in its own right.

You have no idea. The impact on the US small business market will dwarf corona, and last for decades.

Millions of small businesspersons will either lose their stake (the capital to maintain or start a business) or just retire.

This is an existential crisis for US society and culture - really the death of the American Dream.

TARP saved the small and medium auto suppliers, but I don't see any easy way to get out of this spiral.
You don't need to be rich to fly. You can buy a older used aircraft for the cost of a nice car. Sometimes cheaper. (Note: Not the Cirrus they're talking about upthread.)

They're working on replacing leaded fuel. The challenge is mostly regulatory, since they won't certify any of the replacements until they're sure it's 100% safe. It's still a work in progress.

As for what you'd lose: Search and rescue, medical transport (both commercial and volunteer), transport of blood samples for lab testing, high resolution aerial photography on your smartphone, powerline inspection to prevent forest fires, crop dusting. I could go on...
I use protonmail with a custom domain, and simplelogin.co for throwaways
Absolutely, but that still is far much more investment into infrastructure. However the Moon surface is still too hot for precise IR observations.
I'd be surprised if none of the folks who built Kafka have built a decent JavaScript framework.
For those that want LSD but not have to be a criminal I recommend trying 1-P LSD which has the functional class of LSD without being illegal in most countries, happy tripping. If you're on the wall about trying it micro dose and work your way up to something functional.
It seems you should revise your concept of monolith because your description is anything but it.

I mean, you yourself talk about "different instance roles".

You should pay attention to your own claims: if you have a distributed deployment comprised of different nodes, and you have specialized nodes that you yourself state that are ran to handle limited and very specific responsibilities, then just because you decided, for any reason that only you can think about, to bundle everything in a single project... That doesn't make it a monolith, does it?

Just to be absolutely clear, "monolith" is not a reference to how you chose to organize your source tree. Monolith is a software architecture concept that defines how your whole application is organized and deployed. A distributed system comprised of multiple specialized processeses running independently is not a monolith, even if you somehow believed it was a good idea to pick which role you run through configuration.
Working on my side project that transforms 3D assets and point clouds into beautiful VR paintings.
I used to work for IBM years ago. This sounded very familiar - especially the part about waiting weeks/months for a server to be physically installed and configured.

I have a distinct memory of basically begging my boss to let me expense a VM on AWS (this was probably somewhere around 2008-2009 IIRC) and we would have been up and running the samenday. Never happened - we just slipped the timelines for a few weeks and billed the client.

To be fair we did use clearcase for source control, but the outsourced teams were equally awful. There was a genuine concern that a lot of the team members out there were people's friends/family/neighbors because they never ever spoke in meetings (the lead would answer on their behalf if they were asked a question), and either we never saw any code from them or what we did was delivered slowly and was usually awful verbatim copy-paste work or simply just plain did not work.
Life must be really hard if you get to that point where a welcome email coming from a service you signed up for a trial is so "annoying" that you "immediately mark as junk".
I'm just wondering, did you do any market research? Are there actually people looking for this kind of service? It looks great and seems to have quite some features but people who are hunting for jobs don't seem to be the kind of demographic/proces who would pay for a service to aid their hunting process. It's mostly fire CV and forget. If they are without a job, why would they pay for something which has no direct benefit to them? Even if they do need it and pay for it, churn rate will be very high. Per user, even if they're looking for a job for 2 months, after that, why wouldn't they cancel?
NodeGS, my clone of Node.js running in my own programming language, on my own VM
During the corona crisis I obviously had too much time and implemented a script runtime like NodeJS. But this runs gscript, a custom scripting language written in Java that runs on its own VM, the GVM. Looking for comments, improvements, ideas. Shoot!
Disagreeing with PG on HN is rather contrarian... ;-)

That said, going against the flow as a matter of habit or policy is just as predictable as being conformist.

Yet he doesn't appear to see that, or at least doesn't address it and places in the 4th quadrant those who are always breaking the rules "because they're there"...
Is LSD schedule I in the US? If so it might be prosecutable under the federal analogue act, although whether that act matters seems to be somewhat debated.

I know some other countries have blanket bans on RCs and analogues as well.