skysight-inc/HackerNews huggingface dataset:
Maaaybe!

This reminds me of the time I was running Linux on my desktop PC back in high school. I'd just received a very suspicious .exe email attachment, and to demonstrate Linux's inherent safety (despite not running any antivirus software!) to a friend, I double-clicked it – and Wine, invoked through binfmt_misc, perfectly emulated the virus it contained, writing garbage to my home directory (fortunately mostly the emulated Windows directories in it!).
To be clear, it was added to the standard because there was user demand for it.

Zero is already special cased in IEEE 754 (along with the rest of the denormals, because of the implied leading mantissa bit), the implementation would be no harder if you just only had a single zero. However, back when the standard was being created, when a single zero value was proposed there was pushback from people in the user community who depended on knowing which side of the zero they underflowed on their own floating point implementations.

Many people think that negative zero is just an engineering artefact. This is not true, it is a feature that was asked for, debated, and then added...

... almost certainly because it was an engineering artefact in a previous system that someone managed to depend on, https://xkcd.com/1172/ style.
The idea of AI knowing its limits and referring students to human experts in the field is a topic of great interest and discussion in the education industry.

Many experts in the field believe that while AI can be highly effective at providing educational support, there are limits to what it can do. AI is programmed with knowledge and algorithms, but it may not be able to understand unique student circumstances, or to address complex or nuanced questions that require human judgment and expertise.

That's why the approach taken by CS Levelup is so innovative - it combines the power and convenience of AI with the expertise and insight of human educators. The AI chatbot can identify when a student needs additional support and refer them to vetted experts in the relevant field, who can provide tailored and personalized support to meet their needs.

This approach helps to ensure that students receive the right answers from professionals who are skilled in the subject matter and can offer additional insights and perspectives that AI may not be able to provide. Moreover, it can foster deeper and more meaningful connections between students and educators, providing students with support and guidance when they need it most.

The concept of AI knowing its limits and collaborating with human experts is an emerging trend in the education industry and one that is likely to continue to gain traction in the coming years. By using AI to complement the expertise of educators, platforms like CS Levelup are providing a new and exciting path forward in online learning.
I like your attitude.
Are there really that many innovations in how to harvest a wheat field?
FWIW - I started running distance seriously only when I was 38. Ran my first half at 39 and ran my fastest half yet ( 1:39) at 44. Ran my first marathon at 45 - (3:56). I've gotten faster since then (per my 5K speed), but haven't run another marathon since - it is a significant time commitment.
It's the paradox of tolerance (https://en.wikipedia.org/wiki/Paradox_of_tolerance), where by showing tolerance to the intolerant, the intolerant will eventually keep pushing and eventually destroy the tolerant.
The Sorites Paradox in Psychology
How to setup Coq theorem prover for Vim and Neovim
It's pretty obvious that bluesky is mostly handwaving around decentralization and federation. It will all go in the too hard basket once the service gains critical mass.

Another VC-funded bait and switch; nothing to see here.
Internet disrupted in Pakistan amid arrest of former PM Imran Khan
Meta has a number of apps e.g. Instagram and services e.g. Workplace, hundred million times more users, revenue in the tens of billions and a highly labour intensive content moderation system.

The comparison is silly. Far better would be with mobile app developers who typically have much smaller teams than 24.

And so I would agree that their headcount seems excessive for what is being delivered.
My blog will turn 20 in July:

https://blog.rongarret.info/

I used to get lively discussions in the comments but lately it's been mostly crickets. Not sure why. It's been kind of discouraging, so if you happen to be a fan and want to see more please drop a comment.
Yeah, I just completed a 100 mile ultramarathon where over half of the starters didn't finish. I was miserable (heat, blisters, quads busted from downhills), but right now I am trying to fill in the rest of the year with similar events!
That looks like the problem is Amazon's interview process. Amazon is a world-class cheater that sells counterfeir profits for profit, so cheating to get in is a positive signal.
This is new to me and I'm digging it. It says something about spotify that so many people seem to want to reinvent the wheel.
Ah. So, I should have said this earlier: there's a whole different world of cubesats that are what you're looking for. We could almost certainly help the astro community by funding and launching large fleets of simple scopes that make observing time available to more researchers.

You don't service cubesats, you just learn from your past mistakes and launch more.
Orthogonal vs non-orthogonal is specialized jargon. And discussion should try to stay accessible and prefer a more widely understood term if a specialized term really isn’t offering any advantage in the discussion. So I’d agree with you on that.

A better way to put the concern is the use of a passkey and access to digital life accounts should be independent, but the concern is in practice they could become entangled.
I really wouldn't mind buying special purpose hardware. In fact, I think I prefer it.

The whole story here is that modern SSD controllers tend to embed a bunch of very fast very expensive data-processing cores to quickly do a ton of fancy mapping. We don't hear it quite as clearly these days, but for example for a while higher end Samsung SSD controllers were announced as penta-core ARM Cortex-R[1] systems, and I think those Cortex-Rs are what most folks do. (It was groundbreaking news that WD released an open source "swerv" RISC-V core which they'd experimented with using instead, https://blog.westerndigital.com/risc-v-swerv-core-open-sourc... .)

Ideally, the fantasy is, we can build much cheaper & faster controllers that do far less. Zoned Namespace drives should ideally have enterprise grade, fast, dual-port access, but in many ways, I feel like they should ideally be far cheaper than DRAM-less drives. They should leave even more up to the host. They should be incredibly dumb & simple drives. They should be lower power, by far. They should eskew DRAM. Drop all the legacy baggage & expose what you are, un-intermediated, so we can be fast & use it well. Which you, the drive, with all purpose tasks, could never do.

It's not worth it, to me, to make a drive that still keeps the ancillary old baggage of convention. If you want to make a good ZNS drive, make a good ZNS drive.

[1] https://en.wikipedia.org/wiki/ARM_Cortex-R
Best Smart TV?
We’ve had a number of threads complaining about not being able to get a dumb TV. But what is the best smart tv? One that doesn’t auto play shows or ads, always appears as a chrome cast and Airplay target, uses little energy, and has good app and automation integration, etc? So far my experience has been that a Vizio was pretty decent, and the Samsung I got when the Visio took a remote to the face absolutely sucks.
Doesn't seem to be working does it?
The platform does. This isn't hard. You can go check out Gab or whatever right now and see what happens when a platform prides itself on 'free speech'. A platform turning into a toxic wasteland because it doesn't want to ban or kick people off for being nasty means only the people who thrive in the muck will join.
22km?
Low value, yes. However I would give a strong negative value to your very public cynicism. Pissing on people’s excitement is not exactly helping. ChatGPT is revolutionary, even if I personally find the AGI discussions turgid.

It is especially egregious to complain about it when the link is about ChatGPT - why don’t you just avoid commenting on those links?

> linking to a google search

I started doing that a year ago (with duckduckgo links), and I think this is often a genuinely useful thing to do and it saves other people time. Firstly I ensure the search terms are specific, saving the reader the effort to discover what search terms work. Secondly I do it for acronyms - to try and prevent that one person asking what the acronyms are.

I also suggest you reread: https://news.ycombinator.com/newsguidelines.html (I just did).
The best example on kahan's webpage is Borda's mouthpiece. Signed zero makes it look right, unsigned creates a singularity
That close to Boston, they have an 8-figure net worth.

That must be why they can't hire help and want to hold onto the land to bequeath to their daughter.
Harry K. Daghlian, Jr. – America's First Peacetime Atom Bomb Fatality
Twitter seems ill-suited for long-form video content. It's optimized more for bite-sized interactions, not prolonged viewing.

The lagging, buffering, and poor video resolution reflect this. Platforms like YouTube or Vimeo have honed their infrastructure for stable, high-quality video streaming and created an interface that promotes sustained engagement.

For Twitter to compete in this space, it needs to fundamentally rethink its approach to video content, from infrastructure and compression algorithms to user interface design and balancing social interaction with content consumption.
Jeff Geerling Self-Hosting with AT&T Fiber Internet
I can see wanting Apple to lose, but I can't imagine wanting Epic to win. That was such an ugly parasitic business model: let others take the risks to build platforms, let others operate the platforms, get the courts to mandate equal treatment for Epic to swoop in after the risks pay off.

I'd have to sympathy for the phone platforms, but it would have destroyed the console market overnight. No way consoles work if every penny of customer lifetime value has to be in the up-front sale price.
This reminds me of Footnoted*, [1] a site that surfaces useful info that companies hide in footnotes, bury on a Friday afternoon dump, etc. I think there's a weekly newsletter that comes out after the Friday news dump has been picked through.

EDIT: found the newsletter [2]

1: https://www.footnoted.com/

2: http://fnd.footnoted.com
I've been having to use both Outlook 365 and Thunderbird in the last few years.

Thunderbird is way better than Outlook.
We are nearing, if not already well past, the inflection point where solar panels powering industrial chemical sugar production can make sucrose and feed plants (and therefore animals) better than the plants would naturally produce themselves using chlorophyl with the same sunlight.

Rewilding - bringing artificial human-made processes to grow
thriving natural environments - is something we should definitely consider. We are capable of creating abundance beyond what nature provides alone
Open YouTube video links directly in the app
As you know, YouTube links shared on some social media platforms (Instagram, Facebook etc.) do not open directly through the mobile application, they open in a new tab in the browser, since most people do not use YouTube through the browser; doesn't watch or just watch and pass the video, don't bother to like or comment. Because it does not use the browser; He probably didn't even log in there, and even if he likes the video, when he sees the "log in to continue" text, he says "offf... am I going to deal with this now...", closes the page and goes about his business, this is a situation we do not want, of course.

That's exactly what Ytbe.one was developed as a solution to that.

The links you share with Ytbe.one open directly in the YouTube mobile application, so people can easily watch, like, comment on your video, and subscribe to your channel. This will increase your video interactions.

Copy your YouTube video link and go to Ytbe.one and paste it in the appropriate place, and... that's it! Now your Ytbe.one connection is ready! You can share your link anywhere you want, your videos will be opened directly through the YouTube mobile app.

Website: https://ytbe.one
The sub title explains it fairly well

>Celebrating the Æsthetic Collapse of a Xoomer Subculture

He seems to be alluding to how the scene changed in the late 90s and does so throughout the article while giving a brief history of it all. The rave scene became the club scene and became a commodity which are things antithetical to what the rave scene was. The rave scene of gen-x is dead and what we have now is very different. I get a strong feeling he is trying to be the Hunter S. Thompson of rave with this piece and he does not quite pull it off.
A Google search reveals: Starship has an 8 meter internal diameter. The Hubble mirror was 2.4 meters. The largest ground telescopes with a single mirror are somewhat over 8 meters in diameter. Though these don't have to withstand a rocket launch. JWST has a 6.5 meter segmented mirror with 1.3 meter per segment. It was folded up to fit into the Ariane 5 fairing.
Is your Amazon shopping experience better than 10 years ago? Is product discovery easier? Are you confident that you’re getting genuine merchandise? Are delivery promises being met? Are the prices competitive with other online and offline retailers?

All of those have gotten worse for me. The fact that FakeSpot exists is telling.
Things are going to get wild in the US the first time someone uses a drone to take out a corrupt cop who received a paid vacation as punishment for brutalizing an innocent person.
i always thought that the concept of free will didnt bother me. but it turns out i just didn’t understand what it implied. oh dear.

if it turns out that true, it’s truly amazing how well we convince ourselves that we’re in control.

but if our brain controls our actions and not our consciousness, then what is the purpose of consciousness?
Reinforcement Learning and Optimal Control: Books, Videolectures, and Material
The economic value from operating it will generally not match the opportunity cost of not doing other things.

And those operating it will learn the cost of this the hard way when they fail to have access to the niceties of modern society that require exchanging what you've produced for something produced by others. Like, say, the computing device that you used to post your opinion.
Parental control the watch's functionality during school hours to just calling or texting 911 and mom/dad?
What if consoles make money from games without turning games into rent-to-play with no resale value?

Platforms are hostile to the consumer and can't die quickly enough for me, that's why I wanted Epic to win.
That was exciting. I'm looking forward to the rest of the series.

This reminds me of the "spooky wisdom" of cities that Chuck Marohn has written about, although it's more about culture and economics than construction:

https://www.strongtowns.org/journal/2019/9/19/the-spooky-wis...
It seems like every (non-mac user) I know who doesn't use a web client uses Thunderbird. Am I the only user of Evolution?
FSB's Snake Malware
I understand that these quotes are poignant symbols of how dependent rural areas are on cities, but you can't expect to base an argument about economic change on some quotes that you liked from books.
It's only ambiguous if you think it does two things. I say it does one thing.

-4 always removes 4, whether or not there is a number to the left.
Is there anything else anywhere that points to this strong bias you have? I have seen one other person bother to comment, in a slightly more sly negative way, counting how many '&'s I used.

I obviously dont seem to share the sensitivity, it seems natural to me, and I'm not sure where these feelings & reactions come from. I feel like there should be some substantiation or discussion, something available, if & for and is so unsettling to folks.
I tend to agree with your analysis. But that is precisely my beef with the term. You seem to be saying that the term fits _because_ it describes a population that violates security expectation, _because_ it is "generally not smart, except for theoretical surprises" or "easy to hire for nefarious purpose". Neither one is very flattering, neither one equates to "evil" and neither one applies specifically to maids. A neutral term would have been an "adversary with temporary physical access" but that is not nearly as catchy.
Seems a lot like what's happening with the modern left, honestly.

But I think there's a way around that, especially on platforms, it's just to separate opinion from personal attack.

HN does that pretty well, though not perfectly. But in society people have gotten away with promoting this pretend idea that ideas can be the same as violence (or variation on that) and want to pretend that some general claim someone makes is the same as a personal attack. If we can have platforms that are mature enough not to get caught in that, I think it's possible for different views to be aired and repugnant ones to be called out.
I didn’t think of that. Good analogy !
Crnjak (tsr̩̂ɲak) has usages in Croatian language, one of them is "black" wine, the other is black joke.

There might be a reference somewhere where it is used as a description of a person, but probably not in Croatian.

I did notice Google Translate hallucinates words, some very amusing, when I translate from Any -> Croatian (this happens automatically when reading Google Maps place reviews). There has been quite a lot of words that naturally map to Croatian but there's no text (outside of blogspam) that uses it on the Internet.
That was an interesting read! Thanks!
This looks like the pre print http://www.brycejdietrich.com/files/working_papers/dietrich_...
Ah the old 'you were a fool to trust me' defense.
Seems pretty easy to identify the song it's based on to me (and the original composer even threatened to sue). The rhythm's also pretty similar though.
If so, maybe that says something about that claim?
Yes.

https://www.geoforce.com/how-can-gps-be-used-in-precision-fa...
https://wheatfoundation.org/innovation-to-feed-the-future-a-...
https://www.corteva.us/Resources/graininnovations/grain-inno...

And a whole lot more.
But most people are also enwrapped in fantasies & dreams & ideas of where they are going.

What's happening to them famously doesn't incurse upon our dream-selves, is my view. We stick to our dream-selves & our quests, regardless of externals. And sometimes that is foolish. But it also shows I think a pigheadedness that gets it, that picks long wins, that isn't detered.
Makes sense, similar to a serving spoon (though not so handy for moving sauce around, which could be a plus or minus).
Spotify client has interesting history, originally it was very tight, raw win32 I believe, than iirc they transitioned to Qt and finally few iterations of the "modern" web based stack. Fun fact, the original client was developed by the same person as ScummVM, OpenTTD, and original uTorrent.
It's not only tiresome, it's unproductive. Why it's the case is probably for a whole host of reasons - generally poor education, media, cultural.
That's obviously what they said!
Key value FTLs have been around for about as long as FTLs. The logical block address -> NAND page forward map is just a key value store after all. It can potentially take one layer of indirection out of applications but you still have one there (the FTL). Or alternatively exposing the raw NAND and having the software manage it is another common way to go (indirection is in software now instead of hardware/firmware).

When I worked on FTLs it was always a thing executives and product managers liked to talk about but didn't seem to provide incredible results and people generally didn't like using them because it was just harder / different to manage. Has that changed?
Ever since the EPA banned the "toxic uneducated millennial"icides they've really started to overrun the corn and soybean fields. Grouchy boomers and gen x'ers can drive them away organically by telling tales of how they worked 8 or even 10 hours nearly every day, but these deterrents are getting harder and harder to find in the heartland - they are migrating to Florida and Arizona.
Fascinating, per the post, they were struggling in most of 2021 and 2022, and there were some last minute contributions in December 2022 that bumped up their 2022 numbers. Curious what outreach or activity they did in Dec 2022 that led to the influx of funds.
Apple has a “files” app that lets you access your “home directory” on the phone. It def has “just there for storage” space. It’s literally the best way to access/delete some log files.
>I can easily imagine it having no understanding of "what humans want/need".

There are many examples of human needs in the current dataset; and we usually state our wants rather explicitly. It would be some AGI that starts from this training data and knows our languages but knows nothing about us. Using your phrasing, we can say that the current training method guarantees some alignment (the AI would understand us at least in part, but won't necessarily do what we want).

To have AGI without such understanding, someone would have to explicitly design a new method that ignored human data, and then find some way to evaluate it without referring to humanity, yet maintain generality without any tests, all this for no good economic reason when the current methods work and allow us to use huge free datasets.

It's something to keep in mind for evaluating some future non-currently-existing training method (maybe some way for AI to train AI using artificial datasets?), but not a current concern.

>the near-certain destruction of unaligned AGI

It's not near-certain. We have no idea how a true AGI would act. One might assume the worst - and that's arguably fine out of a safety perspective - but an engineer also learns that concentrating on one worst-risk outcome can lead to much worse outcomes on other risks.

Take the famous paperclip maximizer. True intelligence is rarely monomaniacal. The maximizer is very likely an example of aligned AGI, where the humans in charge did too good a job of attuning it to create paperclips. Another example: a true AGI is unlikely to believe in some cult's apocalypse - but if the cult has access to alignment, then they could get an AGI to do their irrational bidding. We know these groups will try to use AGI, because some cult already tried to use science for extreme measures[0].

Basically, every scenario of "unaligned AGI does something bad" is equivalent to a scenario of "aligned AGI does something bad because human made sure with alignment that AGI would do it", and there's no scientific reason to assume the former is more likely than the latter*. If the AI-safety camp keeps ignoring obvious issues, people aren't going to take alignment seriously beyond lip-service or using the phrase as a cover for monopolization. Frankly, the way the AI safety camp talks about all this makes all the risks much more likely.

[0] https://en.wikipedia.org/wiki/Tokyo_subway_sarin_attack

* This suggests a lot of the work should go to reactive solutions where even if an AI goes bad, it won't have the ability to do harm.

** There's another scenario, where human competition leads us to basically make humans redundant, but again it doesn't matter here whether AI is aligned or not. Yet another issue that we'll not talk about, because both AI camps feel it critical to put their heads in the sand.
Dollar is backed by the US military. A credible dedollarization threat will mean that the US will use it's military might to stop it in any way it can. Saddam tried it, Gaddafi tried it... Iran and Venezuala have been trying it and Russia, China and now some middle eastern superpowers have been toying with it.

So far, none of them have had any teeth and it is unlikely that it will happen anytime soon (not in the next 50-100 years).