skysight-inc/HackerNews huggingface dataset:
Thanks for the kind words and I agree!

I prefer to do the teacher training workshop in person for various reasons, but we have considered recording it.

I've also given 2 open lectures at different libraries (and have been asked to do more) for the general public. I should certainly record that, since it's more general audience.
X-rays are used a lot in non-destructive testing for welding and also in civil engineering to look inside concrete and rebar!
There was a time when "Groups" was section of google search and they indexed the whole thing.
Get a provider with a block account... 1GB will last forever on text-groups, and block accounts usually go for 10-1000GB for a few bucks
I want to take this quiz, but why do I have to click three times to get to the next question instead of one?
That's an interesting idea, would be interesting to see how well it can follow the rules for creating insulation. I think one limitation would be that it is simply following predefined rules for neighboring cells, which would mean it might not produce the mathematically best result given just the neighboring cells.

Of course, it would be interesting to see all of these iterative growths from a simple set of rules.
This comment seems to be written by an AI bot :D
I thought we were having a perfectly reasonable discussion on India's development trajectory and misses, if you read down-thread.

But this is your sub so I will stay away from comments on this sub.
ActivityPub servers own your account. This is a non-starter for me unless someone holds server admins accountable to laws or some kind of liability
I don't remember the exact timeframe but it wasn't far from then when I switched from Verizon to Comcast and it meant I had to switch phone numbers for exchange reasons. It was sort of annoying and, among other things led to me getting very persistent calls from some debt collector for a while.

My cell phone number now is one I've had for ages and actually dates to when it mattered what area code you had for cell for cost reasons based on who you called before "favored" area codes became scarce. Think there was a Seinfeld episode based on that too.
Up until the 1980s my great-grandparents lived in the town where they only used four digits for all local calls. It was pretty nice, they tell me
You've drastically altered the reality of US history. Violence and guns were a huge part of it. Labor unions had actual shoot outs with union busting officers, Malcolm X was absolutely using guns (King also had them), some draft protests were intentionally violent. If you really look, almost every "peaceful" movement had violent parts or another similar movement that was violent.

Perhaps the greatest example is the race riots, specifically LA where the police completely abandoned areas and local shop keepers used their own weapons to protect their livelihood.

Furthermore, the right to bear arms is heavily limited, automatic weapons have been banned for around 50 years at this point, getting any gun is subject to background checks in basically every case, age limits are also in place, "dangerous" things like suppressors require additional fees and paperwork in order to own.
The day I will stop taking it first to mean X11/X.org will be a sad day for me. With this publicity I imagine more people visiting x.org. I wonder what will happen to it in a couple of decades.
I think answering that depends on ones goals and current level of understanding. Some others in the other thread did a good job pointing in the right direction. Whatever gets you away from just watching Youtube and actually building basic circuits. Adafruit has some good starting points, or used to. If you can hook up an op-amp IC and get it to amplify a signal and why that works intuitively you will have gotten pretty far. Really, the intuition comes from understanding what frequencies capacitors and inductors help and hinder, and what happens to components in parallel and in series. Build a radio kits used to be pretty awesome for this.
Dams have such immense economic and agricultural usage. Why aren’t we investing as much money as it takes to save the salmon but keep the dam?

The PNW has something like 80% of its power coming from clean hydro. It’d be a shame to lose that.
There's an app called reprosion that I've used in the past that can do the signing on your iOS device and even automate it. (I used it to load a semi-tethered jailbreak) The limit is 7 days.
The app itself doesn't have to be reinstalled, just the signing cert.

I am very excited for sideloading to get implemented in the EEA, since that'll make this much easier.
I genuinely take the baroque comment as a complement. There's many paths to a solution and this was a fun one that ended up working for me.

Thanks for the pointers for those programs. Someone else pointed out Kaitai Struct could help me do the hex editing which I'm planning on taking a look at later
> https://alistapart.com/article/journey/

In 2001 CSS was not ready to be used in all the ways proponents were advocating. It feels like at least a decade was lost in <div> soup and CSS-for-everything (even tables) purgatory. It feels like just now in 2023 things like centering and layout are finally as easy as they were with tables.
The A is generally for asexual and the reason to leave it out is because asexual people do not face the same kind of direct social discrimination of the other groups represented in the non-plus part of the acronym. That's why you don't see A in this official Canadian government communication, but you might find it in say, an online essay critiquing of a movie, where one might say, for example, that asexual, bi, gay, lesbian, queer, etc characters historically been somewhat underrepresented in media.

IMO, there's no need to be the same acronym every time - context matters, like most language. You can pull stuff out of the plus as required, or just as you feel like. It's no big deal. LGBTQ+ is standardized for most people in most cases, such as the headline of the post we're discussing, even though the actual Canadian government communication it's reporting on uses 2SLGBTQI+. We know they're both talking about the same general group of persons, but thinking "what the heck is 2S?" is a large part of Canada adding that, because they want you to learn about it. Ditto for the I. Take those two away and we're back to LGBTQ+ which I don't think is considered obscure or unwieldy. A bit of extra formality is generally to be expected from government documentation, I think.
As long as the invited people don't change nationality...

https://www.972mag.com/the-worlds-only-ethnic-time-zone/

If there's one thing I've learned about time keeping, it's that whenever you think you've got it all figured out, there's always one more corner case.
Also frequently called "Klondike 5"
Is it really that much code? I don't know GPU hardware, but the NVMe spec header file in SPDK is around 4k lines[0]. If there's 7 of them and they're twice as complicated each, we're still well under 100k from register map headers. I didn't actually look through Linux to see how big they are, so maybe it is that much more complex.

0: https://github.com/spdk/spdk/blob/master/include/spdk/nvme_s...
It isn’t. There is a cost, it doesn’t make sense right now to pay those costs beyond a few R&D centers. But make work visas harder to get in the USA, then it will make sense to do more R&and abroad.
I don't think the point is to either have good math or good code.

When you develop software in Coq and the likes, it is library code. It is high impact code that is guaranteed to be correct. It is written once and not maintained – You would never build the new Twitter in Coq.

When you develop math on Coq, you build abstractions. You just need to know that theorems that you are working on. Then you pull in all the lemmas in coq to help you solve that theorem. You do not need to understand the lammas coq uses to help you prove your theorem – coq does that for you. So your math is extremely concise. This is in opposition to normal math, where you need to be able to explain the hierarchy your theorem works on top of.
There's also the continuous collapse theory that assumes you start with a mostly classical gravity system and then just reach a runaway where the internal pressure can't keep up anymore, followed by the space time well getting rapidly stretched towards beyond an event horizon, making it so that due to finite propagation speed of this concentric ripple in space time, the further in you start, the sooner the distance left to the first spacetime outside for a fresh photon increases with time passing instead of decreasing, because the space time between the photon and outside continues to stretch fast enough to cause "beyond-infinite" red shift.
I can run Discord, I can run Firefox, Chrome, the only thing I can't run is Visual Studio natively, but I can run VS Code. I can run Rider and .NET natively though, so there is that, and a lot of things I like work better on Linux (specifically Postgres and a few Linux first type of projects, gnu utils arguably because it is OOTB on Linux).
Just reading the headline I was like "why X-ray them? Couldn't they just take them apart to see what's inside". But clicking on the article made me go "Oh, I get it now. This is damn interesting and very informative."

Well done!
That works too. I call it "proper" because it removes one step before I have coffee, which, no matter how trivial, is a big deal for me in the morning.

Interesting about the filter. I prefer super dark roast, Italian espresso-grind coffees. The paper filters give me a much smoother brew. Of course, as you say, taste is entirely subjective! I'm envious, because I'd rather have just one reusable filter rather than go through a stack of paper discs each year.
I understood the vibes it was giving off. Initially, it wasn't very interesting to me because I didn't relate to it.

But then, I remembered I have friends and family who've shared this epiphany well into their adulthood, some in their 70s and 80s.

The epiphany itself isn't very interesting, but exploring the different reasons why it takes some people so much longer than others to experience this epiphany takes one down some interesting paths. That was my point.
I think that first approach (Part of the name RyujinX from RyuJIT?) while not optimal did get them off the ground quickly, now with a bit of traction (people into the project since it actually functions) they can could easily find takers(or the time) to write the improved JIT.

I'm actually tinkering on a WASM runtime and emitting MSIL code from WASM trees is quite straightforward so far (tho running into some more complicated cases now that I'm integrating the test-suite), compared to the non-trivial (code stamping) pure native JIT's I've done in the past it's quite a big timesaver (and those still only did target one CPU platform).
I hope this is made by an obsessive graphic designer at AWS who's lost one too many arguments.
> At some point apathy and ignorance become malice.

Malice requires intent. Apathy and ignorance do not.

I see no constructive outcome of following this logically flawed line of thinking.
Very Onion-adjacent.

“I wrote a slur-filled racist rant in Word and big tech didn’t even so much as lift a finger to stop that, but if it had, it would have stifled my freedom of speech… so it kinda almost did that, too”
New content moderation system for Nostr
The client Primal.net launched a new content moderation system.

It shows what is possible for content moderation in decentralized networks
The correct way to use Mastodon is to follow hashtags, not people, and use lots of hashtags in your posts and comments so other people can find them.

When you follow people, you get all their posts, including the ones you aren't interested in. When you follow hashtags, you get all the posts that are relevant to you and none of the posts that are irrelevant to you.

If you put hashtags in your posts and comments, you will attract people with similar interests and they will engage with you. Xitter is a lonely place compared to Mastodon w/hashtags.
BLAST. FROM THE PAST!

I can’t believe the site is still up too!
AIUI, we don't have perfect analogs. The closest for grammar schools would be a larger version of the selective high schools some areas have (e.g. Boston Latin, Bronx Science, Thomas Jefferson High in Fairfax County, VA). A comprehensive or secondary modern is designed to teach all students not in a vocational track.

So you do have to test into them, but IIRC it's not quite as rough as the competition to get into the specific ones I mentioned above.

My experience here is from reading books that touch on the matter; those are not new books, and they were not new experiences at the time they were written. Mostly reflecting how they were perceived in the 1960s-70s. No doubt some things have changed, but that's a broad comparison.
Jobs should not come before the environment. Humans can easily adapt. The environment less so.
> You're asking a question meant to make them reconsider their idea in a very round about way.

How would you ask the question differently, if your intent was that you wanted to understand how they handled "{problem}"?
Btw, the old Facebook was pretty benign before pages and various kinds of global recommendations got added. It's still less toxic than Twitter or many others.
Not that you were, but I don't quite understand why people get so caught up on this fact. There are objective facts about the nature of reality, and we are all (or at least competent practitioners in the field) are thoroughly convinced that we have identified a subset of these facts.

These presumed facts have helped us do things like go to the moon and build skyscrapers, but then someone comes along with the old "but how do you actually know" argument of a college freshman, and then we get into a conversation about the potential social relativism of math.

All the while, people will see a half-assed psychology study with a questionable procedure, weak at best, erroneous at worst statistics and therefore tenuous at best conclusions, and this study is taken to be "true" and might legitimately impact notable institutions. Yet when we're talking about extremely complicated topics that exist on the edge of the horizon of human intuition, no matter how obvious the impact some people just refuse to accept things as objective simply because they fail to intuitively understand them.

Foundational fields like mathematics and physics are as objective as we can get. If you don't accept that, your belief about what is objectively true ends at cogito ergo sum and that's that. This has always been such a pointless conversation in my mind.
Skydiving.

I did an ifly 2 minutes flight (indoor skydiving), and my co-worker asked me if we should try to go do a real skydiving. I had 0 friends and knowledge about it. We went to website, looked that you can pay 300 to go solo, and 200 for tandem. Without even thinking, we payed for solo 300, just assuming it is a better experience.

We were sitting in a class terrifying while listening for 6 hours what might kill us. We both jumped the next day after the class (weathered out the day of the class). My friend did not continue. I am getting close to 1400 jumps.

There are several things I like about this sport. Adrenaline. While you skydive, you definitely don’t think about how to fix THAT bug, your focus is on Dropzone. People. 99% of people I have met during skydiving are the best people you can have around you. Various professions, various hobbies, ages, statuses. But in the plane and on skydive we are all the same. Bag of meat falling out of the sky. Some do it better than others.

Skydiving opens the world. There are so many activities around the places, where it is hard to get access to, but people in skydiving looking for various options to jump in those areas. I had one of the best experiences traveling around Iceland in a cargo plane with always open door, so we can jump in various national parks and awesome places where you need to hike for hours. One week trip was 4000 EUR per person, including food, lodging, skydiving and transportation. I definitely want to do similar to Africa and Egypt at some point.
I've been an AWS Hero for a decade, and I only got 5 out of 20 (and I was only sure on 1, the other 4 were guesses).

Obviously this is a joke to point out how useless the icons are, but I'd have thought working with them for so long I'd at least know a few of them.
This site is probably one of the most clever bits of advertising since the Will It Blend folks at Blendtec
Google Calendar does, at least. It even supports representing events that being and end in different timezones (like a plane flight or a cross country trip)
It is important not to think of black-white alternatives. The style "good job, kid!", "great effort, little man/woman!" is undoubtedly paternalistic.

There are people who like this style on both sides of the conversation, but in my experience, these are not high performers who make a difference in an initiative, a company, or a group of friends.

Now, the alternative to paternalism is not rudeness, or brutality, but, as I see it, a clear communication that does not infantilize people, but treat them seriously, like serious adult people, and not kids who have to be coddled or paid excessive attention too, or, even worse, as "damaged goods".

A few years ago, I received a message from someone I had a date with, and they used the sandwich, paternalistic style of communication that most adults dislike.
"Hi, it was great to meet you and we had such a great time. Unfortunately, I don't think it would work etc. I wish you the very best/you are a great guy/see you around".
Unsurprisingly, they were working in corporate.
It is annoying to be treated like kids when there are white hairs on semi-bald heads.
Wonder if they could use Google Takeout [1] to export all their YouTube data, and then try to search through the history data.

[1] https://takeout.google.com/
Well, that was some of the best advice I heard in high school. I went to a religious "prep" school, and one of the best teachers I had pointed out that fact to us.

He basically said that, if you're planning on working in a field that does not need a college degree, it's not "worth it" to go to college. In 4 years, you'll be making more money then someone graduating, and have no debt, and have savings.

It was "sacreligous" on his part because the school had a 99% college acceptance rate; but years later I bumped into an alumn from my class who went the contractor / no college route, and was doing well and very happy.

Edit:

> That's why all the smart people became home contractors

That's not a job for everyone, which is why college is also needed. I'd really hate being a home contractor, for many, many reasons. College was the right path for me, but I'm under no illusion that it's the right path for everyone.
Chinese tech salaries are pretty good, so much so that they attract workers from adjacent countries like Japan where tech salaries are traditionally less good.
This has to be a marketing exercise by the CT machine maker, right?

"We spotted casting issues with the new pot"
"We can see the density difference in the plastic"
"We found aluminum shavings"

For the right audience, this would definitely sell one of those big fancy CT machines.

Not that I'm complaining -- visuals, presentation, content is all thoroughly interesting, speaking as someone with an Aeropress, a Moka. Pretty awesome piece.
There are no labor shortages, they are lying.
> If you cant self-introspect and understand different approaches, as well as shortcomings in your own, then yes. I would say you are that hostile worker no one wants to work with.

That is entirely unwarranted, and beside the point.

> Where in that top post was the objective judgement "bad"?

No objective judgement is being made or communicated.

> We're assuming the "caller" in this case is right.

We don't need to assume that, or even take technical merit into consideration. This is not a question of who is right or wrong in a technical sense.

What is communicated by the caller's first sentence is whether the caller liked the approach. By their own admission they did not like it ("bad work"), but they communicated that they did like it ("I really liked").
To be fair, the pareto principle applies....80% of services are only relevant 20% of the time. If that.
Polars vs. Pandas: What’s the Difference?
My high school experience was largely teachers mentally assuming that their homework was the only homework we were assigned, and not realizing that the time we’d need to spend on all of it was 6 or 7 times what they personally did.

I had one teacher assign four separate (essentially busy-work) assignments over Christmas break. Ridiculous.
How MySQL Uses Memory
the 'boy' was also 21 when the thing happened, one could say the titling was never really appropriate.
> Every web-based message board has a better interface than the Usenet newsreaders did

This is a fascinatingly different opinion I can't wrap my head around.

To me it seems self-evident that every web-based or proprietary app message board interface is immensely worse than even the most primitive usenet reader of the 80s.
Hardly a new insight, Zuckerberg acknowledged that the future of the public square is private, about 5 years ago.
I wonder how mass-produced frozen falafel you find in every salad bar in the US compares to the Mediterranean diet. I suspect that the venn diagrams do not overlap.
The problem is you are using Mastodon incorrectly. It's not Xitter.

On Mastodon, you want to put hashtags in your posts and comments so people who are following those hashtags will see your post and because they are interested in those hashtags, they will interact with you.

Your post would have to be really boring or with no hashtags to only get one reply on Mastodon.

I follow dozens of hashtags but only three people on Mastodon.
What’s the output of such device?
Stripped down USB drives??? Why not 1tb MicroSD?
Is the fact that these systems cannot prove their own consistency actually a feature of the incompleteness theorem? I thought it effectively boiled down to "you can keep either consistency or completeness, not both". It's been a while since my metamathematics course ...
What the hell do you mean by "porting git to Windows properly"?
Finite, but bounded only by the mass of the visible universe.
It's an important problem and people in formal verification are aware of it. One example of tackling this is that the Lean LTE team accompanies the proof with "several files corresponding to the main players in the statement" and "[they] should be (approximately) readable by mathematicians who have minimal experience with Lean [...] to make it easy for non-experts to look through the examples folder, then look through the concise final statement in challenge.lean, and be reasonably confident that the challenge was accomplished".

Details in this blog post: https://leanprover-community.github.io/blog/posts/lte-exampl...
Cool quiz feels like it might be a psy op from https://www.antimetal.com/
Joe Betts-Lacroix from Retro.bio on the how AI can shorten the path to longevity
Haha I was going to do this manually but I just might turn it into a script.
That used to be a running joke within the original hacker (NOT startup-hacker) community
RFC 822 is what RSS feeds use and RFC 3339 is what Atom feeds use.

I don't know about you, but I think RFC 3339 dates are much more appealing :)