skysight-inc/HackerNews huggingface dataset:
Thanks for your reply. I must clarify I do have a theoretical background in formal methods (a research-oriented 2-year MSc in that topic).

When I graduated there were some interesting opportunities, but the field looked a bit too stale and I ended up moving into a slightly different research area (probabilistic model checking and probabilistic inference in general).

There is a lot of hype around theorem proving, particularly with dependent types. As you say static analysis (and model checking) might be a better bet due to scalability, unless transformer architectures get to the point where writing proofs can be done much faster? What do you think about more practical approaches such as Dafny?
This is a fair point, but you may lose 10% of your job. By the time one of our designers hands off their interactive Figma mocks to me this has already been figured out. I think there is plenty of specificity that is required to build things of value, but sufficient specificity is available from the people who don't code to allow a slightly better version of Copilot to do the implementation.
Guaranteeing double digit yields on what is effectively a pyramid scheme is a scam enough in my eyes
#1 trends towards ecofascism but it's also a major theme in 70s environmentalism (was known as "the population bomb" and is now known as "degrowth") - it's false of course, but many people do believe it.

#2 is actually quite unique I think. I mean you could say it's eugenics, but eugenicists are rarely in favor of "diversity".
In general, if you think that someone’s claimed experience doesn’t make sense, you’re probably just missing information.

On small viewports, the “right-hand side” is down page and off screen, and the instructions I’m following reference only tabs visible above.
Yea all of them

I even have a GitHub repo with over 350 stars (MERN stack)…

Edit: not under this username

But not in person meetups
Parent didn't ask for "groundbreaking", they asked for "even one single useful use case". The bar wasn't high.

More charitably you could call them 1. micropayments and 2. disrupting rent-seeking incumbent banks. You use a currency to pay for things, so yeah, the use cases will tend to circle around payments and transferring money. What did you expect, a cure for cancer?
we literally ship our trash to china to "recycle" it (now china wont take our trash anymore). Turns out they were often just dumping it in the ocean. Now other countries do the same. It doesn't show in american metrics, because the other countries help us to be blissfully ignorant.
Philistines can use Google.

See also: https://www.quora.com/Is-Picassos-Guernica-copyrighted-right...
Some of those studies strike me as wildly off base. E.g.

> On a more positive note, Ferguson and other researchers at Imperial College London published a model in Nature around the same time estimating that more than 3 million deaths had been avoided in the UK as a result of the policies that were put in place.

3 million people is ~5% of the entire UK population. Even using the high end of COVID IFR estimates (2%, from northern Italy), it would have required everyone in the UK to get COVID twice with no natural immunity to reach that kind of death toll.

Also:

> The most effective measure, they found, was getting people not to travel to work, while school closures had relatively little effect.

That article appears to agree with this one.
The US got Ukraine into this war in the first place by intentionally provoking Russia into it. Obama admitted to committing the 2014 coup in Ukraine and then refused to go so far as to provide weapons because he said Russia would likely escalate. Trump gave them weapons and then Russia responded to that escalation by invading.

Even if you're okay with all of that, the US is not trying to help Ukraine win, it's trying to make the war as long and as expensive as possible for Russia. The US is sacrificing Ukrainian lives to harm Russia.
Just because you come from a place of great financial privilege and a liberal society does not mean others have no use for a censorship resistant form of money.

Afghanistan: https://theintercept.com/2022/01/19/crypto-afghanistan-sanct...

Argentina: https://www.bbc.com/news/business-60912789

Russia: https://www.reuters.com/world/europe/navalny-ally-urges-dono...

Lebanon: https://www.reuters.com/article/lebanon-crypto-currency-yout...

Nigeria: https://www.coindesk.com/tech/2020/10/16/nigerian-banks-shut...

Ukraine: https://www.cnbc.com/2022/03/23/ukrainian-flees-to-poland-wi...

https://www.financialinclusion.tech/
same reason why amazon warehouse working conditions get so much more media attention compared to everywhere else
> Do you think the attitude towards risk is because they truly don't care about having their belongings stolen, or because they know there is less risk of that happening?

Neither, they just take fewer mitigations in response to the same level of risk because of cultural habits.

America in general (both rural and urban) has a very high crime rate by developed world standards. I grew up in <redacted> which has a lower crime rate than 99% of America, including the parts where people brag about how it's so safe that no one locks their doors, and everyone locks the doors to their houses and cars anyway, because that's just the cultural norm.
Is that an important property? If so, why do you (*whoever) think so?
Fortunately, I said "community" not "everyone"!
7 Lessons from James Webb’s first deep-field image
Respectfully, I'm not really sure how this is relevant to anything I said?
> I’m confused what the alternative is.

For years it has been claimed that cryptocurrency represented a great hedge against traditional assets and investments in the case of a downturn.

Like many other claims made about the utility of cryptocurrency, this too has been shown not to be the case.
Wait what problem are we solving again?

If we need dozens of specific purpose ledgers between banks, what's wrong with database tables running on ancient mainframes, and how would dozens of different blockchains solve that specific problem?
Nobody ever got fired for hiring red hat for red hat support. To the other post’s point those may not be the contracts red hat wants. They want big enterprise where there is 0 reason to not go red hat.
A similar concern is why I set mine to start at about 45 minutes after the off-peak start time, when I was using the timed-start option (I'm using the timed-finish option now instead, so it starts at whatever time is necessary to have it charged by the time off-peak rates end in the morning - this seems to have a fair bit of built-in slop so if everyone used it, there wouldn't be the opposite problem of all the load disappearing right on the stroke of 6am).
> This gives you the added benefit that the grammar is explicitly defined

Especially if you're still refining the syntax: it is so comparatively easy to modify a grammar vs parser.
No HR, 15 years ago, too.

This was a small circle of specialist publishers that commonly worked together. There weren't but a dozen or so people on his list; mine was 6, 3 of which I was going to see on that trip.
JSON is a strange choice, with all those unnecessary commas. S-exprs / EDN would be a better choice, especially as this is a functional language.
Its only for NFS and not NTFS and only in v4 of NFS at that. Most systems will not need any action and those that do are unique enough that they're should be patched regularly in the first place.
Changed my life. Therapy helps but it doesn’t help with the physical anxiety symptoms like muscle tensions, stomach issues, etc. Therapy is good for CBT but ONLY after you find the therapist you jive with. If you don’t connect with your therapist then everything is much less effective.
Identity of mystery fossils found in Chinese cave revealed by DNA analysis
When I was leaving high school and then when I was starting college, I tried a different thing: reverse engineering bar codes (specifically, what turns out to be non-interleaved code 25) and Braille based on examples in the wild.

Those were both pretty interesting exercises!
No one ever admits they were wrong anymore. They just say "decisions are complex".

It's complicated.
is there any other company with a similar technology (activated and working instead of the driving having any control) with a similar number of miles, and if so, what are their accident and death rates when their technology is enabled?

IIUC MB and other manufacturers have fairly sophisticated self-driving packages now but I don't know how they compare to Tesla, in terms of technology or marketing or user expectation.

My guess is: this is an easy article because it gets clicks because it feeds into a bunch of people existing assumptions about self-driving, and also Musk gets a lot of clicks too. I haven't seen many (any?) articles that actually attempt to interpret all the available data about self-driving car accidents in the US and draw any reasonable conclusions, in a good-faith way (rather than promoting a pre-existing agenda or going to cheap clicks).

Note that I'm mainly interested in the situation of accidents that occur during full hands-off automated driving where the system had not started notifying the user to pay attention and the weather and road conditions are not adverse. Having accurate estimates of accident and death frequencies that could be used to compare autonomous systems confidently would be great.
Actually, how trustworthy are those stats as a measure of actual crime or safety? I think this effect might actually push the difference to be a bit more extreme; at least several years ago I know the NYPD had a scandal about systemically under-reporting or downgrading crimes. Has this _actually_ improved since then, or did they just "discipline" a handful of people? Do other law enforcement agencies have similar problems?

However, I do also think an important question is "safe for whom?"
Depending on your race, sexual orientation, gender presentation, etc, rural American communities can foster their own distinct unease. Those are the places where you keep your head down, self-censor, try not to draw attention. When is the absence of reported crimes in a state which is 92.8% white "safety" and when is it something else?

https://www.reuters.com/article/us-crime-newyork-statistics/...
TIL Arc A380 is (1) an Intel product that (2) is a standone GPU card, and is (3) available only in China, and (4) performs worse than comparably priced things from AMD and NVidia.
How about when you sell shares? Still a 2 day minimum almost everywhere in the world, takes me about a week from sale to money in my bank account.

Have you ever attempted to send shares overseas? 2 weeks minimum, up to 3 months in some of my cases, and endless paperwork and emails. On blockchains it takes less than a minute.

All of finance should be fast and globally accessible, money is only the most basic use case.
the purpose being to be able to use generic C function bodies as continuations without having to trampoline the stack
Have you tried Idris? It is a "practical" programming language that also gives you the full power of Dependent Types to prove your code correct. There is a great book "Type-Driven Development with Idris" that really helped me open my mind to the power of Dependent Types.
Might not be the case here but, generally speaking, it's unfortunately not uncommon for stock option agreements to _require_ the recipient to exercise them at a certain time- in particular, when they leave the company who is granting them.
The mode of excess is waning. It's painful as heck but the dominant value systems & cultures have been built around vulgar forms of excess powered by rampant exploitatuon of resources & labor. The free ride being over is harsh but a real reality can start to be known & worthwhile g aware cultures created, where costs & sustainability are visible and matter. We're becoming recoupled to the earth & have to tune in to an overdue need for balance.

The genuinely good things will prosper. Open source is the nee-plus-ultra of sustainable. More make & design mentality will spread. We are becoming more aware that many goods & services come with traps, capture more value than they create, and our desire & need to do better grows.

Our technical mediums are rich & potent. Never have we been enabled to do so much with so little. Learning & creating vast & wild presences that are globe-spanning connective global medias is imminently within reach, a potential tempered chiefly by the good-enough big-online systems of the day. Although there is little sign of change, I have little worry that eventually new wider spread bases of cool will spring forth, that eventually good-enough will be too old-hat, to ossified, that we'll naturally gravitate towards newer more exciting means of interconnecting with each other & onlining ourselves. Likely in some of these realms we'll see better self-sovereign/web-of-trust moderation, rating, review, & feedback systems- all explorations of how we can better manage the flood of information, sorting out the good & high road from the chaos & churn of the louder more grabby low-road.

Global aggressors & bad actors keep getting more visibility. The ability to create insular & isolated cultures comes at more visoble cost, requires deepining & worsening reality distortion fields which seem to have ever more critical points as the lies propping up the constructed narrative grow. Like I began with, but in a sociopplitical way here: a more real reality rises.
Your twisting of what she said is par for the course for religious zealots.

If you want people interacting with other people without tranmitting COVID, what she is is absolutely correct. She said that proving you’re currently negative is more accurate that just asking for vaccine status. This is scientifically correct since people can get reinfected and spread the disease regardless of vaccine status. I just got reinfected with COVID this past week after 3 shots plus prior infection in January. So vaccines do NOTHING in terms of preventing infection anymore. Of course, it protects from serious symptoms but that’s not what they were talking about. It was in the context of effectiveness of vaccine mandates for preventing spread, which it doesn’t.

You are the one spreading disinformation at this point.
I never said i am a critical thinker, i said you lack critical thinking

Maybe i perceive wrong, maybe you perceive right, you tell me

> I’m intrigued by why I would want to go back in time?

Read between the lines, here it's me projecting, i vow apocalypse and destruction
I would rather say that company strategy is a chosen position on the main tradeoffs. Obviously you want to do all the good things and none of the bad things and execute everything well, but in some aspects you have to pick which nice things you're ready to sacrifice for other nice things, and the set of those decisions is essentially your strategy.

From your examples, I'd rather say that "we want to enter the premium segment, even if we have to lose marketshare on the low end to get there" or "we want to increase marketshare even if we have to stop being profitable for a year or two to get there", that's strategy. "Increase market share by %x" is not a strategy but a goal, in that sentence the strategic choice would be the intent to focus on market share instead of revenue or efficiency or other markets, but not the percentage rate of the increase. The choice of when to enter or leave a major market (either product or geographical or audience) is a strategic one, where you often need to make a significant long-term commitment or it's not worth doing.

For another example, you can have a very profitable company with high volume and low margins, and for the same class of product you can have a very profitable company with high margins and low volume, however if half of your company is pushing for quality at the expense of costs and other half is pushing for efficiency at the expense of quality, your product or service will be uncompetitive at both of them so you want to make a company-wide strategic decision on that and communicate it to ensure alignment, instead of letting each part of the company (e.g. the workers that are close to the production) pick the tradeoffs that best suit their silo but contradict each other.
WWWJDIC/JMdict also claims it's a name "Junko", but it also isn't very reliable. If you want to know what a Japanese word means you should look it up in a JP-JP dictionary.
I'm not 100% positive, but I recall a conversation we had on TheEye a while back with some IA reps and they simply can't archive YouTube. I recall a private project to archive just the video Metadata ended up in the hundreds of Terabytes. The videos themselves must be a gargantuan collection. Most YouTube archiving thus far is pretty much done and maintained by private individuals.
SSRIs feel like a forced mood lift. Like Coca Cola gives you a sugar high. It has that same artificial-chemical vibe, just inside your brain. You are aware you are less depressed, and it's not from you, that's about it. You reason and perform intellectual tasks at the same pace as before, just less ruminating and negative mood.

They also kill your sex drive and can cause some difficultly in the act of sex. This has few studies but needs more. It's unfortunately underexplored. For some people this is a feature and not a bug.

The come down from the artficial mood lift can be unpleasant, it doesn't take long to get used to, but it can be a source of moodiness if you're not aware of what the experience of coming down is like.

It won't sterilize or neuter your brain. Taking it is likely orders of magnitude better than not taking it. Not because SSRIs are a pancea, but because getting out of bed is so much better than staying inside all day and SSRIs might help.

30mg of Saffron (yes the spice) is a more pleasant mood lifter, even though it tastes quite bitter. It shares some qualities with SSRIs and other meds.

Being always-online can feed ritual and delusion just as much as it distracts you from them. The intellectual content on the internet eventually turns into theology if you go far enough with it. Prayer and faith can help see through rituals and delusions clearly.
They didn't hold a referendum. Honestly if you're this ignorant on Hong Kong politics then I'm wasting my time.
GWT can fuck right the fuck off.
I'd love to see a technical writeup of the differences. If Rocky genuinely were better, a 5-week delay vs Alma would probably be ok, at least for the original release, as long as the dot releases are faster. No one wants security vulnerabilities delayed by 5 weeks.
I don't know if this is true universally but all the job listings I've seen in my country only consider remote work if you've already got a few years of experience.

If your financial situation allows it, it may be worth moving out for a few years to get in person experience, then go for the remote job after that.

Additionally, you will need to be a clear and friendly communicator even as a junior dev but especially if you plan to work remotely. Because you mentioned this is a weakness, I would strongly recommend working on that.

Ultimately it depends on your situation though, so take everything I said with a shake of salt.
I highly recommend the programming language Idris and the book "Type-Driven Development with Idris" if you want a more "practical" introduction to proving code correct. It is a great read and every chapter pretty much blew my mind :)
Very shortly thereafter, yes. I was vital to the business but they didn't know that, so I spent a few months longer than I should have trying to keep them from blowing up. Totally foolish and futile in hindsight.

I'd like to tell the whole story, but i can only get little bits out with more humor than bitterness.
Limitless Storage
Only 35 days? Watch "Style Wars" sometime.
I enjoying writing Netcat clones when learning a new language (or even a new paradigm in one I already know). Netcat hits a lot of interesting areas like sockets, error handling, and threading/concurrency.
Why use QUIC in LAN?
Documentation for KineticGraphs JavaScript Engine (KGJS):

https://kineticgraphs.org/
You assume society functioned a lot better historically.

I don't think it did. We forget that a few as 60 years ago, a person could rape a woman and she might be pressured to marry him to save face. Unless the accused rapist were black and then you would go find a tree to hang him and a couple friends from, whether or not he was guilty.

Scams are not new. Get rich schemes like crypto have been around forever. Same with scam medical treatments, fraudulent investments, abuses of power, skimming inventory, etc. Yes, we are worse on shoplifting now than we previously were, but the rest all happened before, at scale.

People have very rosy views of the past and their fellow humans. It is all a lie. It has long been the human way to ignore wrongdoing as it is too much work to fight over or pretend it does not exist.
Unix Shells and Terminal Emulators
Pseudo terminals, TTYs, PTYs, teletypes and the history that led to current Terminal emulators
For languages, I usually write something that generates data, saves it, retrieves it, puts it in sqlite, processes it, reports on it. Boring, but it makes you implement some basic data structures, loops, logic, organize code into functions/classes/actors/whatever, deal with i/o and output. It's boring, and takes a day or two, but when I'm done, I usually can code reasonably well in the new language pretty quickly - but mastery of that language can take years.
Some companies are using the title "Proof Engineer" to mean Software Developers that specialize in proving code/hardware correct. I think that's a great choice.
I live in Austin, TX. It has been 105-ish every day this week, but the humidity is 30% during the hot part of the day. My office has a ceiling fan which is on low most of the time. Some people will not believe this, but I have the minisplit set at 80F and when the sun sets I turn off the fan because I start to get cold. When I leave my office (which is attached to the garage) and walk the 40 feet into my house through the 98F evening air I often feel: ah, that warmth feels good.

To summarize: it is one part adaptation to the heat, one part low humidity, and one part air circulation.
try it ...you are right. or just a (・∀・)
Difficult communicating orally isn't going to hurt you that bad if you are legitimately looking for junior/entry level positions. Do you have a portfolio of sample projects you've worked on to share with potential employers?

Contributions to open source projects and building concept apps can be a great way to develop your resume and portfolio before you successfully break in.

Just remember that hope isn't lost and everyone moves at their own pace. I was a labourer until my mid-20s and dropped out of school in year 9, struggling with autism, adhd, anxiety and a speech impediment. I tanked every interview regardless of the industry or position. Once I'd built a stronger portfolio, I found that calling out my poor communication skills at the start of an interview bought me a lot of leeway.
I'm a bit skeptical of this overall, but it's obviously complicated to get data that filter out the effects of sociolectal solidarity. (Can you get people to speak "naturally" but without priming them to speak or to avoid speaking in a particular register or sociolect!?)

There are well-known phenomena like

https://en.wikipedia.org/wiki/Attraction_(grammar)

which can become conventionalized and eventually part of native speakers' intuitions even though they can be contrary to a more logically consistent or simpler understanding of agreement.
I guess Anchor and Solend are (retroactively) not "major" DeFi.
Can you elaborate a bit more on the kind of projects you have used Coq (and other tools) to prove correct? I am very much interested in moving in that direction career wise.
This is equally true of buying drugs on the darknet using BTC.
Filepizza: Peer-to-peer file transfers in the browser