skysight-inc/HackerNews huggingface dataset:
I wouldn’t worry about a child’s face to face socials skills development any more than I’d worry about her horseback riding skills development. Perhaps some eccentric hobbyists will indulge, but the world where that was a universal life skill is never coming back.

Vaccines were the only plausible way out of restrictions. Since they turned out not to be, it is clear that restrictions are forever.
Ok, interesting. I am running Sway on Wayland and have one application that depends on libadwaita. Looking it over, I can see what you're talking about. Thank you for sharing!
Hah, that works! I blame it on the author being Russian.
This is fair commentary for any under-regulated industry. I say that as a staunch "stay out of my business" conservative. Proper regulation ensures that companies are financially vested in the well-being of those they affect.

Whether or not pharma in the US is properly regulated to ensure the well-being of their consumers is... debatable.
Seems like a weird thing to put on Zatko.
A lightweight homeserver. If lightweight enough (which remains to be demonstrated in practice of course), I don't see a meaningful difference from a monolith design.

I see no reason to think P2P isn't a goal of Matrix either; the reason it's not P2P now is that federation was easier, but the long-term game certainly looks to be P2P with work on cryptographic, portable identities and Bluetooth mesh networking in the form of Pinecone. I've also seen arathorn confirm this on HN.
I can’t help but see this as some sort of propaganda. Where’s the evidence this is a concerted effort against poor people?

You can’t do much in life without ID.
I have smoked for a number of years now, and I have continually been narrowing down on the best way to smoke (at least for me).

I have noticed that actually SMOKING weed makes me really stupid. Very similar to what is described in the article. My thought processes slow down, my focus decreases, and I am unable to be "normal" for the rest of the day (and possibly even the next day).

What I have found is that vaping the weed (not a dab pen, but a conduction vape like the Pax or Volcano) is a lot better. You are able to get much better control of exactly how high you want to get, because each puff is nowhere near as strong. It's not nearly as bad on your lungs, you won't have a cough from this. And because it only vaporizes some of the weed chemicals, I find that it completely reduces the brain fog. This has become my preferred way to use marijuana. I can just load up a vape bowl and take a small hit or two whenever I want, and within 2 hours I will be completely sober and back to normal.

I have problems with other means of usage. In my experience edibles are too hard to find, and it's too easy to take too much. Dab pens, dabs, and concentrates are nice, but they seem too addictive, so I stay away. I knew quite a few people who moved on from dabs to other harder drugs.

In terms of the effects of weed, I find it greatly enhances my interest in computers. When I use weed, suddenly the computer becomes fascinating to me. This has a major positive impact on my motivation and productivity. I used to worry about whether or not smoking weed was keeping me from my true potential, but the results speak for themselves: I am making more money than I ever thought I would as a FAANG engineer in my early 20s.
fn+arrow combo is imho equally as usable
> Assuming there is no UB and optimizing under that assumption gives a speedup.

Sure, but to make sure you do not have any UB, at least for things like signed arithmetic, you basically have to either give up signed arithmetic, which is what I've done by using only unsigned, or ensure your arithmetic is always within range, which requires formal methods. Otherwise, you have UB, and that 1-2% speedup is because of that UB. If you do what I do, you get no speedup. If you use formal methods to ensure ranges, you do, but at an enormous cost.

> But in no way does making the assumption that your code has no undefined behavior rely on your code having undefined behavior.

But it does. Because the optimizations that assume UB only kick in when UB could be present. And if UB could be present, it most likely is.

Once again, those optimizations will never kick in on my code that uses purely unsigned arithmetic. So yes, those optimizations do require UB.
‘I Am Super Worried’
Yes that's the way I use the word as well, it is a pet peeve of mine when that is not the case.

> "deprecate" and "remove" are not synonymous and I don't see any indication they are being conflated here. Deprecation often precedes removal but that's the extent of it.

The reason I'm equating "deprecate" and "remove" in this case is because they have already said there will be no more git.io links created -- so how can you "deprecate" it further? I suppose they could say "Hey, this is deprecated now and we're going to shut it down in six months", and in this case, the user behavior that is discouraged is "relying on the links".
I remember commenting when Mudge was hired that Twitter/Jack needed someone of that profile to offset his massive organizational weight as a founder, where Zatko would have the technical and community cred to make decisions for the entire org without, a) other people going around him and trying to get Jack's attention, and b) to demonstrate there is no doubt about the competence of the security team of the platform to satisfy some regulatory risk. I also thought it sounded like a bit of an overpowered choice for the role, unless it was not intended to be long term, and mostly as a tactical near term solution. That may have forshadowed this development a bit as well.

Into the territory of startup fanfic, I'd assert from Agrawal's perspective, he needs his own team, and a top technologist indexed on engineering competence is overpowered as an individual at that level - and for the agility the CEO will need for the next stage of his company. He needs his own people to execute for him. The company is no longer a startup, and its explosive growth phase is behind it. Now it's an asset to be managed, and doing that is an orthogonal set of skills to building and managing growth, so you need people who operate aligned to a longer horizon. The previous CEO's tactical super-hire isn't necessarily going to be the same asset for a new CEO's strategy.

It's odd to comment on this like its sports writing, but that's effectively what following these companies is. Knowing very little about the individuals, I don't need to mind read, as there are clear external incentives for this that make it a fairly neutral change.

When you inherit a powerful asset like that, as CEO that can be double edged. It's great to have someone that amazing around, but if they can undermine the momentum in your leadership even (especially?) unintentionally, while you're driving a massive organizational change, the choice really makes itself independent of the individual characteristics of the people involved.

Ceasing to work at twitter is probably the least interesting thing Zatko has ever done, so I don't forsee this reflecting on him at all, but before there are drill downs on personalities and culture stuff, it's worth looking at it from straight business incentives.
Can you describe how that's any different from saying "Tinder charges more for young gays, lesbians and the over-30s"?
What are you talking about it's definitely a product. I use it right now in my rural area (USPS doesn't even deliver here) and I'm getting 30ms latency with a 150/40 Mbps link. Rock solid for months straight even during snow storms.
Yes. Tools for developers and artists. It's a healthy market if you can provide value.
Dumb question but why don't you get some help with sales and marketing. Even some affiliate marketing to increase usage.
Caltech, Stanford, Cal, and Harvey Mudd are on the same tier with Purdue, Michigan, Illinois, CM.

The other ones are good schools, but in a distinctly second tier to that group.
Then you have to change your browser settings.

https://www.w3.org/International/questions/qa-lang-prioritie...
Satellites are relatively cheap. Certainly cheaper than the right-of-way to run cables through every expensive heavily populated city in America for instance.

In fact, it would seem obvious that a LEO power station would make a lot of sense for the same reason. Earth-bound stations have the disadvantage of ~50% duty cycle due to a periodic eclipse phenomenon known as 'night'.
I use ADIEU to get 4 wovels, likely the same reason you picked AUDIO.
They very existence of PowerToys is a testament to Windows's mismanagement. They wrapped search around Wox, an app that uses Everything, to appease users who were unhappy with Windows Search. Microsoft declined to use Everything to power their search, by the way. Most PowerToy suggestions on their GitHub are just Windows suggestions and bug fixes.
An intraoral device for weight loss: initial clinical findings
> Method:
Seven healthy obese participants were recruited. The device, which incorporated closed-field magnets with keepers to restrict mouth opening, was cemented to the participants' first molars. The participants were given a commercially available liquid diet for two weeks. The comfort and tolerability of the device were assessed using a quality of life questionnaire during review appointments at 1, 7 and 14 days and two weeks after device removal.

> Results:
The participants reached a mean weight loss of 6.36 (SD = 3.79) kilograms, which represents approximately 5.1% of their body weight. The participants had trouble pronouncing some words and felt tense and embarrassed 'only occasionally'. The participants 'hardly ever' reported a change in taste sensation or felt uncomfortable drinking. However, participants indicated that they occasionally had discomfort and felt that life in general was less satisfying. Qualitative analysis showed that the participants were happy with the outcome and were motivated to lose more weight.
From my experience, this is a problem only with the largest and most popular of apps, the kinds that are made by surveillance companies such as Google and Facebook. And even those usually use dedicated domains for tracking.

So while not perfect, I think Tracker Control works exceedingly well in practice. Don't let the perfect be the enemy of the good and all that.
> from better sources like an actual lawyer posting on a foru

Yeah, you're right. Please do not take me as an authority or lawyer on that matters. It's just what I think I know, but I may very well be wrong :)

What I read is that even informational documents are considered in court. However document that bears legal validity, must contain: document name, date, signature (with exceptions) and recipient.

However I did found a relevant quote:

> Section 5.
> (1) A document shall be signed in one's own hand. A document of the organization shall be signed by the person whose position is indicated in the document. A personal signature reproduced in a paper document using technical means shall not ensure legal force of the document.

https://likumi.lv/ta/en/en/id/210205-law-on-legal-force-of-d...

But I'm not sure if print->sign->scan qualifies, as the signature itself isn't put there with technical means. But this rules out putting image as a signature on PDF.

This is not talking about e-documents. E-document states that it must be signed with secure electronic signature.

I know Latvian people are reading this too and this document is very helpful in that regard: https://www.tm.gov.lv/lv/media/7605/download
Does anyone know if using Dhall to generate JSON that is validated using Cue a sensical idea? I don't know enough about them to be sure.
> Briar at least used to be very strict about how you established contacts, so, for example, to add a contact you had to have them physically in your presence and exchange QR codes on your phone.

This has indeed changed, it is possible to exchange briar:// links over another channel and add contacts without physical presence.

> It also probably makes it more feasible to treat the desktop instance as a sort of "permanent on" server

I agree, and this might be one step towards solving the "using one briar key on two devices" problem by making the pc authoritative.

https://code.briarproject.org/briar/briar/-/wikis/FAQ#can-i-...

> although I have it on my phone, I haven't actually used it in some time

Me too. None of my friends/family would be interested in using Briar, but it's too cool for me to not keep it installed. I like reading the update notes and seeing it progress.
Nolan Peterson's thread on Twitter.[0]

[0] https://twitter.com/nolanwpeterson/status/148459346442357964...
It's getting harder to resist buying one of these.
Is there a good guide for how to set that up?
> Let this be a lesson that the business comes first. Security is important - but the business is more important.

Sound security practices enable good business, e.g giving teams a paved road (https://www.slideshare.net/diannemarsh/the-paved-road-at-net...) that enables rapid and secure releases in place of gates.

At least from what few accounts I've heard from engineering in Twitter, it doesn't sound like Mr. Agrawal has much faith in this idea, but that just means he'll be the first to go in the event of the next inevitable breach.

Watch it be over something dumb like stolen NFTs.
It's still a real pain to get hardware accelerated video in a browser on Linux. Google is still outright refusing to support it in chromium, even though they do support it inside Chrome OS. There are few community patches floating around if you're willing to roll your own chromium to enable to Chrome OS hardware decode pathways on generic Linux.

You can mostly get it working on Firefox if you play around with the config options, but it only works with AMD and Intel GPUs (anything supporting vaapi).
I’ve got friends who live at 15C or so in winter.

You need good clothing, but also a certain constitution which does not eagerly pull blood from your extremities. A beard probably helps as well.
On my twelfth year of North-American kettle operation I've gotten past the tedium of waiting extra minutes for the water to boil.

Visiting my family, however, I now have to flick the switch on twice - autopilot usually means the water has cooled below the supposed optimal infusion temperature by the time I return to the kitchen.
As long as Microsoft offers some free use of storage and web-based office apps, Google will as well.

If you're looking for a self-hosted web-based office suite with a filemanager, OnlyOffice might fit your needs.
Which tablet do you use?
I have a hot water bottle that I use occasionally in the winter months. Filled with boiling water it'll be too warm to handle for about 45 minutes, then comfy for hours. Tucked under the comforter it's frequently still a little warm in the morning.
Yes. I agree. It would "prevent" the "no case" by returning an error on parse/evaluation. However the solution described here can do better. It can correctly parse the no case. Basically by knowing it is parsing a string the grammar can be simpler, it doesn't have to decide if it is a int/bool/string anymore.
You have Nix running on M1?
FWIW I don't think you should buy a laptop from them just to support them.

Just adding to e-waste down the line, and I'm sure they are selling enough units.

In the future when you do actually need/want a new laptop of course it would be great to support them then. And advocate for them when a friend asks about what laptop to buy.
Labor has no value?
Silicon fabs do not make server boards. They just produce the silicon wafer i.e. "die" of a semiconductor device. Most die must be assembled into a package before they can be used. The die packaging aka "backend" is almost never done at the same place as the fab. Most backend is in Taiwan or Malaysia or China. Even after the die is packaged, it needs to be mounted on a complete PCB with all the other components. Intel typically does not do PCB assembly, they mostly just sell assembled CPUs (or other devices) to other companies that do the PCB assembly.
neurovegetative? is that what we’re doing now?

its like something I would say in my comedy skit before doing a Bill Burr style impression of someone on life support before insulting the audience for laughing. and then complain that everyone’s too sensitive.
If you use it to warm your feet by putting it on the floor and having socks on, resting your feet on it but changing position because of the heat, around one hour, a bit more.

If you use it to have something warm in your bed, if you leave it below the blanket it will still be warm in the morning. But putting it with boiling water in the bed means that you just can't touch it because it's really hot. You may put your feet on it for 10 to 20 seconds or put it on your stomach for the same amount of time, to heat up quick, but then you need to place it somewhere where it has no direct contact with you.

I just love mine, which is one made of flexible rubber (or pvc). When I get up I start making my coffee and in parallel I heat up a kettle of water until it boils, then i use that one under the desktop for my feet. Sometimes I put it on my lap or hug it for a while. It's worth it, but only during the winter.
How is this a tech issue? The issue is powerful politicians using private social media companies as a means of communicating with the public. Politicians and other can instantly prevent the risk by only communicating through official means.
> This was possibly my most successful gift in our 12 year marriage.

My husband got me this heated blanket from LL Bean and it is my absolute favorite gift he's given me in 15 years together! This thing is amazing! I want to wfh just to curl my feet in the blanket. https://www.llbean.com/llb/shop/124706

I want to get one for every family member now.
With all of this recent chip investment, would anyone with more familiarity with the industry care to comment about how much this is driven by:

1) pre-existing long term plans

2) more recent supply chain bottlenecks

3) Some combination of 1 & 2

Bonus: How China may figure into the equation
he's been the CTO since 2017
Actually yeah, you are right. I somehow misread it as a defense of UB because of the last sentence. Total a brain-fart on my part, sorry.
The laws of physics are time-reversible, after all.
> This might have been added after your comment.

If that's the case, great work in responding so quickly.

> Link with md: https://write.as/n5r0vjolumdnuk2k.md

You'd think the `.md` would be the markdown and the blank/`.html` would be the HTML? Not the other way around? Might be worth the owner of the website swapping that around afterwards.
I got up early every day and got in an hour or two before my proper full-time backend Python programming job begun. That and working on The Cat Machine on Saturdays got it finished within a year, and then after it came out I could go full-time. It's hard to just make the switch from 'real' (normal?) job to small business game programming without already having a game that's done okay released, so that's what worked for me.
> You say we can't wire up America, but what's your source?

I did not say that, reread what I wrote and quote where you think I said that.

> I'm not personally seeing a problem with a TVA-level engagement to bring high-speed Internet to as many people as possible.

That's basically what I was getting at with this:

>> short of conscripting every possible technician in the US to accomplish the effort.

But, sadly, it is politically not viable in the US. If it were, I suspect we would have seen such an effort (though probably not telecom focused) post 2007/2008 financial crisis. Instead, a crap ton of money was dumped into the hands of contractors to spend on infrastructure that barely went anywhere. Just like a crap ton of money has been dumped into ISPs that still can't be bothered to cover the last 1.5 miles to your home.

What I did write:

>> [Starlink] also covers a larger geographic area (and therefore a larger number of people) in a shorter time than any cell tower + cable solution would

The first part is pretty obviously true, but the parenthetical does remain to be seen. It depends on how effective the fleet actually scales with connecting additional users, and they're only at ~145k right now.
YMMV but I've found both to work fine, with Wayland providing the advertised tear-free video experience that X never could. Granted, when I tried OBS about a year ago I had to resort to an X-session, and that worked as expected. Not that OBS works properly on Wayland, my own use for X - I think - is done.
The other difference, which parent didn’t mention, is the Ohio has plenty of water.
In the past it was fairly common to write configuration files in TCL and just running the script to parse them.

This was generally considered to be a mistake. It opens up a huge threat surface for your program and few people ended up using the more advanced capabilities it created. If your config format supports simple globbing that covers the 95% use case for otherwise needing a turing compete language for your configuration files.
It can work but generally you either have performance issues or less library support or run into more operational pains. I mainly work on building library tooling over tensorflow. Losing support for good number of operations is not something that I could reasonably consider. Also cloud amd gpu support is near non-existent and most of my company's compute relies on the cloud. t4 pricing is very nice on gcp.

Like AMD rocm exists for ml, but is very far behind cuda in support/libraries for ml. I don't think any moderate investment in AMD gpus is likely to catch up, so I'm pretty pessimistic of AMD being a good solution for ML usage anytime in the next several years.

I think a hobbyist who already owns an AMD card and wants to do basic ML is only situation I'd consider it. Any other situation and I'd strongly advise against it.
Purdue is an engineering factory. It is both quality and quantity.

There were 1800 engineers in my graduating class (1995).
I've read about a few cases where the nalgene pops/breaks and leaves you with a wet sleeping bag. Which is one of my greatest camping fears.
And orbiting a black hole is just like orbiting any other object, except the surface is much closer to the center of mass.
There used to be such device you’d heat up in boiling water.
This can work without crypto. I haven't sent dollars to Argentina, but I (US citizen) have lived in a country with currency controls and artificial exchange rates. And I pay a freelancer who lives in a SE Asian country with currency controls and and poor official USD exchange rates (i.e. an informal market for dollars). I pay that guy in USD through PayPal or Wise, and he transfers from the USD account to someone who changes to local currency at the street rate (equivalent to Blue Dollar in the country he lives in). The transaction fees are low and the process is fast, almost instant. I could pay him with crypto if he asked, but he hasn't, because it's easier to just transfer USD. He still has to figure out how to convert USD to his currency at the best rate, a problem he would still have if I paid with BTC.

Reading the Blue Dollar web site I noticed that Argentina recently started taxing crypto transactions, which means the government is requiring exchanges to report those transactions, like they already do for USD transactions.
Director James Cameron on the dangers of deepfakes [video]
From reports I've read the Framework laptop has poor build quality. This comment from here actually: https://news.ycombinator.com/item?id=29807585

I'd like to support their cause, but like you, I have way too many machines that already work well enough, that I can't justify another purchase unless it would offer a substantial improvement over my current setup (old ThinkPads). Plus I really can't function without a Trackpoint ;)

So I'm holding out a generation or two to reconsider. I hope they improve.