skysight-inc/HackerNews huggingface dataset:
I might be missing something, but isn't this line backwards?

> Subtype of type A is a subset of type A. Supertype is a superset. Easy.

Subtype of type A is actually a superset of type A, since it contains at least all the properties of A.

If you had (contrived example) a Dog class that inherited from an Animal class, Dog would be a subtype of Animal, but its additional properties (say, a bark() method) mean that it actually has a superset of the properties in Animal. And vice versa: Animal is a supertype of Dog, but it's a subset because it contains only the properties that Dog inherits.
"Oh hey, I can tell this resume was set in LaTeX."

"By the font?"

"No, by the lack of industry experience."
We have already experimented with letting large neural networks develop software that seems to be correct based on a prompt. They are called developers. This is going to have all the same problems as letting a bunch of green developers go to town on implementation without a design phase.

The point of designing systems is so that the complexity of the system is low enough that we can predict all of the behaviors, including unlikely edge cases from the design.

Designing software systems isn't something that only humans can do. It's a complex optimization problem, and someday machines will be able to do it as well as humans, and eventually better. We don't have anything that comes close yet.
I did this. I am still dead inside. Thank goodness all my production shit has a managed control plane and network.
Yes, if you set temperature < 0.001 :)
what about when the current owner is no longer known? How many macbooks sit forgotten in a closet for years before being donated? How many millions rely on used, older tech to access technology?
I'm sure reducing prisoner contact with loved ones will surely reduce crime! /s
That's not still ongoing?
The News Is Bad for You. Stop Reading It
since everyone else is posting links to their similar libraries, i thought i'd post mine too, https://gitlab.com/kragen/bubbleos/-/tree/master/yeso

it's probably a bit more efficient than fenster on x-windows because it uses shared memory, and i think the programming interface is a little nicer (see the readme above for code examples)

apps i've written in yeso include an adm-3a terminal emulator, a tetris game, a raytracer, an rpn calculator, a fractal explorer, and so on

i haven't ported yeso to win32/64, macos, android, or the browser canvas yet, just x-windows, the linux framebuffer (partly), and a window system implemented in yeso called wercam

it includes bindings for c, python (via cffi), and lua (via luajit's ffi), and presumably you could use it from zig or rust in the same way as fenster, but i haven't tried
I worked for MSR for ~7 years and all of the papers I worked on were in LaTeX, all the papers I saw from my colleagues were written in LaTeX as well. The only people who wrote papers in Word were from academic communities where that already happened often (e.g. lots of Word papers in HCI conferences; I was in the PL and OS communities where it was very rare to see papers written in Word).

But yes, a paper written in MS Word is glaring by how it handles kerning and hyphenation. You'd be surprised how much products teams don't care about type setting (and Google Docs at Google where I work now is about the same).
Somehow the left has become incredibly radical about every other issue, but isn't dealing with the basics like this, which have been discussed for many decades and most of the public would support reforming?
It's also a remarkably effective e-waste creation program. But I don't see the sense in creating more (probably poorly controlled) e-waste as a solution to this problem.
Noction announced the release of IRP v4.1.1 with BGP Redirect & FlowSpec Redirect DDoS mitigation mechanisms
Hard disagree. If I were in prison, it would make a great difference to me to keep a drawing that my child sent me in my cell, vs. maybe being able to look at a bad scan of it. Plus, when would I actually get to see the scan?
> how this period of history is taught to people in the 'victorious' powers.

By placing the word _victorious_ in quotes, you clearly have some alternative viewpoint about military victory in mind. Given that Germany tendered its unconditional surrender to the Allied forces in Europe, I don’t see how that’s in question; but maybe I’m missing your point.
I distinctly remember my parents, before satellite navigation systems were common (let alone phones) having endless arguments over bad map reading when on family trips.

It's not a skill that was lost to technology, it's a skill that most people never mastered even before we all had GPS systems in our pockets.
Let's not forget about spending money per-email when messaging an inmate (and paying extra to include a photo).

Is that program administered by the state? Do the funds go toward paying money owed to victims or funding the prisons? Nope. Private companies (like JPAY) are making money hand-over-fist with no benefit to the prisoners nor the victims nor the state.
I feel like there's a systemic issue in modern software that HN is immune to. After an initial success, companies will hire tons of project managers and engineers to build new features and continue their growth. The result is a corporate paperclip optimizer.

The problem is that these features won't get used and nobody gets promoted if they're not pushed to the front of UI so you end up with cluttered interfaces loaded with popups and other misfeatures.

Reddit's new interface is a good example of this, but gmail has the same problem. Shit, even QuickTime/Real Player used to fight over Windows file extensions and taskbar icons in the 90s and it was horrible.

Because Y Combinator's business model is different, HN more or less stays the same. It's kind of like open source Unix utilities in that way, nobody's pushing modal ads into the ls command.
It's a shame job ads are so focused on bullet points of technology, I'd much rather see info such as "really friendly and helpful team who are smart and effective but not in an insufferable way, working on generally interesting stuff" :-)
Personally, I've found the workflow of markdown --[pandoc]--> LaTeX / HTML to be very productive.

Having a single source of truth for web and PDFs is pretty nice. Editing Markdown is more pleasant than either HTML or LaTeX, and yet pandoc still permits you to bundle in LaTeX/CSS headers to fine-tune your generated docs' appearances.

You can also very rapidly get visual feedback into your output (<leader>d runs my makefile on the current file in vim, which will generate the pdf/html in <1 s, which I can then see in a pdf viewer / web browser)
As someone who lives in what you could call a low-trust society (the opposite of a place like Japan or Singapore where property theft is incredibly rare & almost never violent) my impression was that iPhones/Macbooks were massive theft magnets prior to Apple's new locking approach. I'm all for recycling and can't wait for Framework to be available in my country etc., but I'm certain that the reduction in theft desirability of Apple tech due to this type of locking is actually saving lives by reducing violent crime interactions.

As far as I see there is also still a massive market here for second hand Apple tech despite these locks, people just follow the process to dissociate their accounts.

I'd even say that Apple laptops and phones go through more hands than others because of how long the software gets updated for. I still see iPhone 5S around and those just got an security update this week - maybe 10 years after introduction?

So this article feels quite clickbaity - trying to blow up one recycler's preference that bulk donations could skip these locks into a whole "Apple not doing enough to deal with e-waste" angle. Obviously every big company could do more on this front but I haven't heard of another device manufacturer putting as much recycled contents into new devices [1], running such a comprehensive global certified refurb program and finally keeping the software update cycles as long so the device doesn't need to be scrapped in the first place. The article should focus on the companies that are ditching thousands of perfectly good Macbooks without prepping them appropriately.

[1] https://www.macworld.com/article/229933/apple-sets-a-new-env...
What’s wrong with Apple having market interests and protecting their customers at the same time?

You could argue that theft would increase Apple’s sales, because the people buying stolen ones were never going to buy a new one anyway, and the relatively well off victims of theft have to buy a replacement from Apple, again and again.

So not sure what you mean.

If you mean it’s in their market interest to make sure their customers are well taken care of, I see no problem with that.
> - Confusing different integer types is much harder not only because the type checker will complain, but also because you don't really come across anything other than usize/isize unless it's a field in a protocol or something.

For me it's the opposite: usize is only used for indexing arrays, isize only used for memory offsets (which is a really niche use case outside of low level code), and most application code should be written with u32, u64, i32 and i64. Why is that? Because usize has a platform-dependent size and generally the logic of the program should be platform-agnostic.

So you often need to index something based on an u32 (or something) and then there's a cast. How do avoid it?

Well first off, your own types can implement Index<u32> instead of Index<usize>. But better yet, you can have an Idx type that represents an index, and then implement Index<Idx>. That's seen for example in the petgraph API [0], you can index an graph with either a node index [1] or an edge index [2]

[0] https://docs.rs/petgraph/latest/petgraph/graph/struct.Graph....

[1] https://docs.rs/petgraph/latest/petgraph/graph/struct.Graph....

[2] https://docs.rs/petgraph/latest/petgraph/graph/struct.Graph....
Maybe a good step would be figuring out a way to not immediately commodify all human activity and then smugly tell the affected to learn how to do something new when their life's work is rendered obsolete by technology.
Ah yes, because they have a massive incentive to do this
At this point I feel like people must also be trying to modify their DNA in secret. I wonder if we'll hear some horror stories in the next few years.
But with his system, he gets to charge you extra and can deny staff bonuses. It's like stealing tips but more legal.
Complementary evolution of coding/noncoding sequence and mammalian hairlessness
Prof might’ve done you a favor. Seems like you didn’t need that class anyway.
We launched in TikTok; here is the initial view-count
Hot take: I think the lack of mobile support is a feature, not a bug. Mobile interfaces are responsible for much of the noise of mainstream social media, they encourage short form content creation because the interface is too simplistic and typing on a tiny touchscreen keyboard is unpleasant and error-prone. By making the only viable interface a desktop interface you put up an additional barrier to that type of noise.
Is there a way to opt out of them too?
I'm really hopeful about focused ultrasound for non-invasive treatment of various brain diseases.
I am just now realizing that greyed out text posts weren't downvoted.
> This is why also Apple is hesitant to convert Lightning devices to USB-C

What new Apple products can you buy today without a USB-C port, besides their phone? iPencils maybe?
Everyone in the comments saying this is good because of theft is missing the forest for the trees.

It would be quite simple for Apple to setup a rescue program that actually got people their stolen devices back and solves the recycling problem:

1. A recycler with an activation-locked device pings apple.

2. Apple pings the former owner.

3. If the former owner wants it the recycler forfeits it to the nearest apple store where it’s shipped at the owner’s expense to the former owner.

4. If the former owner doesn’t want it or doesn’t respond in 60 days, it’s wiped and unlocked.

Activation lock is nice because it deters theft, but it doesn’t get you your stuff back and results in a ton of e-waste in the long run. A solution like this balances those two conflicting problems. Legit recyclers can keep stuff out of the waste stream. Theft is still strongly discouraged, and this time you might actually get your phone/macbook back!
It is largely unsolvable if you rely fully on the server. I describe here how we handle this at Standard Notes where the client can reject weak parameters from the server: https://news.ycombinator.com/item?id=34506062
Most Security Depts were just fine with HDD/ssd destruction. With new apple machines there is no possibility of this.
Sure — but you’re not in prison. The kinds of people in there are probably receiving smuggled goods or other illicit materials, not pleasant drawings from kids.
I thought that it has been pointed out that TCI has less than a percent of ownership in Google.
I've handed my resume at career fairs and I twice they noticed and pointed out that it was LaTeX and it impressed them a little bit.

But I was a EE student so maybe it'd be different in another field.
It’s not about whose terms you’re living on, it’s about listening. Most people around us are dealing with mundane things that need fixing, just listening to people’s grievances is a great way to ideate. There are individuals who you just end up meeting through life that have great niche problems that require nothing else other than living and listening to attain them.

Going out and “pursuing” ideas often leads to some confirmation bias as we’re determined to “find” an idea, rather than sitting back and letting the lightbulb go off when you’re not actively trying.

To each their own though.
$60 per unit sounds pretty good. Does anyone have experience cross compiling to x86 from a cluster of Pis and can say how well it performs? A cheap and lower-power build farm sounds like an awesome thing to have in my house.
I've had a LaTeX resume for ~15 years. I'm not sure I would do it from scratch now, but I don't need to update it that often.

That being said, I'm not sure what else I would do it in. LaTeX has the virtues that it hasn't changed in 15 years and that it's free.
> Most people selling their Macs do not even know that they have to formally pass ownership on to someone else

Then the person who buys it from them is going to send it back, and they'll know next time, or however that gets resolved. If they're selling it to a reputable commercial entity, that entity will know it needs to be done, and will ask them to do it first. Every iPhone I've sold to a company in the last x years has needed this process done...
How else is one supposed to sneak in LSD blotter if they can't disguise it as a letter?
It’s a well-written and informative guide! Thank you.

If your focus is separating content from styling and have good version control of your CV (or other similarly short report type documents) may I suggest to use org-mode instead that is able to generate most of your latex for you: https://opensource.com/article/20/4/emacs-org-mode
The object is about half the size of the famous Chelyabinsk meteor that hit Earth in 2013.
Not really, it feels like you forgot the distinction between personal choice, where the decision affects only you, and group choice, where a decision is made for, and affects everyone in a group. Smoking falls in that second category, so it's not just your decision to make, the entire group gets to weigh in. So they did. Democracy works, even if (especially if) you don't like the result.
Couldn't your friend just unlock it for you?
U.S. to test nuclear-powered spacecraft by 2027
In TFA, isn't Jetbrains using it as a CI system?
If you hire 30k people that you shouldn't have hired, when you let 30k people go it will probably not be the exact group of 30k that you hired, some will be folks that have been there for a while.

And to anyone complaining I just say: "welcome to the tech industry?". Layoffs are a very normal part of our industry and it happens all the time. And as former Google engineers, I'm sure none of those laid off will have trouble finding work again.
> ... it might make up for many people not getting two day delivery with Prime anymore.

They got rid of 2-day delivery? I've only see the reverse with most orders showing either free same day, free overnight (arrival by 8am), or free next-day.
The first thing we need to do is to limit the scope of the web. Make the web tech finite. Stop evolving it. Throw away all the wannabe-app-platform crap and anti-user features like service workers, PWAs, DRM, WebUSB, WebBluetooth, WebSerial, WebMIDI, then declare HTML, CSS, and JS immutable. Third party cookies also need to be abolished, yesterday, with no replacement.

Then we could possibly have new, from-scratch, independent browser engines that could compete with the status quo.
giropay is a merger of three different bank-developed systems. And it shows.

Because banks generally don't support all features, only the ones they already used to support.

My bank, for example, does not support person-to-person transfers, only online payment at web shops.
>The problem is that no one goes through the effort of making an official policy against something unless that something is actually a threat

FFS. This is exactly what I mean.

Is it really not that unforeseeable that some MBAs wouldn't just implement anti-trust training because "it's what all the other BigCos do"?

Heck, every defense contractor has anti-bribery training that delves into avoiding optics that hint at the potential for bribery. The overwhelming majority of them aren't bribing anyone.

>If one is going to make a rule "Under no circumstances, call a spade a spade;" you bet your sweet arse if I'm a regulator, you're getting extra effort in investigating that aspect.

Next time you get pulled over make some wise cracks about trafficking drugs. Then maybe you'll see why they have a "don't talk about drugs" policy.
That's a feature, isn't it? Must keep the revolving door spinning!
My mother is taking it (for diabetes) and one of her doctors suspects it may be the cause of some long term diarrhea issues she has been having. But that is still to be determined. My mother is also having liver issues, and I had not heard about the lactic acidosis problem before. I will pass that along.
But you have to care about the type with unknown? For instance calling this on an unknown

obj.value

Will return a type error that value doesn’t exist on unknown. While calling it on an ant is valid typing
Super random question... I wonder if the name is related to Frank Matano, the italian youtuber/comedian.
Prisons are a racket, but physical mail is also an exploitable loophole for getting drugs into the system by sending paper laced with fentanyl.

https://www.msn.com/en-us/news/crime/bronx-jail-officer-hosp...
The point to Apple’s security is that nobody can unlock these machines but the owner, even Apple.
So this is speculation and not new information from intelligence sources, right?

We could say with equal confidence that Ukraine is already breaking Russia’s budget and they would not want to escalate.
A safe has a pretty extremely effective security feature that prevents the kinds of thievery at the scale of Apple devices: namely, mass. A secondary contribution of course comes from the tendency to be placed deep inside a building.

Apple devices wouldn't sell at all if they tried to implement this kind of security.
Like they can't get both? Who are you to decide that? Are you in prison since that was your qualifier to the GP?
There's truth to what you say, but that's a sweeping generalization.
What this pretty clearly demonstrates to me at least, is that executives and shareholders are stealing 90% of the value each employee creates, as both companies median per employee compensation is around $300k, yet they each produce 10X that amount in profit. Sounds like the employees are actually criminally underpaid. But of course the hedge fund billionaire will say they're getting too much, as heaven forbid some people enjoying comfortable middle class lives prevent a billionaire from getting that third mega-yacht.
Why is AI introducing a misspelling, one that does not appear to be any sort of deliberate wordplay?

https://random-poem.com/Weird

"ridicolously"
Do people actually think many or most CEOs are high-quality executives?
In fairness, Keanu Reeves, like Kristen Stewart, isn't the hardest person to deepfake…
We’re talking about in the US here
Does it not seem suspicious to you when you see a video of the device, and it's of a 3d model?
Weird. I'm sure you could say any other intelligent species that helps others is no longer evolving too.
No, gas stoves were just proven scientifically to cause asthma in children. Which would mean in a saner world, they were finnished for homes and private use.

https://www.massmed.org/Publications/Vital-Signs---Member-Pu...

But a subpar, unsafe product, with huge negative side-effects is not dead, when it can limp into the conflict zone of the civil war.

Asbestos today would declare itself, either by making rainbow asbestos or blue line asbestos and life forever. Dystopian begins not even to describe it.
Looking in the browser networking panel is probably the easiest way to see whether it actually sends a request.
Getting paid sounds like pretty good incentive.
Here are additional resources about specific defense techniques for prompt attacks:

NCC Group:
Exploring Prompt Injection Attacks
https://research.nccgroup.com/2022/12/05/exploring-prompt-in...

Preamble:
Ideas for an Intrinsically Safe Prompt-based LLM Architecture
https://www.preamble.com/prompt-injection-a-critical-vulnera...

@Riley, hello, I wanted to say hi and I would love to connect with you if you have time, as I also work in the prompt safety space and would be honored to brainstorm with you someday. Would you like to start a message thread on a platform that supports it? I think the research you are doing is amazing and would love to bounce some ideas back & forth. I was the one who discovered some version of prompt injection in May 2022 while researching AGI safety and using LLM as a stand-in for the hypothetical AGI. You could email me at upwardbound@preamble.com to reach me if you would like! Sincerely, another prompt safety researcher
Regardless of it being popular, it only opens oneself up for being discriminated against.

Hiring person might have a bias against people with blonde/brown/black hair.
Oh! they look like they are cocky and difficult.
This person reminds me of my ex, there is no way I could be in the same office.....

This list of biases are endless. Sexism/Racism/Ableism/Ageism/etc are all given a free pass if you include a picture, but become various shades of obscure without it.
Open Genes
Unless this is what's happening in the majority of cases I don't think it's fair to focus on it. My hunch is that most of the laptops in that article are either stolen or dumped by users/corps who couldn't be bothered to unlock them.
Or just install and use xSearch: https://apps.apple.com/us/app/xsearch-for-safari/id157990206...
Have the backend use htmx. Sorted.

Just create a spec file. Or not even bother with that, just a loosely written problem statement. It can choose its own domain name too.
The fear you speak of doesn’t come from the flying bit. It definitely let people know the flying tech is fairly safe.