skysight-inc/HackerNews huggingface dataset:
Just a guess, but maybe it allows poor people to extend offers of hospitality they can't possibly fulfill and thereby save some face?
> as said by a friend this morning:

> > i, personally, would not accept money from the company actively militarizing the southern US border but that's just me

Anduril is not "militarizing" the southern border. They're adding observation stations (funded by the Biden administration mind you) so that who is crossing the border illegally is known. There's no weapons on these things or something.
well, there's now a two-tier pension system, with newer pensions being much less generous. e.g. https://ctpf.org/member-resources/new-members/tier-1-vs-tier...

But the tier-1 pensions can't be retroactively changed per the state constitution.
I think there should just be a "community solar" delivery conduit.

Put solar upstream in place 1, allow it to be removed downstream at place 2.

People at place 2 could subscribe to solar from place 1 and get it at cost + a nominal delivery charge.
thank you for the followup!
I’m not. Mozilla “foundation” is a cancer on the browser I used to love.
The many large companies with equally crappy code who just care about cutting costs and have fallen for the "AI" fad?
turn signals are still paywalled
Not really. For my daughter's birthday, I put together an album of around 100 photos to share with family. That came out to 386 MB at default quality settings in digikam, which would take 5 minutes to download at 10 Mb/s. Even for smaller things where maybe I share 10-15 photos from a day out, that'd take ~30 seconds to load. I can drop the quality just for sharing on the web, but I'd rather be able to just share it.

Likewise with backups, each photo is ~40 MB for RAW files, so 10 Mb/s can take all day to backup a couple hundred photos.

That's without even getting into video. Off the camera, video files are ~200 Mb/s. Backups of the raw footage take forever, and sharing at the original quality is a non-starter.
but it does not seem visible to the naked eye when looking at jewelry... I guess with more lab made diamonds we will come to appreciate the geological beauty of it, and have bigger diamonds for the same price.
Tutorial on how to use Python asyncio
Yep. Even though they weren't getting rid of the usual one time option price, the subscription offer really turned people off.
> Is an error that takes looking things up better than just doing an unexpected thing?

100% yes! Took me quite a while to figure out what was wrong with your example. This is by far my biggest frustration with Python.

Perfect example, by the way. You've exactly captured the sort-of "semantic mistake" I was trying to convey: technically valid syntax but the meaning doesn't match the intent.

Fixing your example requires understanding how functions return values, a concept pervasive throughout Python. The first function you ever wrote probably returned something.

Fixing mine requires understanding how `do` and `<-` interact, which I remain skeptical can be done without exposing oneself to monads. My example should not use `do` at all, I'm actually surprised it can be made to compile with it.
It's likely defended due to being non-commericial and for the public good, as I posted with my link to the Harvard page above. That was for literal copying and pasting so the bar for transformativeness is higher, but with generative AI where it can produce wholly new code/images, I think it will also be deemed fair use.
The 0-day is in a popular software package. The GitHub repo apparently contains a backdoor ability to execute code from the attacker. If I had to guess, this would be the software update functionality here: https://github.com/dbgsymbol/getsymbol/blob/cb4bdedc1a85c308...
yes, Illinois doesn't tax pension income, though maybe it could. (Maybe it even could with a residency exemption; perversely many Illinois pensions are being taxed by other states...)
Is that the case anymore with a battery and Intel ME? I don’t believe it is.
It makes me angry because they often claim how much they support FF and diversity. In reality, it's all BS.
Yes, I'm talking about American law specifically.
Seems to be some dll:s included. Maybe there?

"But the tool also has the ability to download and execute arbitrary code from an attacker-controlled domain."

Sounds like most software nowadays to be honest. The blog author does not really point out why this code would be more malicious than "normal" or how the code author is known to be Korean.
Maybe sexual. Other beetles think it's really attractive to mimicry termites.
Existing IP comes with existing baggage seems fair to me. If they did something original people wouldn't have those expectations, but in return also not the existing fame.
Billionairs spouting about 'self reliance'. Allow me to chuckle.
I would have to guess it has something to do with that task not actually being suitable for language models at their current stage. Even if they could be trusted to perform the task, its actually not that much work to just... write code to handle keeping this kind of thing in sync. It's really really not that much more work. You really don't even need to do it, both training and inference can be done within PyTorch or in C++.

If it was necessary for some reason... Running a language model to keep something like this is sync over long term training and iteration would likely be more expensive than a developer's time AND block the researcher in a verification loop on the output which still probably needs to be checked by the developer (they could be the same person which will just deepen the frustration they experience).

The use of a lot of garbage accounts in this thread and lack of model details also looks pretty shady...
ooh.directory gained some traction a few month ago [0] - and they are steadily adding blogs although they do it slowly. Manually reviewing and trying to have some diversity is no easy task.

[0] https://news.ycombinator.com/item?id=33719983
Related. Others?

How Mojo gets a speedup over Python – Part 2 - https://news.ycombinator.com/item?id=37307260 - Aug 2023 (63 comments)

Mojo gets a speedup over Python – Part 1 - https://news.ycombinator.com/item?id=37294001 - Aug 2023 (3 comments)

Introduction to Mojo Language - https://news.ycombinator.com/item?id=37200400 - Aug 2023 (3 comments)

Guido van Rossum feedback to Chris Lattner on Mojo programming language [video] - https://news.ycombinator.com/item?id=36389804 - June 2023 (3 comments)

A first look at the Mojo language. as easy as Python, as fast as Rust - https://news.ycombinator.com/item?id=36289625 - June 2023 (1 comment)

Why use the new Mojo programming language? - https://news.ycombinator.com/item?id=35852734 - May 2023 (4 comments)

Mojo: The usability of Python with the performance of C - https://news.ycombinator.com/item?id=35825399 - May 2023 (45 comments)

Mojo – a new programming language for AI developers - https://news.ycombinator.com/item?id=35790367 - May 2023 (261 comments)

Chris Lattner and Modular Announce Mojo, a New Programming Language - https://news.ycombinator.com/item?id=35789890 - May 2023 (10 comments)
Music streaming is such a mess. I've tried a ton of services in an attempt to find one that's decent, and have found embarrassing problems for all of them.

Spotify: Really hostile, manipulative, and terrible to artists. On my end I hate how commercial the homescreen is, and the CarPlay interface is just a user-hostile to a degree that is frankly unsafe disaster.

TIDAL: Pretty good in a lot of ways. They pay their artists well. The recommendations are decent. The apps have some really stupid bugs that have persisted for years though, the most annoying of which is that if you shuffle a playlist it only shuffles the dozen or so tracks that the interface had pre-cached from the top. So if you try to shuffle your full library you wind up just hearing the same dozen songs only, over and over again.

Deezer: Wanted to like it, but the apps aren't great, and I ran into more missing tracks than I'd like.

So I finally settled on Apple Music. I've got an iPhone, so it's a natural fit there, and the CarPlay interface is great. They also pay artists almost as well as TIDAL. The recommendations are super good enough, and I don't really feel like the home page is constantly trying to push me to whatever the huge labels are paying them to promote (damn you Spotify). The Windows apps are terrible (like flat out embarrassing), and the Linux apps are non-existent, but luckily there's a pretty great open source app called Cider that solves that.
Xorg has worked fine for me since I started using it in 2008.

The only problem I ever had was the poorly packaged proprietary ATI/AMD driver, and now we have AMDGPU.

I just set my refresh rate and enable TearFree (via xrandr), and I'm set.

---

Windows is the desktop that constantly interrupts my life by either breaking or running straight-up malware. And then it gives me pointless notifications I'm not allowed to disable (group policy) and bullshit ads I would never ask for.

If you really believe the Windows desktop is pleasant, you must be really easy to please, and really difficult to annoy.
>The proof of uncountability of real numbers starts with a process of enumerating this infinite list of infinitely long binary numbers. Then says that we construct a number that can't be on them by flipping bits the down the diagonal.

I don't know what you mean by "process". Any list of numerals like this will be missing (at least) a numerals is what he says.

Maybe let's take a step back.

It needs a proof by contraposition. The "normal" position is "S -> T" (so if S then T), which also fixes the contraposition "(not T) -> (not S)".

Cantor's idea is to have a list of (possibly infinite length) binary literals representing real numbers between 0 and 1 (and if those are uncountable, so are ALL the real numbers :P).

The important part is that first consider the set of all such literals, whether countable or not. Let's call those T (for "total"). But then consider the subset of those that can be enumerated. Let's call those S (for "subset").

The countability means that you have a function that literally enumerates those (i.e. a function "natural number -> literal", 1:1)

Enumerate the literal and enumerate the digit at some position in the literal.

Let a_n be the nth literal. The a_n need to be unique (in order for those to be an enumeration).

Let d(n, m) be the nth literal's digit at position n.

Now construct a new literal q that differs from the first string in the first position, from the second string in the second position and so on.

This q is NOT IN S. (it differs from any of the elements of S in at least one position each)

Thereby, we proved that if S is countable, then it's not all of T. (because we found some literal that's not on the list; the list of all needs to be bigger!)

So the "position" proof is: "Assume S is countable. Then show it's not all of T."

But that, by contraposition, means, if it's all of T then it's not countable. Which is what we wanted.
I'm not familiar with the situation, but this "refutation" sounds bleaker than the original claim
That’s him. The easiest way to summon him is to post anything compiler related, especially in the C family.
> more lay people get somewhat conversant in what constitutes secure by design software

This will never happen anymore than laypeople will start thinking about the engineering principles behind building the reliable internal combustion engine in our cars. We want things that work without us thinking about it, and that's the end of it.
I reported the repository as malware, guess we'll see what happens with it
That there exists an alternative doesn't make the subscription better.
It makes me angry because they often claim how much they support FFs and diversity. In reality, it's all BS.
Do you know any examples of such jobs? I mean the same operational intensity.
yes and if i'm reading it correctly, the article says banning women from schools is a remnant of tribal law, which is why they favour sharia law -- the lesser evil apparently given the circumstances -- as crazy as it may sound to out secular ears
Given it's an official Google blog post related to a nation-state threat actor, somebody asking for valid attribution could be a way attackers try to:

1) Derail the conversation
2) Find out ways to further cloak their footprint

IMO if you've worked in the field, you know it's a dumb question meant to invoke something.

"Look! We've succeeded! We've dragged out 'w0z_' and have identified him as a possible (x)!"

Sadly, I am a nobody who happened to see DPRK not tunnel to a VPN.
Having seen some very secret and proprietary Microsoft code, you don't want to use it anyways. lol
This "UpdateCheckThread" code looks pretty funky, [0]. It downloads some stuff from a URL, writes a file to disk, and creates a process to run it.

0: https://github.com/dbgsymbol/getsymbol/blob/cb4bdedc1a85c308...
Building AI-powered enterprise search in 2 days
IMDB and Goodreads; two useful review-services purchased by Amazon and left abandoned. Are there other similar Amazon acquisitions?
Many variables indeed but it's an interesting thought to consider. In my experience friends and relatives with autism are hard askers and those with diagnosed ADHD/OCD/related are all guessers without exception.
I was a kid back then, so not really aware of the cutting edge research happening in those days, but here’s for example the description of Russel & Norvig’s “Artificial Intelligence: A Modern Approach (2nd edition, published 2003)”:

“The long-anticipated revision of this best-selling book offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. Intelligent Agents. Solving Problems by Searching. Informed Search Methods. Game Playing. Agents that Reason Logically. First-order Logic. Building a Knowledge Base. Inference in First-Order Logic. Logical Reasoning Systems. Practical Planning. Planning and Acting. Uncertainty. Probabilistic Reasoning Systems. Making Simple Decisions. Making Complex Decisions. Learning from Observations. Learning with Neural Networks. Reinforcement Learning. Knowledge in Learning. Agents that Communicate. Practical Communication in English. Perception. Robotics. For those interested in artificial intelligence.”
It's not how fair use works now, but many things about copyright law will have to change radically over the next few years. There's too much at stake.
That animation on the landing page is awesome.
I'm confused. If these tools aren't good enough for AI research then why would they be good enough for consumer applications? If language models can not help with the AI development loop then the technology is not going to be useful for consumer use cases. Code can be very easily verified by linters and type systems so the problem of verification is much simpler than in consumer use cases without linters and type systems.
Same with rugby. 1 and 3 are the largest / heaviest players on the field.
That's easy ... aaand done! (They don't)
I mean "I am become death, destroyer of worlds" bullshit about AI safety/ethics/etc that is included in every press release from Google/Meta/OpenAI and even much smaller players.
> What if you train it only one my huge repo of GPL code? You are just remixing my code.

The word "remixing" here is useful because it will fit any conclusion the reader prefers.

Arguably even in your reductive example, the result would be non-infringing. Or not. Which conclusion you reach is exactly the topic under debate. Isn't this textbook question begging?
These kinds of jokes are tyreing. A British person would have said “corner store” while pushing a trolley. I like jokes on HN but this is too low effort and it shows. I would have gone with something more surprising than “guy spelled funny”, possibly a Life of Brian reference.
Not the same but a similar curious case of historical immigration: https://en.wikipedia.org/wiki/Koryo-saram
Do you have insider knowledge of the _other factors_ you _think_ is more likely the cause of revenue loss? Isn’t almost all of twitters revenue pre paid blue check, advertising? Where else are they generating income? Wasn’t twitter losing money before? Has twitter ever been profitable?

I’ve linked to proof of boycotts and the ADLs position in convincing advertisers to drop twitter due to the ADLs “research.”

You provide nothing other than you opinion or assumption presented as fact. I digress, you can believe whatever you want to.
sounds like the woz story, where he got a common phone number like 888-8888. but he would get calls all day from babies.

EDIT: https://www.wired.com/1998/09/woz/

(a large article, search for 888-8888)
on the contrary! They are indeed very much responsible, if only in part, for the actions of the people they are giving money and sharing connections with! Pretty sure there's an entire corner of criminal law and civil code covering exactly those responsibilities! And yeah, they can do all kinds of stuff to make sure that these things don't happen, or at the very very least publicly demonstrate that they will not tolerate it from future "founders" by responding appropriately to this one. I am always freshly amazed, probably from naivete, each time people make excuses for the terrible behavior of SV tech "founders" and the VCs that prop them up. I shouldn't be, on this forum, and thats on me.
Show HN: Bookmarker – Simple CLI For saving your bookmarks
Just a simple utility script I created and thought it might be useful for anyone out there who likes to save links in a no-frills way.
I use multiple browsers and always forget where I save my bookmarks, and sometimes I lose them because the browser changes their UI behaviour, causing me to not save something I thought I saved.
So this is a simple CLI script which allows you to save a bookmark to an md file from anywhere in your terminal.

Example: bookmark "hxxp://example.com" -d "this is the description" -f "Folder Name" -t "tag1, tag2, tag3"
Money and prices are fungible so it isn't really possible to prove anything. But there are two very reasonable ways to look at it.

1. Those who purchase the heated seats cover the cost of all of these heating wires. So they are paying much more than the raw cost (but presumably less than if their cars needed a separate / modified production line).

2. The manufacturer is paying these costs as a "marketing fee" hoping that they will recoup their investment (and more) when people pay for this feature.

I agree that this model feels wrong but after thinking about it I have convinced myself that this can be a good thing. It allows those who what the feature to pay for it, without removing the option for a cheaper model for those who don't want or can't afford the feature.

I wrote a blog post about this a while back: https://kevincox.ca/2023/05/14/ethics-of-locked-hardware/
The same is true of GPT. Just sayin.

Actually GPT is worse because they demand both a phone number and an email. Still haven't signed up because of that nonsense.
The problem with monads is just the words. "bind" in particular is a bad term!
I bought a MyQ garage door system and I'm not required to pay any subscription fees to use the hub and sensors. Do you have any more info?
1. DPRK does an actual cybercrime, shellcode/payload eventually gets discovered and disseminated among researchers

2. Script kid acquires said code, makes slight modifications

3. Script kid deploys the malware

4. Cybersec person @ Google is promoted for uncovering major APT operation, big news story

How do you prove that this is sufficiently implausible?
The cool thing about fibre is that it is way more future-proof than good old copper.

By the way, I also went for a Thunderbolt enclosure and network card for Mac. It is a bit pricy (the enclosure costs way more than yet another ConnectX).
As Cory Doctorow put it: capitalists hate capitalism, and each and every one of them wants to become a rentier.
> “trying to have a business model that does not put more ads down your throat”

Twitter isn’t really trying to do that. It’s just something the owner likes to claim, but what he’s actually done is the opposite:

- Hired a CEO from the ad world

- Increased personal data collection (with updated Terms of Service to reflect that)

- Limited tweet access without login (those views would be harder to target with ads)

As a Tesla customer I’m fed up with this person’s endless lies. Seems like you got a taste of it with your Twitter subscription too.
I personally tend to agree but please don't post unsubstantive/fulminating comments to HN. It just makes for bad threads.

https://news.ycombinator.com/newsguidelines.html
I think these bangs are defined by default. I regularly use !es when I want local (Spain) results.
I really like xray, but you are right, their UX is abysmal; worse even than disney IMO
according to the map in this SF Chronicle, the southern end of 'California Forever' is just a stones throw from Antioch/Pitsburg bart. Ideally California Forever would make a light rail system. And Ideally that light rail system would connect with Bart by crossing the Sacramento River. This would make 'California Forever' well connected with rest of Bay Area.

https://www.sfchronicle.com/bayarea/article/solano-fairfield...
Yeah. I wasn't so much trying to put weight on that you can get a fragment of copyrighted text, like Google Books also provides, but using the Bible as an example my point is you could technically get the whole thing bit by bit. You can't do that with Game of Thrones likely not because of capability but because of guardrails, because for a machine what's the difference if it's fed a copyrighted text or not.
Hasn't BMW being doing exactly that for several years now? I'm sure their strangely named "Connected Services" offered this for £10/m or so, around 10 years back.
It is such a weird experience to do a Google search on someone else's computer after being used to Kagi. I recently requested a small usability enhancement, and it was implemented within a few weeks. Zero chance of that happening with any other search engine.

The search results are consistently better than anyone else's, including DuckDuckGo, so I am, and will remain, a happy paying customer.
That’s an issue with your vim setup. You can absolutely navigate Python code in vim.
Might wanna try gmailctl for making some filters. You could make it very fast to send certain domains to the trash
Yes to my understanding. Parliament makes the laws. No court can override Parliament. No existing law binds Parliament. The only thing stopping this is how incredibly embarrassing it would be and individual MPs might lose their next election.

https://www.parliament.uk/site-information/glossary/parliame...
For those interested in trying it, I would suggest a first step is becoming a vegetarian (no meat/fish but diary is fine). If that's too big a step, try it 1 day a week (i.e Meatless Mondays).

Look in your grocery store for Quorn, tofu and seitan as well as meat substitutes that mimic turkey/ham slices or veggie sausages/burgers. I believe it's important not to compare whatever you're eating to it's meat equivalent, but rather as a separate new entity.

It's significantly easier than going full vegan.
Exactly this. Sorry for not being clear enough.
Imagine a car manufacturer sold a car which was just a normal car. It didn't spy on you, it didn't rely on subscription for built in functionality, if you wanted something non-standard (say parking cameras or fancy paint color whatever) you paid for them upfront for a one off $x fee.

Chances are nobody would care, but just buy what peer pressure tells them to buy.
In this context, it could read as he and his family, or just people around him. We're all not one person, we're a reflection of people we interact with. Hence, "they".
It also has a "Pros and Cons" section but doesn't list any cons. Definitely all fluff no analysis.
You might also consider hooking into the TypeScript compiler (or just using basic codegen) and outputting .sql files containing the migration scripts.