skysight-inc/HackerNews huggingface dataset:
> > crypto is absolutely massive for avoiding capital controls in countries with inflation

Inflation hedge means mantaining parity against a weighted basket of stable currencies such as USD/EUR/CHF/JPY. Maybe gold?

Bitcoin didn't mantain parity at all, it's up some 20,000% since 2013 and +∞ since its inception.

So crypto failed as inflation hedge too, because the world of finance is very specific, you can't say 'this asset is an inflation hedge' and then it's up 20,000%

It also failed as a tool for capital controls and tax evasion because if you do that sort of things you don't want publicity...what happened is that crypto-bros and crypto-enthusiast went on to scream off the top of their lungs and it resulted in the death of the largest capital control avoidance use case: getting money out of China.

Nobody uses Crypto for getting money out of China anymore.
Thoughts on Garment Trim
I was checking the schedule for a local event. The website was designed so that the schedule items would appear as you scrolled. On desktop there were photos and stuff alongside it, but on mobile it was literally just text with some styling. The performance was sad for such a simple website. All jittery. If it had been plain text, CSS and images, it would've loaded and rendered just fine.
It's also that they don't cool the tunnels like they really really ought to (just feed frozen water into the tunnels and drag the meltwater back out if it won't drain by itself, say by fitting some cars with slush sprayers like how manure is sprayed from the back of a tanker on agricultural fields, or dropping ice cubes spread-about).

Use ice-based AC for the passengers, not heat pumps dumping into the tunnels.

Change the breaking resistors to not be on the train, but the rectifier stations, and make them vent outside. Or change them to dump heat into what's a big insulated kettle that gets filled with ice or at least disposes the resulting hot water outside, not hot air into the tunnels.
> which is damaging the reputation of the hobby.

Literally, actually, irrefutably, and unquestionably, it is impossible to attract an enforcement action accidentally. The FCC bends over backwards to accommodate mistakes, if they even deign to notice them.

This was his third strike.

Your comment is inverted.

It isn't fines that are damaging the reputation of the hobby, it is the almost rampant abuse of the rules by actors like Beaudet.

Literally, actually, irrefutably, and unquestionably, a grand total of zero people have ever thought "oh man I want to get into amateur radio but I'm not going to because the jack booted thugs at the FCC will fine me if I play music over nets in order to piss people off."

The vast, overwhelming, majority of people don't even think like that.

For the remaining microscopically-miniscule minority, the thought excites them.
Boeing warns of new defect on 787 Dreamliners
In my experience they are 30 to 40% faster
Crysis is a problem because it is single threaded. That's why it was so hard on computers back in the day.
> I've always found the tipping reasons a bit arbitrary though.

That's because they are completely arbitrary.
Sorry, I did read your whole post, but seemingly didn't pick up on that.
Throat looks okayish but rDrama has the same issue that multiple reddit clones have, in that it cloned the godawful negative-space nightmare new layout instead of the classic, functional one.
from many, but you probably would prefer your russian friends speaking half a year ago about planting explosives into the dam.

https://nitter.hu/Gerashchenko_en/status/1666061532080361472...
> AT&T

Kind of fuzzy. Iirc, land lines no, cell phones yes, Internet yes.

> landlord

Probably extremely specific to state/county/town

> democrat shorts

Political affiliation is only a protected class in an extremely small number of areas, so most likely, yes
The establishment of ggml.ai a company focusing ggml and llama.cpp, the most innovative and exciting platform to come for local LLMs, on a Open Core model is just laziness.

Just because you can (and have the connections), doesn't mean you should. It's a sad state of OSS when the best most brightest developers/founders reach for antiquated models.

Maybe we take up a new rules in OSS communities that say you must release your CORE software as MIT at the same time you plan to go Open Core (and no sooner).

Why should OSS communities take on your product market fit?!
If you are starting fights about boycotting Harry Potter in my niche gardening subreddit, you are going to get in trouble, regardless of what side of the argument you are on. It's totally off-topic.

Many people come to niche subreddits specifically to get away from all the divisive political rhetoric that has infected all other corners of the internet.
The word "libraries" is not even mentioned in the code. Python is only mentioned to detail a bug that caused a memory leak, I don't know how you generalized this to "Python is to blame for Digg's demise" but that's not anyone else's fault.
You're talking past the parent's point. If the integer weights grow faster than n*, then this algorithm will grow faster than O(n)

* integer weights measured in bit-count; log factors from multiplication time ignored
Lemmy really isn't slow (though this instance is definitely underspecced for a hug of death), and it isn't difficult to use either.

The ease of use point is almost true. For the average user, you're not supposed to be manually subscribing to remote communities. You'd be expected to be exposed to communities you're already federated with and then just click subscribe.
I don't really agree with this overall statement (broad as it is). Rule of law is vague, or it has a specific meaning I don't know of, but high levels of wealth building coincide with illegal activity and/or (just as bad for stability) laws written by corporations to excuse their own behavior. If we're comparing these nations to historically capitalist nations, we're comparing two runners in a race where one of them shot the other with a gun, so it's just not reasonable to say that these countries are inherently doing something wrong for prosperity.
Do you know a good writeup about him? Everyone in the know feels very differently about him than I do so clearly my opinion is wrong, but I haven't been able to find out why and change my mind.
Congrats from the Qdrant team!
They've been permanently banning for bullshit for the last few years or so. Reddit is just a Tiktok sewer at this point. My 15 year old, probably would've been 16 closing on 17 year old account right now, account was permanently banned for "harassment" for asking a moderator which rule I'd broken in their subreddit. Of course, only one message was sent to them, and I was muted with no response. My post in question was contradicting another poster (or was it the mod themselves? who knows) and asking for sources for their assertions.

The administration sees niche communities as just an annoyance. They're currently exploiting non-English Language oriented communities and sockpuppeting accounts with poor machine translations to build language-specific communities around the Tiktok sewer subreddits.

Congrats to kn0thing, spez, et al. on your "community" "engagement" and good luck on the exit!
Carl-Oskar Bohlin Swedish Minister for Civil Defense on the Ukrainian War
Yes. It was the first web language I learned and I haven't had a reason to switch to something else. I tried learning nodeJS and django but I didn't like how much setup was required to get a page up.
Someone should benchmark that. Unix sockets in my mind should be faster as in theory you have less overhead. But the flow using TCP over loopback might have received many more optimizations over the last decades.
you are probably from Zulip, and looks like I've found bug on your website

go to say https://rust-for-linux.zulipchat.com/login/ and scroll down to the footer. Footer links are relative and seems to not work for at least https://rust-for-linux.zulipchat.com/plans/ - sends to https://rust-for-linux.zulipchat.com/accounts/login/?next=/p...
I assume this also applies to donations?
What ryzen laptop is this that you keep referencing?

The negative experiences with the thinkpad are typical of all the intel laptops I have recently used, preloaded OS (including Windows, and to a lesser extent, Linux and MacOS), or not.

Whenever I look for an AMD laptop, it has a low resolution (1080p) display, and/or an off-center keyboard/trackpad (or has some other obvious fatal flaw).

I'm typing this on an M2 macbook. I do 100% of my work in an "8 core" arm Linux VM that can only use one core for userspace stuff (according to top), but that still kicks the pants off my previous laptop.

I'm strongly considering dual booting into asahi.
If you spend "countless hours of your personal time" working on a commercial web site for free, that just makes you a fool. Stop spending your life and time working for a corporation that couldn't care less about you and isn't compensating you. When that corporation decides it is done with you, you can't cry over it. You gave away your most valuable asset - time for free to a company that made money off of you.

The minute Hacker News starts to monetize I'm gone like a fart in the wind.
Actually his statement is entirely within the spirit of patents: the secret sauce is disclosed in exchange for some limited monopoly; since it's been disclosed people can talk about it and learn from it.

(None of this comment should be interpreted as a defense of the travesty that the patent system has become)
This is not my area of expertise, but I clicked around those Agda bugs with some interest, and it seems like all those problems are stemming from the fact that they defined inf < inf. A couple people mentioned addressing the issue by getting rid of that, and others objected that it would cause more problems than it solved. What are those problems? Why is inf < inf?
Mutable Value Chains (2015)
> VR GF

This seems like an oxymoron. I get that it's a "virtual" girl friend which semantically qualifies the term girl friend, yet there's something immensely sad about the combination of these terms.

VR sex bot seems more apt to me. It doesn't really matter and I don't mean to impose terminology on anyone; it's just an observation/reaction.
Awesome! I sent an email. Let me know if it doesn’t reach you.
The first few things that pop in my head, are not nice, probably violate rules, though I'd argue they further the discussion more than Erin has here.

Anyway, back to enjoying life [outside the United States] where this sort of delusional stockholm-syndrome self-convincing projectory nonsense is far less common. I'm sure the author would be so disappointed with how little of my life is driven my anxiety over my status, or the fact that I'm comfortable living within modest means. Oh nooo!
Right, good example. You can read the SEC letter here. As long as you ask the right questions you can get useful answers and protect your business.

https://www.sec.gov/divisions/marketreg/mr-noaction/2013/fun...
Soundness means that mutable matching doesn't break the type system. It's fine for the behavior to be well-defined and documented but unintuitive. But in a "safe" language, mutation during a pattern match shouldn't allow you to bitcast an int into a function and then call it (which will segfault or worse).
No reason you would continue accelerating. Seems like you would would reach a stable speed while orbiting inside the event horizon.
I have a tiny suspicion that a new technique is going to emerge soon that will cause some frustration for Nvidia's investors. For instance, observing how little quantization error seems to matter makes me believe there are probably some other massive wins lurking throughout. Before I'd invest, I'd consider the "doomsday" scenario wherein someone develops a technique for running an OpenAI, GPT-4-scale model on a MacBook or iPhone.

I know it probably seems impossible to many on HN that there could be another bucket of 3-4 orders of magnitude sitting on the table, but progress over the last ~6 months seems to provide a compelling argument against that point of view.

There are also radically-different architectures that have seen zero serious effort put towards them. Mostly things that are CPU-bound. In my view, GPU is starting to cause more harm than good with regard to development of new concepts for problem solving. There are neural network architectures that simply don't work well across the PCIe bus. Eventually, someone is going to start playing around with these ideas as GPU scarcity rages onwards.
How do you stop your website from being filled with CSAM? “Religion” aside, what do you actually do with your mouse and keyboard when you see CSAM pop up on a website that you pay for?
> We just want reddit without the bullshit.

And who's going to pay for it?
A US-China Collaboration a Century Ago Helped Find Riches of a Lost Civilization
What math exactly does the brain do while you are trying to catch a ball? Just because you can mathematically model the trajectory of a ball doesn't mean your brain is using that model.
The standard method humans use to catch a ball is stabilization at a few updates every second, while the classic method used to tract the trajectory of a ball is newton's method of fluxions.
Humans suck at both compared to computers; though the former isn't as much a shameful a loss as the latter.
The given example is quite funny:

Write an email to my friends inviting them to come to my home on Friday for a dinner party, bring their own food to share.

Dear friends,
(snip)
I have also organized a variety of fun activities to keep us entertained such as:
* *Karaoke*
*Movie night
*Board games
*Outdoor games
*Book club
*Painting together
*Relaxing by the fireplace
*Crafts
*Tea party
*Strip poker
*Dance party

Wow, RedPajama, one of these things is not like the others...

(Edit, it's also a good example that this model is less censored than recent GPTs. It doesn't know that this isn't appropriate in this context, but it's not afraid to add it.)
That's not what I mean by "sync". If I don't have the phone with me, I can't authenticate.

Also, I use Firefox exclusively.

This is precisely what I mean: common scenarios are not yet supported.
tweet is a blog post.
Off topic but I really wish headlines like this would refer to the firm as "Sequoia Capital." Reading this headline is a bit jarring for me.
I think most people would not agree that "private freedom of association" has ended in the US. There are protected classes, you're not allowed to discriminate against someone for their existence as a member of a protected class, but there are definitely still plenty of ways in which I'm allowed to bar people as I see fit (in my locale, "no Biden/Trump supporters allowed" would be legal).
I mean, you can drop everything about Dyson spheres and the like and still appreciate "I would prefer the human race not to go extinct". The central arguments aren't about cryonics or anything, they're about "I would prefer the human race not to go extinct".

To say those folks are "dismissive and generally not interested in technology" seems pretty wild, given those folks include Elon Musk, Bill Gates, the CEO of OpenAI, etc. - despite any flaws you might find with them, this is hardly a group known for being disinterested in tech.
The devil is in the details. If you can only mirror your laptop screen, it's not that useful, unless you can run Vision native apps next to it. Then I only have to mirror my laptop for laptop only stuff and can run things like Safari and Notes and Mail all the other stuff separately.

If I can set up vision as a 100 inch 8K external monitor, then that becomes much more interesting, because with that much screen real estate I don't need multiple monitors.

I guess we'll have to see.
> slow

There's nothing intrinsically slow about this model. There are some reasons a lemmy instance might be slow — like a prejudiced attitude to the best way to monetize such sites and hence not enough money for servers, but there's no intrinstic reason.

> difficult to use

The link complains about it being hard to follow remote communities. Of course, without federation, there's no way to follow remote communities at all. If you discover a subreddit you like you can't follow it from within HN.
It’s Turbo time: how we made the Semgrep Playground super fast
But they're still not indexed by Google, aren't they?

If there's no out-of-app discovery, it's still ephemeral content. It cannot be archived, cannot be searched, cannot be found without a discord account, etc.

Edit - Misread you, it sounds like we agree.
It is literally exactly what it means. Tipped employees can not legally be paid less than the standard minimum wage.
A no-op API call to FastAPI takes more than that. Even when running on localhost. And FastAPI is one of the better contestants.
You can consume a Fortnite skin or a Call of Duty weapon.

The point is that you cannot consume crypto, it's a problem which is understood inside the community, that's why the push for NFTs which started as legitimate art to enjoy on huge 8K screens or VR headsets but quickly ended up becoming Twitter avatars built for the purpose of trading and offloading to a bigger fool.
Have you checked out https://apiida.com
I really hope CUDA doesn't end up being the PostScript of ML
It's because a lot of people moved to m1 after waiting years for transition to something new because of crappy butterfly keyboards for many generations, lack of innovation or regression (no functional keys, no Magsafe, no Hdmi, no minisd, still needed usb-a)

After lot of people bought m1 there was not similar significant improvement with m2 - and considering they could buy discounted m1
Nice! I asked for "an autonomous boat with a magnet to clear lakes from metallic trash".

Impressed with what it spat out to me.
TV’s streaming model is broken. It’s also not going away
Are there any crypto tokens not backed by a state that the SEC has officially and clearly declared a currency and not a commodity?

I'm starting to feel, as a practical matter, they will never consider non-government backed crypto a currency regardless of what the rules on paper are. But maybe this has already happened and I'm ignorant, I don't follow this space closely.
> How does one wake up in the morning and decide to work on consumer emotion recognition

I think two significant factors would be 1) they have the skills to make progress in the field and it's highly rewarded, and 2) they believe there could be real value in making progress. One or both of those could be enough to motivate a lot of people.
the most misleading things i saw in llm ai were the reports of performances of local models. several independent reports of various models were saying better than gpt-3.5 or even gpt-4 and it was never true. maybe they are doing their benchmarks in a silly way. it made me not trust these analyses of local models.

EDIT: everyone in that reddit calling them out for this. i didn't realize it was such a meme lol
Visit the url below for much of the same content but without ads.
https://sod.pixlab.io/
No idea about that, as I am in the EU. What kind of advice did you hear from American lawyers?
I think it's a product of some reddit communities becoming too big to effectively moderate.

I mostly stick with smaller, non-default subs and don't really run into this problem anymore.
I had the same experience as you. Using CoreData with SwiftUI feels strange. Unfortunately if we start using this now we can only target iOS 17+.
I don't believe it uses the EKG functionality to detect afib. I think it's just using some sort of machine learning on the data coming from the photoplethysmograph sensor (now that's a word I had to look up to remember the correct spelling for). Basically the sensor that takes your pulse.

The EKG, as far as I know, doesn't really tell you much other than whether it thinks you have a normal sinus rhythm, or something it doesn't recognize. Too fast, too slow, or whatever. It's also on demand, not continuous. You have to touch a finger from your opposite hand to the crown, while the EKG app is running.

Also, that Kardia advertising is borderline scam. It's a 1 lead EKG just like the Apple Watch. Six lead my ass, they make that claim because you can contort your body in enough ways to take readings from each standard EKG location. You can sorta do the same thing with an apple watch, though it's not physically as large so it wouldn't be as easy. What rubs me the wrong way about calling the Kardia a 6-lead EKG is that it cannot do 6-leads simultaneously, and I think that is a critical detail.

I had a Kardia myself before the first Apple Watch with EKG came out.
Very nice changes. It's a shame to see cross-platform development tools falling so far behind.
> The problem is, this financial backing and support is via VCs, who will steer the project to close it all up again.

How exactly could they meaningfully do that? Genuine question. The issue with the OpenAI business model is that the collaboration within academia and open source circles is creating innovations that are on track to out-pace the closed source approach. Does OpenAI have the pockets to buy the open source collaborators and researchers?

I'm truly cynical about many aspects of the tech industry but this is one of those fights that open source could win for the betterment of everybody.
> people saying 'regulations are perfectly clear' on this issue have not spent that much time dealing with regulators in emerging technology

I work in a regulated industry. I have my criticisms of Gensler. And I’ve (separately) profited off crypto.

The regulations for non-Bitcoin exchanges were clear from the start. Nobody liked that clarity. And the regulators spent a few years navel gazing. But the legal advice I got at the start has remained consistent: the operators are putting themselves in jeopardy.
> according to the article, a type system only deserves that name if it prevents use-after-free errors, memory corruption etc. etc.

I mean, you are hiding a lot of possibilities in "etc. etc.". So is the article, when it says "and the like" in the sentence you're referring to. The kinds of things that belong in this list are described as "generally some sort of safety property." That's a big big list of things. It's not a particularly strict or narrow definition of type system, IMO.

Take C. What does it mean when C's type system says a variable "x" has type "int"? Practically, it means the compiler knows how many bytes (let's say 4) to reserve on the stack for x. But what if the program, during the course of execution, tries to write an 8-byte piece of data to x? The language is broken if that can occur because the compiler was not justified in reserving only 4 bytes for x. So, part and parcel of C's type system is a global safety property: It promises, among many other things, that at runtime no assignment will ever occur to an int-typed variable unless the assignment payload is 4 bytes.

So this is exactly what the article is talking about. Local rules (e.g., "int x = y" is well-typed if y has type int) working together to guarantee a global safety property (no type mismatches can occur at runtime).

The failure of a type system to do this properly is a failure at being a type system. And indeed, since C has undefined behavior, it's type system falls apart immediately. It's just not even interesting to consider enumerating the ways it can be broken.

The type systems considered by this article are ostensibly supposed to not be broken the way C's is. That's what makes the counterexamples of this article so interesting.
> We just want reddit without the bullshit.

What is the Reddit bullshit?
Nah, just use noise absorber instead of bare flat concrete; e.g. https://en.wikipedia.org/wiki/Escher_Stra%C3%9Fe_station shows some tactics for silencing ballast less track (not in the wiki article itself, sadly).
I was asking an honest question but I don't like being trolled. Have a nice day.