skysight-inc/HackerNews huggingface dataset:
I distinctly remember trying to "read" sentences as a small child by investigating the shape of the letters. For example, if a letter looked friendly, like like A or C, I assumed a nice message. If the letters looked serious or grave, like T, E, K or W, I assumed a bad message. If a letter looked soft like B or P or O, I assumed the sentence was about something soft, etc.
Sequoia changes virtualisation on Apple Silicon
That’s true. As a Polish person I will often say “IRS” or “polish IRS”, when I mean a more generic “tax office”.
zed has bindings re-configuration, but cannot read vim noremap configs:

https://zed.dev/docs/vim#custom-key-bindings

So it's by default qwerty-centric.
> The new material provides an energy density — the amount that can be squeezed into a given space — of 1,000 watt-hours per litre, which is about 100 times greater than TDK’s current battery in mass production.

> The battery technology is designed to be used in smaller-sized cells, replacing existing coin-shaped batteries found in watches and other small electronics.

> The ceramic material used by TDK means that larger-sized batteries would be more fragile, meaning the technical challenge of making batteries for cars or even smartphones will not be surmounted in the foreseeable future, according to the company.

Still extremely interesting.
Tesla and SpaceX collectively employ 113,000 people, and I really think the story should be more about them than the guy who has the keys to the nicest office in the building. Gwynne Shotwell is a hell of an administrator. Without Starlink, I wouldn't have broadband!

Elon Musk makes his questionable opinions public, but we don't know if the Hughes or Chevrolet CEO has bad opinions for which they must be cancelled, because they have PR teams and filters and the sense not to shitpost. It's possible that no product is safe.
I guess she also wanted to be able to conveniently see what all the VCRs were recording, at any time? Ok, several TV sets were expensive, but compared to the cost of all the tapes (not to mention the apartments she bought to store the tapes) I guess it was just a rounding error...
So essentially you created elaborate ads and are now upset that the bigger ad company is better at it than you.

As much as I dislike Google, people who create content FOR google are infinitely worse IMO as they bury all the genuine content created by people without a profit motive. You can always go find a business model that doesn't depend on Google driving traffic to your website.
And all they needed was an opt-in. That's really all they needed.
I used to say that to my girlfriend. She did.
I don't really see what's "elegant" about the code, could you elaborate? (This isn't a jab at GP. I'm just curious about what I'm not seeing.)
Maybe people in CS should enjoy learning things about CS and not do the bare minimum?
Ask HN: Can you tell me similar sites to this one?
No, diversity isn't creativity. For example, we could search google for "great art" and if it produced a sample of one art work from ever decade of the last 500 years that would likely be highly diverse in style and content. If it returned a list of the best work from western Europe in the of the 18th century it would be rather consistent. Both lists would have the same amount of creativity though - 0.
I was looking at both rules, and specifically I was using the long version where you said "it doesn't assign them to some other global variable that you have to track down". If you pass in a mutable object then that's not "some other global variable".

If I interpret "It only outputs its results" in a very strict way, that still allows having output and in/out parameters. The latter of which can break purity.

Though you can break purity with just inputs:

define f(o): return o.x
let a = {x=1}
f(a)
a.x = 2
f(a)

If you meant to describe pure functions then that's fine, that's why I addressed pure functions too, but I don't think your original description was a description of pure functions.
Art for much of human history was devotional, a lot of our greatest artworks today are still religious in nature. The idea that art solely is an act of rebellion rather than say worship, is a pretty modern idea that has produced some rather questionable art by the way.

Of course a great artist or poet can be a propagandist. Riefenstahl, Mann, a lot of German nationalists were great artists. One of the most famous works of Western poetry, The Aeneid is literally a propaganda work establishing a mythological foundation for the Roman Empire, Augustus and Caesar.
Small correction: CUDA was first released in 2007 and of course Nvidia was also aiming at HPC before the AlexNet moment.
> Caring is not necessarily represented by the amount of time or text spewed forth on a topic.

The meta says that it is. there are only 81600 seconds most days, and you get to choose them how you want, so choose how you spend them wisely. if that's arguing over tabs or spaces, then that's your choice.
It does kind of look like a sticker now that you mention it. I went over to look at the video of the device itself and it seems like it was just the angle of the photo.

https://www.youtube.com/watch?v=5nUYHROVOmo
I've had good success with tweeting the company and explaining how the problem is still unresolved.
int
main(void) {
register const char *msg asm("x1") = "hello, world!\n";
asm (
"mov w0, #1\n"
"mov w2, #14\n"
"mov w16, #4\n"
"svc #128\n"
:
: "r" (msg)
);
}
Absolutely! Any beginner can readily combine the catamorphisms and anamorphisms in `recursion-schemes`, or use the ready-made hylomorphisms for common tasks such as setting a value in a data structure. What could be simpler? /s

https://wiki.haskell.org/Zygohistomorphic_prepromorphisms
There will be no French Meta AI , but the English one is getting better and better. And the head of Meta AI is a Frenchman. This is war
€50 in Ireland, down from €65 in the last year, down from €99 in 2022. Because they know where you are, and how much money your average target customer in a country has, and how saturated their satellites in that country are, they can be very specific about pricing.
Many countries place the regulatory burden on the importer/retailer of products to make enforcement easier.

It can be difficult to directly sue a foreign manufacturer but importers and retailers tend to have domestic legal entities that can be compelled to attend court appearances etc.
So what you're saying is absolutely nothing would change?
Not as radical a change as, e.g. integrating systemd though
I’d personally say especially so. I’m guessing those taking it as freshman are missing out on 75% of the good stuff.

It’s free online. And YouTube has lectures from the authors- presented in all their early 80’s glory.
Show HN: Wayther – Weather forecast for road trips on iOS
Hey all,

I'm Axel, and I just launched a new iOS app called Wayther. It's a weather forecast app specifically for your road trips, giving you accurate weather forecasts along your route up to 10 days in advance, anywhere in the world. You can pick different routes and adjust your departure or arrival times to find the perfect window for a safe and enjoyable trip.

Download the app on the App Store here: https://apps.apple.com/app/id6449394257

I’d love to hear your thoughts. If you try Wayther and like it, please consider rating it on the App Store—it helps a lot!

--

The backstory:
A while back, I had to drive a few hundred miles and wanted to dodge bad weather (like rain, high winds, poor visibility, extreme temperatures, blinding sun, night drive). I was tired of juggling Apple Maps and Apple Weather, typing in location after location to check the conditions at different points along the route. I thought, "Wouldn’t it be great if there was an app for this?" So, I built one!
Wayther isn’t just for car trips; it’s great for motorcycles, RVs, trucks, buses, and bikes too. It can help you avoid high winds, bad weather, plan the best times to hit the road and reduce your travel costs too!

How it works:
1. Enter your starting point and destination.
2. Pick a route from up to three options.
3. Choose your departure or arrival date to fit your schedule and preferences.

Wayther gives you detailed weather forecasts at various points along your route, showing info in an interactive map, trip overview, and detailed timeline. It’s perfect for spotting bad weather spots, understanding how weather will change during your trip, and getting details on precipitation, wind, visibility, temperature, and official alerts.

Technical details:
The app is completely native, built entirely with SwiftUI. It uses Core Location for trip starting points or destinations. The app also leverages MapKit for route overlays and annotations. It fetches weather forecasts with Apple WeatherKit. Finally, it includes custom and Swift Charts for data visualisation in the trip overview.

Pricing:
Your first three trips are completely free - no trial needed. After that, Wayther is subscription based with an annual, monthly or weekly plans.

What's next:
This is the first version. I have tons of features planned, like adding stops, route history, favorites, live updates while driving, CarPlay integration, GPX imports, travel speed adjustment for slower vehicles, radar weather maps, better OS integration (widgets, Live Activity, Siri Shortcuts, etc.), iPadOS optimised app, etc. Plus, I'll be exploring new tech in iOS 18.

But I wanted to get it in people's hands and see what people like, what they want, and how it's used. :)
Because your contract was with the retailer. UK consumer law works the same way.
I'm working on my own version that's going to be all buttons and sliders, but I'm hesitant to mention this anywhere because I'm only working on this sporadically as a learning exercise, and the first video already got me more attention than I thought I'd get.

Since then I've changed to a Pi Pico, and using PIO (programmable pins) makes the touch-delay problems I had magically go away. PIO really is awesome.

I've also replaced the DC motor with a tiny stepper motor, and now everything works peachy. Just waiting for some screens and stuff from AliExpress.

Anyhoo, shooting myself in the foot: https://youtu.be/GjmFbgqFeMQ
There should also be a physical attachment for llama whipping.
> ChatGPT speaks a very specific, novel, dialect of English, which I've come to deeply despise.

There was this article saying that ChatGPT output is very close to the Nigerian business english dialect, because they hired a lot of people from there.

Might have even been posted on HN.
Asking a warranty repair on a 9 years old oven is a bit of a stretch.

I doubt it'd fly in the EU.
> Manipulating people works, but people don’t like knowing they’re being manipulated

Agree. The best salesmen I've met have never overtly tried to sell me anything. They've been very knowledgeable about the product and they're much more having a conversation rather than throwing a sales pitch.
That solution doesn't work for Meta. Who on earth would choose to opt-in?
Ask HN: Offering free GraphQL migration support
Hello everyone,

I want to ask if anyone is interested in having me build a best-practice GraphQL API on top of your existing REST or gRPC APIs, completely free of charge.

We're currently running a pilot with our open-source GraphQL runtime, which you can check out at https://tailcall.run/, and would like to test it out with some real production APIs. Anyone who is interested, please comment and if need be we will build the whole GraphQL layer for you for free.
There's some cool mechanisms in type-forward languages that lead to minimal dynamism loss along with safety: For instance, you can do scientific programming that carries units along. So you really can divide a length by a time with no problems: Your results just happens to be a velocity, and will come out in meters per second (or whichever your favorite units are). Adding meters to kilometers? Congrats, you might you have to say which physical representation you want in float-land. But then you are saved from adding seconds to milliliters, because then the types will tell you it's complete nonsense.

But note that to make all of that work well you really need your language to provide a lot of syntactic sugar features which are missing in most older languages, so all the operations read seamlessly, instead of being full of ceremony. One could do all of this in, say, old Java 1.4 or something, but the amount of type annotation, along with the massive mounts of boilerplate to get all of the operationg working right, and checked at compile time would make it all Not-Worth-It(tm) But with enough language features, and a smart enough compiler, `val acc = mySpeed / someSeconds` will work, straight up, with the safety included.
In the EU there are 2 years warranty for pretty much anything (not services), so the reverse bathtub descent is bit more than that.

As for courts - there is a customer protection commission/service in most (all) EU member states. However, they won't do anything if the item is out of legal claim for 'free' (any) repairs.

My personal issue is not the warranty/courts, though. While I can repair all kinds of stuff (from laptops board repair to gas lawn mowers), the fact you get a piece of junk that serves no purpose until repaired, is damning. A story may make a decent material for a blog post, but in real life you generally don't have luxury to pursue a slow process for repair/replacement, if it's an important piece of equipment.
We found a donor via acquaintances, and screened him through both a comprehensive questionnaire(almost any kind of chronic health issue is bad) and blood&stool testing.

While there's some risk of transmitting dangerous, asymptomatic-in-host pathogens, if you rule out viruses and the worst of bacteria, a healthy person's microbiome is likely to be robust enough to ensure they don't proliferate.
IndieTracker
Printers stopped coming with a USB A-to-B cable many years ago. Who knew that the printer makers were in the right all along?
Of course it had to be for Bitcoin mining...
Works the same in the UK. It makes sense that the retailer is responsible for ensuring goods they sell are fit for purpose, especially when many of these laws predate online shopping. Also it would be difficult to sue a manufacturer who isn't in your country.
AMD was close to ruin when Lisa took over. It had completely lost the graphics and x64 wars and was limping by on low margin games consoles.

Since then Epyc has broken Intel. Anyone buying Xeon's today is at credible risk of being fired over it when someone notices the power bill relative to their competition.

The graphics ramp is behind Nvidia in mind share and market share. The ROCm software stack gets a lot of grief on here. Nevertheless, Nvidia lost the frontier and el cap bids and now Microsoft is running GPT4 on AMD hardware. Sounds pretty good to me given it's one product line of many.

If turning a multinational semiconductor firm away from the edge of bankruptcy and into the profitable conglomerate it is today doesn't qualify as "solving a hard problem" I don't know what would. It's way beyond what I'd be capable of doing.
The question I ask straight back at you: how long do you think an oven should last?
Roman Calendar
> considering that they're planning on scanning every single message that I send to "protect the children".

That's one of the large issues with the EU. Against foreign surveillance and espionage, but internally it's a different story.
These power meter cables have been out for a couple years, but it's only recently that manufacturers have caught on that previously the display would be upside down for most(?) people (or 100% of people who are me, anyway) when plugged in on the left side of the machine. Which I find hilarious, because the pictures in the AliExpress listings always showed the cable plugged in on the left, display upside down, like it was meant to be that way.

My ThinkPad only has left USB-C, my M1 Air only has left USB-C, and I'm accustomed to left power from years of MacBooks.
Usually "uncensored" models have been made by instruction tuning a model from scratch (i.e. starting from a pretrained-only model) on a dataset which doesn't contain refusals, so it's hard to compare directly to a "censored" model - it's a whole different thing, not an "uncensored" version of one.

More recently a technique called "orthogonal activation steering" aka "abliteration" has emerged which claims to edit refusals out of a model without affecting it otherwise. But I don't know how well that works, it's only been around for a few weeks.
In addition to the free book online, YouTube has original lectures from the early 80’s- complete with quirky humor, super early attempts at graphics, and late 70’s fashions all around.

Oh,and educational too!
I'm simply saying we are being asked to choose the bias we prefer. However one choice might be "more biased" (despite this concept itself throwing up more questions than it answers).
9 years is a lot to expect it to be under warranty...
yeah, seriously. I am remembering that bit too. How horrible.

This, and the fact that Google Photo's web UI is a poor alternative to a good native photo manager is probably a large part of why I pretty much don't really bother with Google's ecosystem of apps and devices at all anymore.
> You can appreciate that a modest site trying to survive through ads isn't necessarily evil just because it looks for a way to make money off its content?

No, I cannot appreciate that.
I would expect an oven to last for decades.
Porsche's New 911 Engine Is Using Formula 1 Tech [video]
> The tragedy of Jon Stewart was not that nobody listened to him but that everybody did.

Listened to what underlying ethos, though? Stewart himself is still quick to assert that he's only a comedian. He points out the problems and contradictions of our modern dystopia while making funny faces. He never proposes a comprehensive alternative, just general platitudes. He's just here to put a smile on your face while everything goes to hell.

The article mentions his admiration for George Carlin, and in spite of Stewart's gentler demeanor the apple didn't fall far from the tree. Carlin's comedy was politically nihilist. "I don't vote. If voting could change anything, they wouldn't let you do it." Stewart's comedy is just a more cheerful flavor of nihilism.

It's no wonder Stewart doesn't use his platform to promote some tidy vision for the future. Unironic takes on ideology died last century. Mainstream culture will give an equal smirk to anyone saying the workers should seize the means of production, or laissez-faire capitalism is the way and corporations are our friends, or we should just let Jesus take the wheel, or any new variation on the above.

We're all just too smart to believe in anything, and the only comfort is to laugh at the absurdity of it all.
It's in the same bucket as "Affirmative Action" and "positive discrimination." Euphemisms to express that one likes this particular discrimination. To better describe the action, drop your own point of view and just say "bias" instead of "debias."
+1 been at your talk presenting it at a Retreat. Happy User
I'm a bit hesitant about posting this link. I wrote the article mainly for myself (memory capture exercise); it happened a long time ago - and I'm sure my former employers (and hopefully all similar organisations) don't encourage this sort of approach at all.

https://rikroots.substack.com/p/why-rik-left-the-neighbourho...
thank you very much
but invites are needed there
AI in finance is like 'moving from typewriters to word processors'
I know EU law requires a two year warranty on everything, it was one of the few good things the UK got out of it.
I'm sure I read an old article by Dijkstra about connected graphs structure that was titled "wheels within wheels" or used the term inside.

Unfortunately I can't find it by either searching or using the public LLMs, because there are too many results about the shortest path algorithm and anything else about dijkstra is lost.
Electrical engineers do generally think software is easy. Even when their day is a horror show of TCL and verilog. In fairness I think hardware is horrendously difficult, so maybe they're not wrong.
I wonder if this scales up, to batteries much larger than a coin cell replacement.
There are three companies involved (maybe more): The retailer, with which you have a contract, the importer and/or distributor, with which you don't, and the manufacturer, which is in another jurisdiction. Given that the manufacturer is usually somewhere abroad, which company will the legislature pick? There are two options, so I'd be shocked if the lawyers agreed on which option is better to write into the law.

https://toroid.org/exide-warranty-nightmare is an Indian story you might like BTW.
And the best introductory lesson ever where they explain you what is programming.
> “They don’t have any secret sauce other than state financing, state supported supply chain, and a state commitment to build the technology.”

State, state and more state. I wonder how does this feel for those out there convinced that the state is just a hurdle to innovation and advance.
Yeah I read about it on here, but my attempts were before abliteration came up.
300 years, huh? I wonder if it'd be prone to Wait Calculation[1] at that level of travel? We'd definitely be dead or well into galaxy exploration by the time it's close to finished with the Oort Cloud.

Either way, I wouldn't be too worried about collisions. To emphasize again, Space is really big and really empty in the grand scheme of things. Outside of a star's gravitation pull, we'd have to be extremely unlucky to have a collision once we get past the planets. And AFAIK there's no signifigant exoplanet within the Oort Cloud.

As for stars: for reference, The Alpha Centauri is the closest to us and that is over twice as far as the edge of the Oort Cloud. It's not like we'd be able to get any data by that point in time, But I imagine crashing into another star outside of our Sun would be a celebrated moment rather than a somber one.

1: https://en.wikipedia.org/wiki/Interstellar_travel#Wait_calcu...
> Now an old fashioned light bulb shouldn't be expected to last a decade, but an oven?

Funnily enough, there actually was the Phoebus cartel [1] which sought to reduce the lifespan of incandescent light bulbs to around 1,000 hours and raise prices.

[1] https://en.wikipedia.org/wiki/Phoebus_cartel
gpt-4 has had serious laziness problems for over a year now. It keeps on telling me, what I should and could do, instead of doing it itself.
You might want to compare it to the "proper" version of the inline asm code, from this comment: https://news.ycombinator.com/item?id=40703314

Modern C is neither "low-level" or "high-level". It's defined for an abstract machine where integers can't overflow, null pointers can't be referenced, etc. And unless you follow all the rules, and add proper annotations for things like inline assembly, the compiler is free to do anything to your code.

The one advantage to this approach is that modern compilers can turn megabytes of auto-generated crap produced by string substitution macros into halfway decent machine language.

(And I freely admit that specifically Turbo Pascal produced really bad code, worse even than C compilers at the time, but the syntax is oh so much nicer IMHO)
The thing that seems to be missing from your post is a list of examples of its security not being all that in practice.
Also CUDA first released in 2007, I remember researching GPUs at the time and wondering what the hell CUDA was (I was a teenager). They were VERY early to the party and has A LOT of time to improve. Everyone is catching up to ~10 years of a headstart.
And so is her first cousin (once removed) Jensen Huang of Nvidia!
The logic of toposes is higher order intuitionistic logic. The logic of higher toposes is presumed to be intensional dependent type theory. The best introduction to these logics is probably the homotopy type theory book.