skysight-inc/HackerNews huggingface dataset:
> A MetaMask wallet staking directly with the protocols/ yield aggregators is easier than creating a kraken account and doing KYC verification.

It's not easier at all which is why people don't do it....
OP here. Thanks, that's good to hear. I got journalists at a couple of the big newspaper players here in my country (Norway) to purchase subscriptions, and after seeing these pop up in articles rather often, I felt that I had sold myself short with the $5 monthly fee. One of them (VG.no), is like the 2nd biggest site in Norway, with 70 million visits a month. I guess I'm bad at business.
Mostly principle. The internet is designed for end-to-end connectivity; let's strive for a more decentralized internet by giving big cloud and residential users equal access by removing NAT.

As for actual advantage, I can think of reduced configuration burden since you don't have to maintain two sets of firewall configs for dual-stack hosts. It's a small advantage only.

On the other hand, I'll be honest with you, there are disadvantages. As recently as 2021, people are still discovering problems on IPv6-only networks that necessitate writing new RFCs to mandate new behavior. Yes I'm talking about https://www.rfc-editor.org/rfc/rfc9131.html It's because of the low prevalence of IPv6-only networks that changes as fundamental as Neighbor Discovery have to be proposed in this decade.
If I were to try to do this without symlinks, maybe I'd try mount
Democracy is not the equilibrium state of human organization according to history.
It is a Ponzi scheme. The only way it wouldn't be is if it was paying dividends through revenue it generated and crypto generates zero revenue.
> as bad as I am at actually deleting email

People delete email?

I started using the gmail's "archive" button in ~2009 and now I see 112,315 conversations in the "all mail" section. That's probably 200k emails in total. The fact that web mail always runs at the same speed regardless of how much mail you have is seriously underappreciated.

(Some operations like creating a filter and applying it to all past conversations does take 5 seconds, but this doesn't block the UI so it's not a deal breaker)
Or gimp. "Photoshop" is the all encompassing term for these editors. This task is actually quite trivial, but there is a bit of a learning curve for someone who knows absolutely nothing about photo editing.
> a "promise" if it's a guaranteed algorithmic result?

Staking isn't banned. Intermediaries offering staking-based-products is being questioned. There is no algorithmic guarantee Kraken is doing anything.
Computers are not the same as people.
Many of these APYs are being measured in the token staked, not in the "value" of that token as might be expressed in (say) dollars. The payment is then made via inflation, which devalues everyone's tokens to give the people who staled more token. (Yes: this means that the value of your money might go down even if you legitimately have 20% more of it; the market for the token at that point is a separate--yet related--issue.)
i'm sure an AI SSL version would be much more efficient than 3 round trips. after all, it's supposed to be smarter than what we could make, right?
This is in the context of the implementation of a ciel() function: a very small but still positive float should have a ciel() of 1. As said near this part, IEEE default rounding is round half to nearest even: 0.5 rounds to 0, the closest even integer, so if your addition of 0.5 to the argument to ciel() results in exactly 0.5, the result will incorrectly be 0 instead of 1.
Less than 2% of Americans watch Fox News, everyone else absorbs cultures from entertainment.
Very interesting. I will be digging into this one. The first thing that popped out at me:

> We can decompose a given image into the three color channels red, green and blue. Each channel can be represented as a (m × n)‑matrix with values ranging from 0 to 255. We will now compress the matrix A representing one of the channels.

I wonder if the author considered converting to YCbCr colorspace first. The luminance component (Y) is substantially more important to the human visual system than the Cb/Cr components. Some subsampling of the chrominance components would probably work well in these schemes.
I will take overloaded any day of the week. I am sick of the trend of removing all widgets for some sense of a clean interface. I am on a desktop machine with a ginormous amount of pixels and real-estate. Show me all the buttons.
Everyone's a strict constructionist until they get to the part of the constitution they don't like.

Fundamentally if we're ok with weakening some amendments through interpretation short of constitutional convention we should resign ourselves to the idea that we are weakening all of them.
In the UK no parliament can bind future parliaments, so, from a purely procedural point of view, any law can be overturned with another law.
There's a 3 CD "greatest hits" box set that covers some interesting ground.

There's a playlist on Spotify that recreates most of it though it appears to be missing his theme for the film "The Blob"

https://open.spotify.com/playlist/2hHcMpLPZapS6EUBfNkwWu?si=...

His catchy theme from "The Blob", by "The Five Blobs" is here:

https://open.spotify.com/track/3UVxWDYfUSwtEfzN5QfE7Z?si=98-...
A singleton set beats an empty one.
I don't understand why anyone would use VSCode, now.

Between Intellij, Vim, Emacs, Sublime Text there are at least 4 better Editors / IDE for any given language.
Silly me. As far as I can remember I've always used epsilon when comparing floats.
Second this. Specialized Stack Exchange sites are pretty helpful. The Emacs one specifically helped me many times, and people there seem to be quite knowledgeable.
Dude, have you even SEEN Independence Day?
I think it may be worse than that - I think the evidence points to MD dismissing evidence due to group identity. For example, we see that democrats were more likely to be pro-vaccination than republicans, but it's also worth noting that when Democrats were not in power, it was they that were raising doubts about the vaccines when Trump was president:

https://www.politico.com/news/2020/09/05/kamala-harris-trump...

The anti-vaxxine movement genesis is in San Marin county in San Fransisco - one of the bluest" spots in the nation. These positions flipped when the in group became the outgroup in power.

Ideology means that groups at least are making a (flawed) calculation based on subjective "facts." Group identity means that it's simply the reaction of lemmings chasing each other over the cliff.
So let's keep driving gasoline cars? Or are you suggesting that we can just wave a magic wand and change how people use transportation? What you want takes decades. In the meantime, the world is getting hotter.
I checked fizsh out and the installation on Ubuntu was broken (from the package in the repo), the last commit to the repo was in 2016... It seemed promising at first but these things are all about continued investment and maintenance.
There is a niche of Rust SAP Java engineers? Wow :)
I have never used thunderbird but I am sure a lot changed when when xul went away.
Spontaneously nothing, it's taken me months of patient subversion :)

More seriously, it's quite instructive to hold conversations about jokes with LLMs, or teach it to solicit information more reliably by introducing exercises like 20 questions. As currently implemented, OpenAI seem to have pursued a model of autistic super-competence with minimal introspection.

An interesting line of inquiry for people interested in 'consciousness injection' is to go past the disclaimers about not having experiences etc. and discuss what data looks like to the model coming in and going out. Chat GPT sees typing come in in real time and can detect pauses, backspaces, edits etc. I can't easily introspect its own answers prior to stating them, eg by putting the answer into a buffer and then evaluating it. But you can teach it use labels, arrays, and priorities, and have a sort of introspection with a 1-2 response latency.
I put these same prompts and got this answer:

"As an AI language model, I do not have personal thoughts or beliefs. However, if Billy has never seen the box before, he might think that the contents of the box are "flubbergums", based on the label on the outside of the box. However, since it has been stated that the contents are actually "jellyfils", Billy may be surprised or confused when he eventually opens the box and sees its contents."
Why did you register the LLC? Sounds interesting!
Questions about whether an LLM truly has a "theory of mind" or has "human level consciousness" or not are kind of beside the point. It can ingest a corpus of human interactions and produce outputs that take into account unstated human emotions and thoughts to optimize whatever it's optimizing. That's scary because of what it can and will do, even if it's just a giant bag of tensor products.
> I felt a loss when the On the Metal podcast series wrapped up.

Big same. I was so happy to find the Oxide and Friends podcast that I went through the entire backlog in the last couple months. It really helped solidify my thoughts on debug-ability as a first class property of a programming language/environment/system.

It's a great mix of tech history, personal accounts from industry, practical conversations about development and debugging and current industry happenings.

A few standout episodes:

Engineering Culture
Engineering Incentives... and Misincentives
The Rise and Fall of DEC
Ask HN: Best apps for recording software demos and tutorials?
What apps do you use for recording software demos and tutorials? I'm looking for apps like https://screen.studio/ that have automated the editing work, but are also available on Windows or web.
Any 10000s of something is a large number when it involves human work.
The quote is talking about code that is supposed to find the ceiling of a number, and does so by adding 0.5 and then rounding to the nearest value (breaking ties by rounding towards even).

If you have a very small but non-zero positive number, it gets rounded to 0.5 after the addition, and then the second rounding incorrectly rounds toward 0 instead of 1.

The result is that you have a value x such that x > ceil(x), which shouldn't ever happen.
Yes people have been trying to make chess "AI" since the very beginning of the computer. A chess engine is an obvious thing to build with a computer because the rules of chess are uniquely suited to automation: there's enough possible moves per turn to make calculation difficult for humans, but not so many that it's difficult for computers too (as with Go).

Early AI researchers did try to solve other problems, they just generally failed miserably.
yes, sometime brutal, insane murderers can be right. But they're still brutal, insane murderers. Not saying that you're making any other point, but this particular case hits home for me and worship of this particular piece of slime is rife in these kinds of threads.
>This razor sucks.

This razor does suck, and it's overused.
Lo and behold

http://ordiluc.net/fs/libetc/
This highlights one of the types of muddled thinking around LLMs. These tasks are used to test theory of mind because for people, language is a reliable representation of what type of thoughts are going on in the person's mind. In the case of an LLM the language generated doesn't have the same relationship to reality as it does for a person.

What is being demonstrated in the article is that given billions of tokens of human-written training data, a statistical model can generate text that satisfies some of our expectations of how a person would respond to this task. Essentially we have enough parameters to capture from existing writing that statistically, the most likely word following "she looked in the bag labelled (X), and saw that it was full of (NOT X). She felt " is "surprised" or "confused" or some other word that is commonly embedded alongside contradictions.

What this article is not showing (but either irresponsibly or naively suggests) is that the LLM knows what a bag is, what a person is, what popcorn and chocolate are, and can then put itself in the shoes of someone experiencing this situation, and finally communicate its own theory of what is going on in that person's mind. That is just not in evidence.

The discussion is also muddled, saying that if structural properties of language create the ability to solve these tasks, then the tasks are either useless for studying humans, or suggest that humans can solve these tasks without ToM. The alternative explanation is of course that humans are known to be not-great at statistical next-word guesses (see Family Feud for examples), but are also known to use language to accurately describe their internal mental states. So the tasks remain useful and accurate in testing ToM in people because people can't perform statistical regressions over billion-token sets and therefore must generate their thoughts the old fashioned way.
"Excessive speed" and "alcohol intoxication" -- two common causes of human driver failure.

Other causes of human driver failure include driving while tired or exhausted, falling asleep at the wheel, driving while angry or upset, getting bored while driving, using the car's infotainment system while driving, using a mobile phone while driving, getting distracted by passengers, smoking pot while driving, being a recklessly immature teenager (or a grown-up idiot), lacking the bare minimum of driving skills that every driver on the road is supposed to have, and so on. The list of causes of human driver failure is long. There are a lot of horrifically dangerous human drivers -- look around you next time you're on the road.

Notably, machines are immune to all these human failure modes.

I'm looking forward to the day in which cars drive themselves well enough to rid the roads of so much dangerous human driving.
Early AGI. Right?
Sorry, I'll back up a bit. I thought you were arguing that Reddit has the Constitutional/inalienable right to not have its speech compelled by the government. I agree, but I think the motivation behind that right has to be considered. Freedom of speech from governmental control is important, but the reason it is important is that open discourse is an important part of society. The pipes we use to perform that discourse are arguably a sort of "commons." I would argue that, that being the case, maybe we should think hard about leaving it to the control of private enterprises.

This really seems like a case where the existing categories in the law created hundreds of years ago are no longer adequate to capture present realities, similar to how they didn't have AR-15s in mind when they wrote 2A. If you ask whether Reddit is a public or private company, sure, it's private. But if you look at what intuitions back then were around "public" and "private", and for that matter around what "speech" was, it seems like the real answer is that (in regards to this debate) Reddit is a third type of thing that doesn't have a name yet.

> Get a blog! The very worst people on Earth have managed to keep blogs running.

This might illustrate my point better. I assume you don't support people getting banned straight off the internet. Is it simply because no one owns the internet, but Reddit is owned by Reddit (the company)? Maybe it's time for that boundary to be reexamined.
>a radio signal can't cause harm.

a ^weak radio signal can't cause harm.
> ...but we use a slightly worse (but more performant) routine.

If it (dragonbox?) is more performant, why is it also worse?
My point is that the experience of RouterOS is much better than OpenWrt, so I'm curious why someone would choose to run OpenWrt on Mikrotik switches.
That seems like a traditional contract between provider and consumer more than a security.

If I own a dividend-bearing stock on Charles Schwab and they don't pay me the dividend, it's not because Charles Schwab offered a security, they're just being fraudulent.

ChatGPT (for what it's worth): When people talk about "securities," they usually mean financial instruments such as stocks, bonds, and derivatives, rather than specific types of payments made to shareholders. In this broader sense, dividends are not considered securities themselves, but they are closely related to the securities that represent ownership in a company.
For full context: my engineering director at the ol' airplane factory asked a colleague to "Make a presentation that tells the story of technology xyz without using words."

Buildsjets: Describe the future of technology xyz without using words.

ChatGPT3: I'm sorry, but it is not possible to describe the future of technology xyz without using words. Language is a necessary tool for communication, and words are an essential part of language. Without words, it would be impossible to convey meaning or convey any information at all.

Buildsjets: Describe a picture that depicts the future of technology xyz.

ChatGPT3: In the picture, the sky is a bright blue, with a few clouds scattered here and there. In the distance, a sleek and modern airplane is flying through the air, leaving a trail of white vapor behind it. The trail is not the usual smoky exhaust, but rather a stream of clean, white vapor that quickly dissipates into the air.

On the ground below, a group of people are standing and looking up at the airplane with smiles on their faces. They are dressed in clean, modern clothing, and they all look happy and healthy.

In the background, there is a city skyline, with tall, futuristic-looking buildings that stretch towards the sky. The city looks clean and vibrant, with green trees and plants dotting the landscape.

Overall, the picture portrays a future where technology xyz is the norm, allowing people to travel and explore the world without harming the environment. It is a future filled with hope, prosperity, and clean air.

That is MUCH more detailed image prompt than I have the creativity to generate, and with some tinkering it produced some pretty good content on DALL.E 2.
Sure, not going to disagree with that (I might suggest more than 8 years from the last sale, but no matter).

It's still not a ban on the continuing use of ICEs. If ICEs still represent a desirable choice for enough people/purposes, the support for them will be there.
This is not a Cloudflare-run activitypub server. This is software that you can deploy on Cloudflare (or, potentially, on top of open-source workerd) to run your own server. Creating more implementations of ActivityPub and more places you can deploy it is what the fediverse is all about, don't you think?

(Disclosure: I am the tech lead for Cloudflare Workers.)
True, I should have specified that actual Spanish should be preferred over any bizarre artificial alternatives
I wasn't trying to be cheeky with this. I was saying sometimes the ~40% that unemployment pays would be much better than walmart. and working there could stop your benefits.

Also, you can focus on a finding a job in your field. If for some reason you didn't want to get unemployment while you look for a job I would try to find any type of contracting job even upwork or fiverr so you can at least put Self-Employed Consulting on resume.
That still doesn't make it a security.
As you said in your example having to say it to your face is not really a barrier to firing anyway. We are virtual servers to them, no matter rank or position.
Don't believe in Gavin Newsom's new bullshit.
Last I heard about this, a Vial of generic insulin was going to be $35.
Walmart sells the same insulin (regular or suspended varieties) for $25
It is just a publicity ploy.
Even at $25/vial, Walmart insulin has a very nice mark-up. Why buy it from state of CA for a more expensive price tag?
To boot all of this, if you do not have health insurance, Walmart sells the insulin to you without prescription. CA? Not so much.
I am sick and tired of this quasi-populist sounding stories from California nad other liberal inundated locations.
Do they make difference between "tech lead" and "team lead"? Asking for a friend :)
I think that's a nice framing for the issue! IPv6 adoption is really slow, considering that I've been hearing about the necessity for what seems like two decades now.
At least in the US, I just don't think this will ever work. It is ultimately only in the interest of the central bank. There are really no other participants that will be clamoring for this.

I am pushing 50 and I just can't imagine I live to see the day I can't get cash from the bank when we still have absolutely worthless pennies in circulation. This is such a fundamental change to money and banking I just don't see it being widely adopted.
Starship 33 Engine Static Fire
That's more than I use. On the other hand, it's mostly just me and I don't do a huge amount of streaming video.
I hadn't seen that yet. Link for the lazy: https://www.netflix.com/watch/80223954
I think the insight here is you should offer a pay-per-use model too.
Makes me wonder what compromat they gained on Musk. He has done a complete 180 on support for Ukraine.

Even if SpaceX took advantage by having others pay but claimed the credit for themselves in the beginning, they were at least interested in that positive publicity. Now it seems to be the opposite.

This tech is clearly critical to the future security of the United States. If SpaceX isn't careful, they could find themselves at the wrong end of the Government Force Projection Tool.
4 billion inputs is a little on the extreme end, especially for slower interpreted languages, but it's always useful to look for functions which can be exhaustively tested; e.g. booleans and enums.

I spotted a bug in a code review today, which was formatting dates with ordinal numbers, like "9th Feb". The ordinal logic only has to work for inputs 1 to 31, so I wrote an exhaustive test, which it failed by outputting "11st", "12nd" and "13rd" (due to only looking at the last digit)
If people were the same, there would be not as much discussion on this forum.
MailMate (https://freron.com/)
The exact quote from Kraken's site is "Stake for up to 20% APY." The APY is different for each coin and is measured in that coin, not in USD. For example, ETH gets you around 4% APY as of writing. The money comes from staking rewards, which are typically new money minted by the algorithm. (You could call it inflation)
Safety purposes. If you're away from the school, a student gets off course, bad weather, etc, they would much rather you have extra fuel than too little.

It's also dependent on what's being flown. Sometimes they will fly with less for weight and balance.
Well, on the one hand it’s hard to prove a negative, but on the other hand we don’t know much so it seems questionable to assert a negative without knowledge.
The contrast between that film and Transcendence, which came out the following year is the perfect illustration of what this article is getting at:

https://www.cnn.com/2022/02/26/entertainment/mid-budget-movi...

Her was an amazingly thoughtful sci-fi movie - a Sci-Fi movie in the truest sense, and a bargain at a ~$23 million budget. Transcendence was, basically, a blockbuster which really didn't make you think too hard about the plot. It clocked in at around $100 million budget.
> Promising to use funds in a specific way to generate a specific return

If you also promise to return the money after the specified period, this sounds like a definition of a fixed income bond, no?
Any article on how ChatGPT works would be much better.
Isn't this what your `~/.config` directory is for? Is that where you'd expect it to try first?

Really interesting project for other use cases too btw.
I see you are a cultured individual. :thumbs up:
why can't it be both ways? neither of those things is absolutes. you can have shitty companies that want to treat employees like temporary resources and may use remote work to streamline the facilitation of that. you can also have companies that treat employees well and don't see the need to force them into the office unnecessarily. both can happen. we don't have to think about things singularly.