skysight-inc/HackerNews huggingface dataset:
Isn’t borrow checking only compile time?
Not sure anyone can say what the best is but I’ve been using Zed with local Ollama models (phi4 is good, maybe Deepseek is better now?) and it works well for me.
Eh, this reads like damning with faint praise to me. Lots of robust and fast real world systems are in FP languages. Ocaml is estabilished and mature, far from "is it production ready?" category.
I think in the latest nightly, this is about:processes
if this is due to that specific manufacturer having battery fires, i don't hate it as it seems like the battery replacement option is basically the same as a recall. completely different from a random bug causing it or an across-the-board EOL update. pixel longevity isn't great, but at least they're relatively easy to maintain and the device protection program is acceptable.
"my car" by Byron Barton
Duolingo is a gambling company masquerading as a learning resource. (Buy gems! Buy lingots! Increase your chance of loot drops!) Their entire business model is preying on addictive dark patterns. (Loot drop animations - so much colour and motion - so exciting! Don't let that streak lapse - buy a streak freeze now! Oh no, the owl is sad you haven't watched enough ads! You don't want to make the owl sad, do you? Duolingo for Schools available now!)

It's been apparent for a long, long time that pedagogical considerations have no sway in the direction of Duolingo. I'm not surprised to hear that they're planning to outsource customer support to AI. If anything, I'm amazed they haven't outsourced all their language courses to AI yet. Those are merely the colourful backdrop to the slot machine business that they're actually in. (Come to think of it, how do we know they haven't?)

Kudos to the mods. I have no idea why a bunch of language enthusiasts should be expected to work as unpaid support staff for a ghoulish casino app.
Sounds like the Lishen batteries might have a safety issue when charged fully. Not sure why else they would limit the charge on them. At least they're offering free replacement or cash payment.
An interesting article on the history of Ada in the USSR.

Published in December 1991, it refers to the USSR in the future tense.

https://core.ac.uk/download/pdf/232756107.pdf
This looks rad - I’m getting grumpy at i3 so I’d love to replace it.

Have you used it with multiple monitors by chance?

Thanks for sharing!
I have yet to have anything catastrophic happen with pretty liberal usage of YOLO mode in Cursor with pretty weak “safe” instruction guardrails. Then again, I am working with dev credentials on non-critical projects, typically. It does seem like it’s a matter of time until I get prompt injected and divulge some secrets or an over-eager Claude `rm rf`’s /.
It will be interesting to see if there was short selling of NVIDIA by the hedge fund behind deep seek. However in the coming months it will become clear how many of DeekSeeks claims prove to be true.
In the short term testing out the promised improvements in efficiency by other frontier models will be something to watch for.
The next test will be is there genuine advancement in the space in capability.
Let’s see how frontier models respond over the coming months.
Should make for some fast paced action in this space
I'm working on something a bit like what you described. So far it has a command suggestion mode and also a generic question mode. Inbound pipe support is a TODO, but command substitution already works fine for many use cases like passing file contents to the LLM. I'm pretty wary of adding any automatic execution of AI generated commands, though using some isolation scheme like containers is an interesting possibility.

https://github.com/scottyeager/Pal
Basel has to buy domain name in the Bahamas after mishap
That's because the bill of rights enumerates some of the rights people have against the government rather than the other way around. But that doesn't really get you out of it

Suppose you have a private mass surveillance system, where people "voluntarily" (i.e. because the market is consolidated and every company is doing it) give up their data to a private company that keeps a big database. Then the company "voluntarily" informs on citizens to the government (because the company wants to be on the government's good side), or imposes penalties for crimethink all on its own. Is that okay then? Should we be satisfied with it because it's not the government? Nope. Still a big problem.

The reason isn't that it's the government, it's that it's a bad trade off.

Suppose you're the "good guys" and trying to catch terrorists. There are 330 million people and 50 terrorists. If you have a mass surveillance system with only a 0.1% false positive rate, the system is totally useless. You have 330,000 false positives and investigating all those dead ends would be a huge waste of resources that would be better spent using traditional investigative methods on traditional leads.

Now suppose you're the bad guys trying to catch resistance fighters, with the same mass surveillance system. 0.1% false positive rate? Okay, round up the 330,000 people and execute them all without trial. Way cheaper than having to sift through them. Very effective system when you don't have to care about that guilt or innocence stuff.

And that's what makes the system so dangerous. It's only useful in proportion to how little you care about innocent people, and the extent to which an entity does is a thing that can change over time, so it's massively dangerous to leave a system like that sitting around without vigorous efforts to dismantle it.
Not even that; it's a whitelist, not a blacklist, and the only clients whitelisted are essentially those of Big Browser.
No, but for verifying equivalence you could use some symbolic approach that is provably correct. The LLM could help there by making its output verifiable.
Azure seems to be the least performant of all.
Not true - swapping is a taxable event. Doesn’t matter which coins
Companies like like Google love "Reddit Requests" and pushing support to social media because it lets them skirt fixing their non-existent yet legally mandated customer support, helps them catch and avoid PR threads (before problems go "viral"), they come off looking like benevolent angels for providing selective public attention to solve one person's issue while not having to address systemic problems, and, of course, free labor.

After the Pixel launch, Google had this poor guy acting like a customer experience manager for the sub, escalating requests to Pixel team staff, acting as a direct liaison between Support and Engineering, and talking to angry Redditors all day, totally unpaid.

When I point blank asked him whether and how this multi-trillion dollar company was compensating him for his very real labor, he had a "but they're my friends" moment before finally realizing they were taking advantage of him. They got a good year out of him, at least. I suggested he sue.

A decade on, Reddit are scumbags for not addressing this at the business level, and any company using Reddit Requests is cheating customers out of an official, functional Customer Support experience.
The open source label is a problem but not unique to DeepSeek. I think the biggest offenders are the big figures in AI who have conducted a marketing campaign repeatedly mislabeling closed source open weight models as open source. Yann LeCun, Andrew Ng, etc speak open washing lies almost everyday if you follow them. LeCun is especially corrupt since he’s just trying to paint Meta’s Llama positively by pretending it is open source.

But yes this sentence in the DeepSeek license is a huge problem:

> The courts located in the domicile of Hangzhou DeepSeek Artificial Intelligence Fundamental Technology Research Co., Ltd. shall have exclusive jurisdiction of any dispute arising out of this agreement.

Good luck when DeepSeek users try to navigate legal issues, like just yesterday when it was revealed that they’ve been leaking everyone’s conversations to the world.
In general you put your name on documents you print. But true that if you are a reporter in some country you might want to print stuff anonymously. How easy it is to modify a printer firmware to scramble those dots?
Just common sense.

The guy who brings home the most food will have the most surviving children.

He will also be very attractive to women.
I don't have an answer but it's something that EFF has been aware of.

https://www.eff.org/issues/printers
If the painter is doing a "work for hire" you should get the copyright.
I'd recommend going with Sony nowadays. The Xperia 10 series especially is a lot like a 4a.
I have no idea about Pakistan but in the US you can swap the USDC to PYUSD and send it to anyone’s PayPal account using Solana in a second. From the PayPal account account, it can be sent one to one to your bank account.
Have the battery replaced for free at a walk-in center in the US, Canada, UK, Germany, Singapore, or India or take advantage of a mail-in repair program (US-only).

Whatever else you think about Google, I think you'd agree that is a much better response than what Apple did.
Forgive me for asking but don't crypto currencies amplify the causes of inflation while mostly benefitting majority shareholders of non-stablecoins?

I'm about to start making good money and have started to think about how to properly set up myself for a hopefully non-DeepImpact future and as much as I liked the original idea of the Bitcoin and the Blockchain, what it resulted in - so it appears to me - is mostly a bunch of schemes amplifying the damaging effects of financial institutions that we have not been able to integrate solutions for yet.
Chinese writing is the OG wrt Japanese kanji, but it is preceded (independently) by Egyptian hieroglyphs, which, if you want to compare OG-emojis, I submit for your evaluation 𓂸 and 𓂺 as being better eggplants than an eggplant
The article covers several themes in decompilation, but for academic work in decompilation just take some papers, study them, study references, try to reproduce the experiments I guess. For the bare basics, you can get a disassembly of a random binary on Linux with objdump -S
Tether is risky. US based stable coins like USDC and PYUSD are much less risky.
Locality of data and computation is very important in neural nets. It's the number one reason why training and inference are as slow as they are. It's why GPUs need super expensive HBM memory, why NVLink is a thing, why Infiniband is a thing.

If the problem of training and inference on neural networks can be optimized so that a topology can be used to keep closely related data together, we will see huge advancements in training and inference speed, and probably in model size as a result.

And speed isn't just speed. Speed makes impossible (not enough time in our lifetime) things possible.

A huge factor in Deepseek being able to train on H800 (half HBM bandwith as H100) is that they used GPU cores to compress/decompress the data moved around between the GPU memory and the compute units. This reduces latency in accessing data and made up for the slower memory bandwith (which translates in higher latency when fetching data). Anything that reduces the latency of memory accesses is a huge accelerator for neural nets. The number one way to achieve this is to keep related data next to each other, so that it fits in the closest caches possible.
I think that omniparser is better for this
FOSDEM 2024: systemd with UKIs, TPMs, immutable initrds, FDE, System Integrity [video]
For those looking for a Linux that works like BSD, https://voidlinux.org/.
My rather simple minded approach is unless it buzzes or clips the major difference you hear in audio output is the volume.

An external DAC should be better in theory, but if you match the volume and haven’t got any interference you’ll struggle to tell the difference.

I may of course have damaged hearing so YMMV
In high school I did a report on a local poet and author.

What struck me back then was he said in an interview that you need to go through at least a thousand sheets of paper before you start producing anything good.

As a high schooler dreading to write a 4 page report on the guy, a thousand pages sounded ludicrous.
My battery wasn’t cut in half on iPhone, the duration improved
He also shows off replicas from other companies etc. But for him it’s not about authenticity, it’s about the feeling of a prop. He build many cases for his props to showcase and here he goes into creatively expanding the universe of the movie by inventing items. Andre is very keen on weathering to give the prop some history. For me the most impressive build was his Hell Boy gun with bullets and all.
I genuinely recommend a pet, especially a cat, to any depressed person reading this comment with even just a modicum of income. It’s the perfect amount of responsibility and payoff, to put it in terms a robot could understand. It’s very hard to fuck up so badly to cause permanent injury or death, and most unadopted cats live lives much worse than you at your worst. Take the risk, adopt, fix, and grow.
They can if they buy the copyright from the painter.

They just can't get it from the government because they are not, in any sense, the author of the creative work.
No amount of solidarity from support groups comprising clusters of likeminded folks on internet message boards who're opposed to settled law is a substitute for an act of Congress, which is what it will take to give the position of folks opposed to contemporary GenAI any legs.

Neither your comments to HN nor anyone else's strenuous assertions that there's anything to debate are going to change anything.

If you want to treat LLMs as a special case—which is what you want, since there is an entire history of jurisprudence that you have to contend with here—then you need to get Congress to write legislation that says so.
Google enabled Gemini in Gmail at work. It’s annoying, time wasting, and useless. I hid the icon with uBlock Origin but they still push it through other means.

In 50 years, I don’t think I’ve ever seen a more stupid rollout than AI across the whole industry. No wonder I hate it.
Well, the plaintiffs in the copyright suits are arguing that copyright law already does. But I can tell this conversation is not going to go far.
If this passes judicial scrutiny then would it be much of a reach to have a law prohibiting citizens from voting for certain ballot propositions and candidates?
Is the XBPS thing kinda like BSD ports?
What if you bought it in another country? (Directly from Google’s pixel store in that country.)

Out of luck, that’s what.
one would assume that it was tested on minor surgeries.
Wow, that's... that's not an exaggeration. Tennessee Republicans have taken the mask off, and are literally making it a felony (plus removal from office) for any representative in any county, city, etc. to cast a vote in favor of certain things.

Not merely "the state declares cities may not do X", which would be comparatively normal... No, these extremists are trying to use the power of the state to crush individuals for casting votes, even symbolic protest ones.

> SECTION 6. Tennessee Code Annotated, Section 7-68-103, is amended by designating the existing language as subsection (a) and adding the following new subsection (b):

> (b) It is unlawful for an official to violate subsection (a). A violation of subsection (a) is a Class E felony. For purposes of this subsection (b), each official who, in their capacity as a member of the governing body of a local government, votes in the affirmative to adopt a sanctuary policy is in violation of this section.
You're clinging to the past where maybe the top 10% of society could own a car.

You mean the early 20th century? In the mid-20th century far more than 10% of the population owned a car.

On the other hand you appear to have swallowed the WEF propaganda about increasing density to factory-farm levels and making the population truly own nothing, because then they'll be easier to observe and control. That's not freedom.
I'm an expat in a developing country and Binance p2p is widely used here to change USDT to the local currency and back. Haven't heard of too many issues and have used it a lot.

It is very much illegal though, I'll give you that one.
My Pixel 4a won't turn on. I wonder if this might fix that problem. I guess it's worth a shot.
Yesterday’s submission:

https://news.ycombinator.com/item?id=42865619
Bro you try doing this in these places. In Sri Lanka during their civil war when I was there you couldn’t convert INR or USD to LKR for any reasonable exchange rate anywhere except for the shady black market currency exchange, e.g. on the (aptly named) Front Street in Colombo.

It’s like asking why don’t you just buy 2CB from the store instead of online on the dark web.

And the additional problem is that once you leave that location everyone knows you’re carrying around proper bills of whatever currency. Asking for trouble, mate.
Plenty of law enforcement agencies aren’t too different from criminal organizations as-is.

LA Sheriff in particular is known to have several criminal gangs within their ranks.

https://en.m.wikipedia.org/wiki/List_of_LASD_deputy_gangs
Not really, no. It's just binary package system, ala apt or apk or whatever.
Why does Mercury not use ... Mercury? https://mercurylang.org/
Also see https://www.gentoo.org/
Or a linux that actually uses the BSD coreutils https://chimera-linux.org/.
Rarely does an article swing paraphrase by paragraph between interesting analysis and the opposite as much as this.

Edit: guilty of my own snark, here is an excerpt from the conclusion that I appreciate:

> There’s no doubt that reading for pleasure as a child can change your life. It is a key predictor of economic success later in life. But the main reason to help children seek out books is this: if you cut a person off from reading, you’re a thief. You cut them off from the song that humanity has been singing for thousands of years. You cut them off from what we have laid out for the next generation, and the next. It’s in the technology of writing that we’ve preserved our boldest, most original thought, our best jokes and most generous comfort. To fail to do everything we can to help children hear that song is a cruelty – and a stupidity – for which we should not expect to be forgiven. We need to be infinitely more furious that there are children without books.
Sony are giving up on the compact flagship 5 series because "People are no longer interested in compact phones and would rather go for a large one if it offers the same benefits". And unfortunately the specs of the Xperia 10 just doesn't cut it for me. :(
The article indicates these are also options:

2) Request a $100 Google Store credit that you can put toward the purchase of another Pixel phone or other hardware.
3) Request a $50 cash payment.
You are basically making a writing prompt for a very weird America that I can’t actually imagine. My imagination may be fried from current and past America.

I do know it’s scary. I just don’t know what to do.
The UK show "Lovejoy" based on John Grant's novels is also related. Many episodes revolve around art fakes, and people's feelings towards owning, producing or selling them. It's a great watch with lovely romanticized countryside vistas and Ian McShane as the lead.
People commit crime because the risk/reward is worth it here. Most of crimes go unpunished in my country, Mexico.
Would it be inappropriate to say that the Jain religion is some kind of mental condition?
Even if what OpenAI asserts in the title of this post is true, then their system is worth negative trillions of dollars.

If other players can access that data with relatively less effort, then it's futile trying to train your models and improve upon them, as clearly you don't have an architectural moat, just a training moat.

Kind of like an office scene where an introverted hardworker does all the tedious work, while his extroverted colleague promotes it as his and gains credit.
tl;dr
"It currently does not do anything to facilitate working on multiple monitors, as in my current setup I'm only using a single monitor for my Linux machine."
There is organic celebration which is good. But we should be wary of and point out astroturfing.

Are we going to pretend astroturfing is not a thing?
The origins of Free Software (or at least the GNU and GPL parts of the family tree) lie in this exact domain!

In the late 1970s Richard Stallman wanted to patch a faulty printer given to his by Xerox. They wouldn’t ship the source code though unless he signed an NDA:

https://www.gnu.org/philosophy/rms-nyu-2001-transcript.txt

Oddly, the HN post above this one right now on the front page is about Xerox source code:

https://news.ycombinator.com/item?id=42884133
Huh, it's not paywalled for me. I'm using Brave and have a robust Pihole situation but.. yeah it's all there
A former job had a similarly old codebase. I made the mistake of asking where the docs were and someone pulled out this typewritten booklet of yellowed pages from 1981 that was the only remaining copy of the originals in the early 70s.

The code was on at least its 4th language by that point and is probably still running robots today.
Yes, exactly. You can hear it in this transcribed video, around 1:35: https://www.youtube.com/watch?v=CiOybe-NJHk
This is nice, but I wonder about the actual use cases of such a service, given the very loose permissions:

1. Anyone can subscribe to a channel
2. Any registered user can publish to a channel
3. Only registered users can publish to their personal channel (@username)

The second point in particular is problematic. I don't want to add notifications to my app, only to have a script kiddie use is to spam my users.
That might depend on the problem domains you are working in.

When I do standard CRUD in PHP, there isn’t much "math" involved. "Not even" clean category theory and/or powerful type systems.

Some other applications in number crunching and measurement are really math and stats heavy, though.
Does it make ZFS on root stupid easy and has ZFS boot environments?
You can tell a lot about Reddit and it's early "architecture" from this video.

https://www.infoq.com/presentations/reddit-architecture-evol...

That and the Instagram architecture video are such eye-opening examples that I always send to juniors when they have doubts about their own abilities. In most cases, we're astronomically no where near Reddit/Twitter/Instagram scale, and yet we avoid a lot of the common pitfalls we see presented in those videos. Side note, I'm shocked at the quality, but hey "Time To Market!"

The Instagram video: https://www.youtube.com/watch?v=hnpzNAPiC0E
What exactly did Apple “do”?
Is this "brain-like" in any functional way, or "brain-like" in the same way that a tall rectangle is "door-like" even if it doesn't share any functions with a door?

I know quite a bit about machine learning, but very little to nothing about neuroscience and human cognition, so I am curious how an expert (that didn't work on the paper) would describe it.

(Forgive me for the pre-emptive negativity but I am so utterly exhausted by dishonest comparisons to sapient thought in the field of artificial intelligence that it has nearly drained me of the incredible amount of enthusiasm I used to carry for it.)
> do know it’s scary. I just don’t know what to do.

Not a historian, but I imagine it would be worthwhile to create social-networks of trusted opposition, secure ways to communicate, and publishing outlets for information in advance, rather than wishing they were there once there's the Gestapo and networks of informants.

Even in not-so-dark times, it'll be helpful when companies (i.e. Instagram, today) are shadow-banning content (i.e. abortion resources) in order to get favorable treatment from a corrupt executive branch. You'll have some other network to find information from.
I wish more distros would start picking this up. Systemd is awful