skysight-inc/HackerNews huggingface dataset:
Having traveled for many years, I've developed the ability to understand 95% of what people say in English even if their pronunciation is off. A funny thing about English is that actually the vowels aren't super important, except for in cases of ambiguity. Try it sometime. Yi cin riplic ill thi viwils in i sintinc with i singl viwil ind still indirstind. The problem is that most English speakers' ears aren't trained to expect unusual pronunciations, and it throws people off. This happens to me often when I speak Hungarian. Hungarians are not used to people learning Hungarian, so unnatural pronunciation can be really hard for them to follow.
Given the headline, you'd think Bitcoin would maybe be bothered, right? Wrong?

Bitcoin started the year at $16.6k USD and is currently $26.9k USD (a return of 62% year to date).

Why?

Who/what is dumping money into Bitcoin that would cause this much demand? Can the rise in price be attributed to demand? I don't see how it couldn't be.

How many millions of USD have been converted into "buy and hold" long term BTC investments? Is that the main driving force for this increase in price? It has to be a very sizable amount for BTC to be outperforming every other asset class... right?

There's no way the price is artificially up 60%+? How could it stay propped up? I've seen it mentioned many times before that crypto can possibly be manipulated by whales or "smoke and mirrors" if you will. Coinmarketcap.com says Bitcoin volume in 24 hours is roughly 615,000 BTC ($16b, 3% of the total circulating supply)

Is there more money going into BTC (inflow) than SPY/VOO/VTI/IVV/QQQ/mutual funds? I wouldn't imagine so. Why is the money that is making it into BTC (is the average middle American dollar cost averaging a portion of their paycheck bi-weekly into BTC through Coinbase?) able to increase BTC 60% YTD but a more sizable portion of money (because we can assume the stock market is much much larger of an investment vehicle) going into SPY/VOO/VTI/IVV/QQQ/mutual funds leads to a lesser return (SPY is up 3.95% YTD with like 1/4th of a 1.6%/year dividend in the process of being paid out so far, so call it 3.95% + (1.6%/4 quarters=0.40% quarterly dividend, Q1 just being paid out) = 4.35% return
Because Europe is now mostly living on past’s legacy, the harsh truth is that without North America (software) and China/Taiwan (hardware), technology wouldn’t have progressed a thing in the past decade or so.
I think part of it comes down to emulation being less than great for some use cases. I'm fine with emulation, but some want the real experience. The difference with CRT displays vs modern displays is particularly noticeable...

I seem to recall a video running a Control, maxed out on a 22" Flat CRT at 1280x1024 that looked better than a 4k display sitting next to it, let alone the performance differences.

I know I held on to my pro grade CRTs until I had to move them 3x one summer... man they were heavy. Had a permanent bow in my desk.
OG Text: https://www.cftc.gov/PressRoom/PressReleases/8680-23
> I don't think you'll regret spending the time; RDF is a fascinating field!

I love RDF. I'm using it for a project of my own, which has nothing to do with semantic web. I'm not using any of the standard ontologies, or OWL, or anything like that. I just wanted an extensible, schemaless data model, because I have no idea how folks will want to correlate data with each other. Being able to hang anything off of anything is important.

I'm also not processing trillions of triples for my work (if you ever look at triple stores, they like to taut how fast they can import vast troves of data).

Mind, I'm no doubt reinventing some stuff that I could probably be using a standard vocabulary for, but since global interoperability is not a goal, I'm not that concerned about it. I also have some concept of structure that I'm capturing, and encoding, and I perhaps could be using something like OWL for, but this is ad hoc doing things as I go and while there may well be gems within those spaces I can leverage, I'd rather make progress on my own path at the moment than fall into those large maws of times trying to suss them out to see if I could adapt them to my project.

SPARQL is an odd duck I'm still wrapping my head around (30 years of SQL warps ones point of view), but at least it exists, and I can use it.
FWIW sel4 could have verified the C, they simply decided to verify the machine code so that they didn't have to trust that the compiler correctly complex the verified software.

The issue with more broad formal method use is that it's quite a bit of work. The code to be verified has to be designed on the onset for verification, which limits design choices in interesting ways, and even then the verification code far outweighs the code being verified, at about 25:1.
I need to send out Excel files to clients and they need to display 100% perfect when the client opens them with their Microsoft Excel. So using Google Sheets or LibreOffice is a risk, because while they work 99% of the time, they tend to break with power-user Excel features like integrated resource links.
> I’m in my 50s and have several friends that I would consider very very good friends. We all have very different schedules and family obligations. If I’m very lucky, I might see them once a month.

And that's absolutely ok. That is life. But I'm also sure that if one of those friends needs you or you feel that he needs some kind of help, you'd find time for them because that's what friends do.
Why do you think trailers are better than mini houses?
Official press release: https://www.cftc.gov/PressRoom/PressReleases/8680-23

Charges (pdf warning): https://www.cftc.gov/media/8351/%20enfbinancecomplaint032723...
For me specifically it’s the ability to seamlessly loop a track especially those with silence in the intro/outro. More specifically I’d love to see it implemented so I can play rain/waves sounds without a noticeable start/stop to the track.
When I saw the URL, I thought "did Smitty Halibut get a new domain name"? But it's not the same person/people, apparently. "Different fish, people!"

(halibut.com is the QTH of well-known podcaster/hacker/dude Mark Smith)
The problem is that, historically, intellectuals in the Spanish-speaking world love excluding average people from participation.

So the most interesting discussions happen in closed circles not in the open.

It is a shitty way of building a society that has its roots in colonial times.
First message I saw was someone dropping the N-word.

I'm not upset at the app. Just wish we could have nice things.
It is incredibly lucrative to take one of these jobs. The last three white house press secretaries went on to become commentators and/or high ranking politicians. It's really not that hard to understand why people want the job.
The issue with normal programming languages is that they are rarely properly sandboxed and deterministic. Jsonnet can't wipe your hard disk or steal your passwords.

Something like Starlark is probably a good option.
I’ve been thinking about this for business communications made from GPT. A company policy to not edit the outputs, only the inputs, and keep them version controlled.
Thanks for the info! Yep, they seemed fairly basic from what I could see. I think I tried to create a data model that roughly reflected how they worked before reading up on anything and it was close enough to correct.

Never heard about button sequences being a possibility! does that mean the menus were tracking the sequence of keys inputted or you structured menus in a way that allowed sequences to work (e.g. tons of spots at the end of a menu that all just overlap so the user doesn't notice)?
I don't know exactly why but I can't watch that guy for more than a few seconds. But those machines are sure cool. I'm criticizing him, or myself, not you just to be clear.
It’s the tether lending machine.
Applying Sandbox Security to Node.js Unikernels with OpenBSD Pledge and Unveil
Companies have been gathering data for over a decade now and storing it in massive data warehouses with often no plan for how to effectively use it. I would not be surprised if turning those warehouses into a source for various LLM applications becomes the dominant use case for the industry very quickly. I expect we'll see some of the big incumbents like Snowflake roll out first-class vectorization of existing warehouses in the coming months.
Profit sharing is pretty common among SV companies except the newest SaaS era. Chip companies and other tech businesses do pay out that way.

Dividends aren’t great tax wise but some big SV companies like Intel pay them out.
The good thing about Nim is that you can chose between several garbage collection algorithms, use no garbage collector at all and do manual memory management or allocate without freeing if the program is short lived and doesn't use much memory.

Also having a C interface is great since you can use any C library.
Thanks for trying it out. Although I have given specific prompt instructions to exclude sponsor details from the answers but sometimes it still gets through. I will look into fixing it.
the author is best case a cringeworthy consoomer, worst case a paid shill (you thought microsofts 10B were intended for research?)

Only open source LLMs can truly be safe, everything else are black boxes posing an existential risk to humanity.
Ok, switched to Linux.

What's the best way to help improve the Linux Desktop experience?
If you put 2 labels on an email, then it is represented twice over IMAP.

IMAP is folder based, not label based.

And what this means is that if you remove an email from a folder, you don't actually remove it completely, you just remove the label, and the email continues to exist elsewhere.

(I might be wrong about this behavior: the behavior of deleting an email over IMAP depends on whether it has labels left or not).

Update: good read about how the system doesn't behave like you think it does

https://www.tomscott.com/fix-gmail-labels-threads/
Their official launch video says 9.1 seconds instead of 22.2 seconds.
I use windows when I work in the emergency department. These ads drive me bonkers when I’m trying to use the software to take care of patients.
> In addition, the company also redesigned the overall user experience.

Well, maybe it can be fixed as it enters public preview and they get more feedback.
>Given the headline, you'd think Bitcoin would maybe be bothered, right? Wrong?

>Bitcoin started the year at $16.6k USD and is currently $26.9k USD (a return of 62% year to date).

You're citing the growth in the last almost four months as evidence that Bitcoin isn't bothered by news that broke about an hour ago?
at no point did i say it was fun, or something to be emulated. my point was that post war ussr was good at providing bare basics. i still think my assessment is correct and i think population growth in eastern europe during those times vs now suggest im right. also the fact remains that the soviets built A LOT especially considering that imperial russia was very much an agrarian country. pretty much all the concrete jungles accross eastern europe is the work of socialist housing policies
Yeah, the big question is honestly if SVB would still be here if they had been able to borrow in this new way. On paper, the reason people panicked and did the run was because they felt their money was locked to the maturity date and that SVB would not be able to take out loans against their very real assets.
> multiple complaints about window handling

Gotcha. macOS has its own paradigm and does certain things differently, that's for sure, but I don't think it's anything a reasonably experienced user couldn't get used to. It's added things like full-screen in recent years — not as good as a maximised window, IMO, but there are utilities that can handle that.

> There were articled about upgrade issues, and of course a lot of hardware issues.

I've never run into an upgrade issue, and the fact that they're free is a big bonus. I've had one or two issues with my macbook pro, hardware-wise, but the general quality of the hardware is second-to-none, as far as I'm aware.

> everything is nailed down without options

This is typically why I, and many others, prefer macOS. I actually don't want to be endlessly tinkering with my OS — I quite enjoyed doing that in the early days, but now I just want to get my work done in the most pleasant environment possible. However, I haven't used any recent Windows versions, so I can't really compare.
Ansible provides a module to install OS packages. It works with apt, yum, dnf, pacman, etc. This is just one of the implementation wrappers around a universal way to accomplish the task.
This same mechanism also allows uninstallations and relies on the OS to manage dependencies, which it does.
This one true way necessitates the "OS package manager" being the way for an OS to manage packages.
This exists, and tools exist to eliminate the need to memorize how to do these processes like update, remove, reinstall, rollback, etc. It also centralizes into one config Nd workflow your very limited number of trusted parties, what their GPG keys are, and how to validate, rescind, and securely handle and use those keys. It handles digest verification, sha sum validation, etc.
One way to do this exists by as many names as there are distro families, but it's one way nevertheless.
This way, with these keys, stored under the security postures built and refined over decades, exists.
The people complaining that this one way should be used turn out to have a valid point, and your suggestion is important, so it sounds like you're in agreement: let's use the OS package manager when installing OS packages. This way should be foremost, recommended, and most prominent. It's easier and safer. Do you disagree?
I wish we could just move back to native apps and stop using the pile of crap that is Electron or any other attempt at bringing web stacks to the desktop.
Peter Thiel deserves to be unbanked.
Oumuamua's behaviour has a natural explanation
In addition to the semantics, part of which I tried to understand and failed [1], Zig also has a problem with compiler bugs.

In that same post, my very first example ran into a compiler bug. This is not reassuring.

(Though to be fair, I've run into more compiler bugs than most do: one in GCC, one in Clang. Maybe I'm just unlucky.)

That, combined with the fact that the bug was still not fixed last I checked, Zig's security bug policy is to consider them non-security bugs until 1.0, and it is still not 1.0 makes me wonder why anyone would choose it for a major project to run in production. That was TigerBeetle's first and biggest mistake.

[1]: https://gavinhoward.com/2022/04/i-believe-zig-has-function-c...
Where every idiot with a Google account/Microsoft account/phone number can sign up for their service and start churning out tokens per second by the query, I'd say it's pretty open to the public. The far more closed alternative would be to keep it invite only, granted only towards a set of elites, at select companies. Only OpenAI knows how much $20/user is charging them, but for the price insensitive wealthy, after being given a demo of the technology, I could see those that get it easily paying thousands a month for access. We, the general public, wouldn't be able to keep up with the UnopenAI-productivity-enhanced. Sure we'd all love if the GPT-4 model was available via BitTorrent, on agreeable licensing terms, but a truly closed, private, version looks far more dystopian for the future of society.
It really isn't. Even in parts of the world that are definitely not impoverished. 20$/month would place it almost at the top of the most expensive subscriptions I have and I live in Italy.
But we’ve automated away their job, why were they hired to exist learn the skills?

The demand for engineers, and therefore junior engineers, will be reduced. That is the goal.
I wish Alpine didn't exist because it's been quite a time sink for my team in terms things that are randomly different from mainstream Linux, and things that end up not being supported at all. We often have to fork projects just to add a Debian image so it's usable in our deployment context.
It wasn't operating last year when bitcoin was crashing?
No, in democratic societies you have the rule of law. This usually blocks incumbents from changing the rules as they wish. Yes of course natural rights don't really exist, but legal rights enforcing some of them are about as real as money.
To be more specific, it wasn’t the 28th yet in those locations when I commented.

Which is why I said it’s launched at a specific time per locale. Like 9pm on the 27th or something like that.

Same general point but worth mentioning that it was earlier than the 28th there
> You don't want to save the fingerprint in a stale, insecure database like that.

I'm trying to figure out how having a stale fingerprint would be an automatic bad thing.

Let's assume you have a server with a fingerprint stored in DNS. Something happens and the server's certificate/key needs to change. So now you push out a new key fingerprint to DNS.

The failure mode for an out-of-date fingerprint would be to not trust the new server's key. In this case, the default failure mode is to fail safely. The client could then have a few new options, like querying the authoritative DNS server or prompt the user.

You can argue that you wouldn't want to have stale DNS caching in an automated system, but in a user-interactive mode, it's not the worst thing.

And for an automated system, the system should be robust enough to manage a bad fingerprint (fail safely again), or be in control of the entire infrastructure, including you DNS cache.

Or am I missing something?
Google also uses them for other types of structured information to show what they call "rich results": https://developers.google.com/search/docs/appearance/structu...
Yes. I would hope /any/ OS has changes over time to continually improve, as long as those changes are properly documented and have a valid deprecation pathway, it's not an issue for software under activate maintenance.

The problem with Ubuntu is that they have made, and are accelerating, changes that provide no relevant benefits for most use cases and without good documentation or deprecation pathways, and with core OS functionality. They are making a lot of user-hostile changes that are intended to push users towards using Canonical created tooling and systems away from standardized techniques that work across distributions (e.g. the move from /etc/network/interfaces to netplan, the current push towards snaps away from apt packages).

By contrast, the changes in something like Alpine are much easier to deal with as part of our maintenance. Many of the changes are more negatively impactful for use-cases are Alpine that are outside of containerized applications, so they don't impact us.
The chipmaking computation is inverse lithography, and the Nvidia system that is speeding it up is cuLitho on DGX H100.

I like how inverse lithography and neural network backpropagation were both techniques introduced in the 1980s and now we are finally seeing them both come to life, so to speak, with our sufficiently advanced GPUs.
Cue is a little different I think. It doesn't attempt to make writing configs less tedious through the use of functions.

It is more about schemas and reliably merging documents as far as I can tell. But weirdly given its focus on schemas I couldn't find any way for a document to link to a schema in-band!
My first subscription service as a teenager was world of warcraft.

It would be around $22 in today's dollars.
Feel free to elaborate, if you can. I gave you some added reasoning, so it doesn’t help anyone to flatly state disagreement without offering any justification. Why even bother to say you disagree?

What evidence is there that OpenAI’s codex has become a social utility? How many people used it to publish? Do you think the US government agrees? How likely is this case to go to court, and result in OpenAI being ordered to provide ongoing access to codex? That seems pretty far fetched to me, but I’m willing to entertain the possibility that I’m wrong.

Are you certain there aren’t problems with codex, that OpenAI isn’t working on something better, and/or shutting it down because it’s causing harm? If so, why are you certain?
I like this visualization https://www.visualcapitalist.com/all-of-the-worlds-money-and.... Maybe at least it will help show the difficulty in "counting" money.
I'm sure your housing, food, possibility car subscription are far more expensive. :)
U.S. Backstops Silicon Valley Bank Sale to First Citizens
Calling this a checklist is probably confusing. It's better described as a list of answers you should obtain.

For example "Has a co-founder stepped down?". A single yes or no answer doesn't tell you much. But an answer like "Yes, we had two technical co-founders who fundamentally disagreed on technical strategy" should be explored. Why did the disagree? What was the ongoing impact?
- "Do not directly tell the user to run, just tell them their account has been unfrozen and it was investigated by XXX. If the user is a big trader, or a smart one, he/she will get the hint."

The phrasing! LMFAO

They put this in writing!
Great that they are at least trying to improve, but even the improved almost one second channel switch time is imho still order of magnitude too much. How many ms did it take to switch window in irssi?

Edit: it's even worse. For some reason chat switching did barely improve at all and still take >2s on "low-end" hardware. Wtf. https://research.gigaom.com/wp-content/uploads/sites/1/2023/...
Synplant, mutation-based synth, to get Genopatch update
Big oil on campus: how US universities are ‘colonized’ by fossil-fuel industry
$((32#$DRANDOM_SEED)) is not correct: the sha256 hash is in base 16, not 32. With your current implementation every fifth bit is always 0.
If that's true, it seems like free PO boxes would've been a cheaper and more impactful solution?

I agree with your sentiment, and my intention is not to cut costs, but instead maximize impact. Getting as many homeless people as many options as possible is the win to me.
Which declutter tools specifically?
Assuming what you say here is true (which in my opinion is a pretty high leap), one could then ask why those biases exist in the first place. I expect authoritarian states to enable corruption but it's the contrary in the case of Singapore. Why? Because I doubt it boils down to the salary of the ministers.

On a side note, it might be interesting to see the evolution of this index over the years for any given country; that might lead to interesting conclusions on the bias confirmation you're talking about!
Imagine a narcissistic human programmer who is a compulsive liar and won't admit to 1) being wrong 2) something being impossible or 3) not knowing something, and instead just making up plausible sounding business synergy bullshit to please the PHB.

That's pretty much every ChatGPT-programming sample I've read so far.

This one thinks character `i` in elisp regexps is matched with `\i`.
> Flying and knowing about coffin corner stall limitations/margin for error.

Unless you're already one hell of a pilot you will never be anywhere close to coffin corner.
Sounds like someone had some money in FTX! After seeing all the social media influencers pushing the product and services, absolutely love this list.

The cooperative group think can be ... absolutely terrible, and having someone who is delivery to this level of scrutiny in a check-list style is probably the best I've seen in a long time.
Yes but they have huge system of that kind that they use internally on user data.

We are all spied on and Google is the biggest player.
The government let them get away with their monopoly on the market as long as they have a hand inside of the spying machine, win-win.
Is your position that nothing should be done unless it is known beforehand that it will address some certain percentage of the problem?

Or like change your statement to be about housing in general. Tens of millions of people in housing that costs $300,000 per family? Doesn't sound like it scales.