skysight-inc/HackerNews huggingface dataset:
Greyhound/bus customers do not want Ohare as the terminal. If they could afford a plane ticket they would just get on a plane, they don't want high priced parking. (there is still an hour through security, but they are already at the airport so time to get to the airport no longer counts).

If they have access to good transit then they want the bus to pick them up with only a few transfers needed on local transit. Otherwise they want easy access for cars and free parking. Most places in the US do not have good transit options so that puts us into car territory and downtown generally has terrible car access. (Of course you used Chicago as an example - one of the few exceptions)
Not hating on Brave at all, but if it's related to cryptocurrency/blockchain, I'm not touching it.
It's about finding those bugs in the first place. Working on a different implementation is one way of doing that.
A real, operating, company needs to have a more solid foundation than 'produce discussions'.
You can also have it leave extra space at the end of the device. I create a new partition there and format it with ab EXT4 filesystem. At one time (I think) Windows could not deal with the extra partition but Linux does just fine.
It was so much that he bought the most expensive real estate in the entire state of Utah. https://www.mansionglobal.com/articles/nikola-motor-chief-se...

"2,670-acre Riverbend Ranch, which includes a 16,800-square-foot mansion along the Weber River"
touch buttons are cheaper and 3 buttons are cheaper than 4. They must have save a huge 1$ or something.
It was as totally different scenario ? The fiefdoms weren’t living through the apocalypse and had something to offer? Zuck will have nothing to offer when the money is worthless.
https://www.reddit.com/r/LocalLLaMA/comments/17kcgjv/how_doe... reddit thread talks about some of the pros and cons of a m3 max with 128 Gb costing ~5-6K
> Plus, you can always get a MacBook Air (which now have relatively great power and performance) if you're a fellow design anorexic.

IMHO, that's a key point. If there aren't clear form factor differentiations between the Air and MBP, Apple is making the wrong tradeoffs with the MBP.
I think they meant any career where the rewards are not dominated by a very small number of people.

For example, many/most? professional musicians struggle to make ends meet, but a small number make millions.

By comparison e.g. tech careers are nowhere near winner-take-all.
Version 2 of the chat demo is now out! It's now trained on a lot more translated chat conversations (190k vs 20k before).

Link is the same as before.
That was US plan all along: give Ukraine enough help so that they can continue the war, but not win. That's because Ukraine winning can have unpredictable effects on Russia internal affairs, including attempted coup, chaos, and someone accidentally launching nukes. Meanwhile, continued war drains Russian resources and keeps them occupied.
I can probably count on one hand the number of comments I've written a comment in over a decode of coding ruby. I've never encountered code I couldn't understand just from reading the code. It really just isn't done in the ruby world. And good - comments are just noise in any language. You need to read the code because comments are wrong often enough (and 1% of the time is more than often enough) you can never trust them.

Consider the overhead of a comment - first you need to read the comment because they are always above the code so that's what your brain will do. This will prejudice your reading of the code.

Then you need to read the code while trying to block the comment prejudice out of your mind.

Then you need to sort of mentally diff the comment and the code, and if the comment is wrong (spoiler...) decide if you are going to delete the comment (the best choice, unless you get a code reviewer who likes comments) or fix the comment (the worst choice, a waste of time, but maybe the only way to get it through code review).

Now consider code without a comment: you just read the code.
You can do this in C#, F#, Rust and many other languages too with 10x better performance (in Rust in particular those usually get completely optimized away).
"Signing up for NATO" aka blackmailing their way into NATO in Poland's case. They really wanted into NATO. There wasn't an eastward expansion from NATO, the east came to NATO.
This corporate infestation of the Fed verse is not going to end well.
It sticks out even with the case. I use the MacSafe wallet thing which is enough with (and probably without) the case to have the cameras not touch the table.
> I wonder if there is a generally accepted quantifiable definition of programming language expressiveness.

If there is such a definition it would not fit into these sorts of conversations. I love Ruby but every time I see someone mention Ruby "expressiveness" it is never mentioned as a subjective fact like syntax feature count. Instead it is always closely tied to emotional feeling, assumptions, and intuition. "Ruby's expressiveness means it just gets out of the way and lets me code." I've probably said that myself a hundred times.

OTOH it is great for DSLs and metaprogramming, gives a taste of what the LISPers have always had. Maybe that is a good definition of "expressive".

[edit: added thought about DSLs]
Some code needs "why" comments, and other code just needs "what" comments (unless it's written in a clear, high level language; then not).

"Why" comments need to go onto code that make some kind of arbitrary decision. Or code which is integrated with processes that are happening elsewhere and has to behave in a way that complements those behaviors. Otherwise the reader would have to read that code together with all those other pieces (or specifications) in order to understand it. Code that is written in a certain way (particularly, an unusual way) for some reason that is not obvious deserves a "why" comment. E.g. "due to a compiler/library bug [give specific version info], we cannot just do this: ...".

Code that doesn't make arbitrary decisions or integrate with things elsewhere, or make unusual coding decision for reasons, often doesn't require "why" comments.

The author of the article hastened to add:

> And when you do need [comments], it’s often when you’re doing a very specific or obscure thing that requires context to understand. It’s clear from the code why you need a comment in that case.

It's clear from the code why you need a comment, because it's a "why" comment.
I tried Mixtral via ollama on my Apple M1 Max with 32GB of RAM, and was a total nonstarter. I ended up having to powercycle my machine. I then just used two L4 GPU's on Google Cloud (so 48GB of GPU RAM, see [1]) and it was very smooth and fast there.

[1] https://github.com/sagemathinc/cocalc-howto/blob/main/ollama...
I'm glad you brought up languages that use dependent typing! And sure, static typing is just one tool of many: so it's not going to be the end-all-be all in the quest to answer the eternal question: "does my program work the way I think it does?" More refined, my claim is that it is a super powerful tool that brings substantial benefits. And that it's a mistake to not use this tool.

No tool is perfect. There will always be room for improvement as we use our current crop of tools, observe how they serve our needs and don't serve them, then use that knowledge to build even better tools.

> No language in common use today asserts anything beyond the most basic properties of a program using types. Idris and Coq do that, but they are extremely obscure even compared to Haskell or OCaml.

With enough time, we'll see the influence of dependent typing crop up in more common languages. For instance, there's the Rust crate dfdx, which uses dependent typing to encode the shapes of tensors. [1]

> It's also important to note that types are quite rarely used outside formal computer science.

This isn't quite right. At least, I think what you're saying is that "physics proofs don't set up typing rules therefore they don't use types." But then again, proofs aren't necessarily programs. Is every physics proof computable? I'm not a physicist so I'll defer that to an expert. My understanding is that physicists aren't interested in computability when they're communicating their ideas about the universe. For the subset of proofs that are computable, I'll make the argument that there exist types on the mathematical structures and operations on them that they're defining. These types needn't be written type and formalized with typing rules to exist.

[1] https://docs.rs/dfdx/latest/dfdx/
I don't recall what brand I had, it was at my previous rental, and it would indeed "lock up", which is fine but it was damn near impossible to unlock it after that and it just kept on beeping at a it "hurts my ears" volume level. And dealing with the finicky controls while that's inflicted on you while your food is burning ... yeah, I'd rather spend a bit of extra time cleaning.
A goodly number of people appear to want just that.

I don’t agree, mind you, but someone reading your comment with this mindset will probably be reinforced rather than swayed.
Well, maybe.

I think you're assuming that missed sales for the Mini means there's no market for small phones.

I would take a different assumption: the 12 Mini (I owned one btw) was as large as an iPhone 6 which for many was the point where phones had gotten to be too large.

If your answer to: "Small phone" is to go back to the first unacceptable phone size for many people, maybe they don't really think of it as "small phone". Why buy it?

There was some minor issues with the phone too, laughable battery life for example and the fact that the 5-sized SE was still generally available and receiving support until even after the 13 mini was discontinued.

People discuss the "SE" moniker as if it's an answer to small phones when ironically the first SE was the only actually small phone and everything since then just gets larger and larger.

I bought a mini because I intentionally wanted to support Apples small phone endeavour. It was too big and going from a 12 Mini to a 15 pro doesn't feel like such a leap anymore because I can use neither of these phones one-handed anyway.
Don't all Verizon sim cards, by definition, rely on Verizon's servers? How can they be federated?

i.e. If every last Verizon server is shut down then they become small plastic bricks.

It wouldn't matter how many agreements have been signed with AT&T, T-mobile, etc...
I'm not sure if it's 'extorting'. Software is hard. Apple/Google put a lot into developing/maintaining their software. People want it. Car companies don't have it.

I can tell you the future. It's that legacy car companies will be merged, acquired, and reduced to a body style and brand logo with maybe 100 employees. Real competition is coming fast, there's no way they survive.
Yes, a mouse that can be charged and used simultaneously.
I've had this idea for something in between Gemini and the modern web that's essentially supposed to capture how the web was in the late 90s/early 00s. Basically just HTML/CSS with GET and POST, no scripting at all.

I don't have the expertise to write this, unfortunately.
> Idk, it's likely very expensive to maintain the physical copies.

Maintaining a large paper archive is almost free in the grand scheme of things. The UK (and pretty much every single other Western nation) has an absolute ton of abandoned bunkers, silos and mines that were intended for Cold War disaster management. Most of them were built to very high standards in locations that won't flood or degrade significantly even if left cold and dark.

Using them for archive storage is trivial.

This seems like a very poor decision. We're seeing vulnerability after vulnerability pour in this year in just about every single OS out there and yet they think something like this is a good idea?

The UK government appears to be trying to shut the country down without anybody noticing until it's too late; it's very weird to watch.
To be fair in a weakly/duck typed languages a string can be an object of any type. The fair question to ask would : do those type quack and walk like a string.
What a neat web development stack, just html & database! No back-end and no front-end required.
He just got 4 years. He'll retire rich.
I don't think that's generally true. As someone who was in college during the vinyl era, although I created mix tapes and taped vinyl that others owned, I never did a lot of purchasing of pre-recorded cassettes and I think my behavior was pretty common. Certainly, the "record stores" of the era carried far more vinyl than cassettes.
I mean when two concepts are at war and are sometimes incompatible.

For example, I am a PC gamer. I think mouse / keyboard is the best way to play many types of games.

But it impractical to have a M/KB on a phone.

So when I play a mobile game I wish I had a M/KB, but I am OK with sacrificing it because I have a portable form factor that was previously not possible.

The new Volvo CX30, for example, put a lot of very simple buttons in the center so they wouldn't need to manufacture a left side driver and right side driver model with completely different layouts. It's likely not as intuitive, but the reduction in manufacturing costs allows them to deliver EVs for cheaper.

This is the kind of idea I was trying to convey, but I admit it was confusing.
If you are new to knifesteelnerds, but not steel in general, and like blades, don’t just check out the site, make a beeline to read about Magnacut. Super cool and exciting.
By that argument, why doesn't the US just join the war with Russia against Ukraine?

Anyway I think I'll avoid getting sucked into this. I just find it incredible that there are people who actually believe that helping a country in their own defense could actually be an act of hostility. It's really such a nonsensical position.
When it comes to printing money, where is the capacity limit?

Is it more than 34 trillion in debt, or is there no real limit when you can just print it and add as many zelenskys as you like?
This must have taken off as widely known YouTube lore, because within 5 seconds of the caver's greeting in the M Cave video, my 8 year old said, "Oh, are you looking up Kenny Veach?" My 12-year-old didn't know the name and came to look at the video, and he said, "Ahh, you mean snakebit McGee. Yeah, he's super interesting"

Sorry for the aside. Hope it's relatable.
Retaking of Kharkiv and Kherson is marginal diminishing returns?
Widely? I lived in this helm, kubernetes, pulumi world the past 4 years and we followed the simple rule of one service/container per pod. Why add complexity where it’s not needed. Like running a dB a and a service in the same docker container - a no go for me and many.
So sad IncludeOS https://github.com/includeos/IncludeOS is no longer developed.
Interesting that Jobs created the Chief Design Officer before his passing so that it had a voice equal to the other ones, but now it'll go back to being managed by the COO.
When I see this I think a clever kid and his grandma have fooled a BBC reporter.
Maybe, but in my experience gcc is, and clang to a lesser extent, is notoriously useless at autovectorisation unless you hold its hand all the way.
Even things like changing an ‘int’ to a ‘bool’ can throw it off completely.
This is interesting! I like how unit tests are easier with Zig.

The approach I am more familiar with is using Google test and C++ to test C code. It's pretty easy if you already have a cmake project set up, and most C developers can wrap their heads around GTest.
AI cooks, AI police, and AI administrators.
Anyone with kids knows the gut instincts that suddenly pop up, but unless you can insulate them for a billions worth, your best bet is still to make sure things are evenly spread enough so there's nobody who thinks they need to topple whatever status quo you've got going. The instinct was not told about how were pretty much shoulder to shoulder on Earth now.
Also, literate programming is a feature of any language. Sure Ruby has punctuation, but is there enough of a difference between `Array#empty?` vs `Array#isEmpty` to break a absolutely not.

I say this as someone who wrote Ruby for 6 years and loves the language for its other features (e.g. everything is an object, functional programming, DSL-capabilities)
Sure. But if you know for a fact that your tap water is contaminated it’s logical to buy water from elsewhere. Maybe look for ones that have been filtered with RO.
Fantastic channel, and I love that he named it (and designed the logo) after his heterochromia: https://en.wikipedia.org/wiki/Heterochromia_iridum
> simple natural order of the food chain

So, AGI would need to exist in some robotic form (or control whatever keeps us alive), without oversight, control and share our biological needs and aspiritions (in order to participate in the food chain).

This is one of example arguments so far removed from current reality, I'm shocked real engineers are participating in.

This reminds me of the 2001 Space Odyssey scenario and wouldn't be surprised that's where the collective fear stems from (entertainment industry). In the same movie, aliens lit up one of the planets and made a sun out of it. How did they do that? No one knows, they are so much more advanced than us.
Maybe this is just my experience, but the thing that sucks a lot about programming to me it that the most enjoyable programming languages are often the ones with the smallest job market.

My job as a programmer would be infinitely better if I could spend it programming Elixir all day, but there is basically no Elixir jobs compared to Typescript, Python, and Java.

But instead I hate my job working in Typescript all day solving problems that I wouldn't have to if I could just use Elixir.

Ruby use to an exception to this, but almost no one is building on Rails anymore compared to how many people build on React, and NextJS.

I'm talking about full stack application market, this is probably different for Rust users for systems, and Python for Data/AI.
Screenshot to Swift UI app in the browser
https://www.reddit.com/r/LocalLLaMA/comments/17kcgjv/how_doe... reddit thread has some ideas.

What I can draw from reading of that thread is that you can buy a Desktop Rig with 200GB memory bandwidth (comparable to m3 pro and max) and a lot of expansion capability (256GB RAM). You should find out if that's still good enough for your local use case for token per second or training.

Then just use SSH/XTerm(and possibly ngrok) to login with good speed from anywhere into your rig with a light M2 ?
It obviously has to do with the long history of auto manufacturers, franchise stores and the laws around who can sell a vehicle. Not many people agree with that set up (other than the manufacturer and the dealer) but that's the way it is.

The trade off though is that there are many more traditional auto dealerships then there are Tesla dealerships. In my province (Alberta), there are 2 Tesla dealerships. Within a 40 km drive of my house, there are 12 GM dealerships! So a lot more competition for my business both for purchasing and repairs. As I understand, if you need repair for your Tesla and can't drive it to a dealership, they will come pick it up. What if you live in Grand Prairie Alberta, a 4.5 hour drive to the nearest Tesla shop. Do you just have to live without a vehicle for 3 days while they complete a minor repair? Not all repairs can be done remotely or on site.
Its because, as you say, guns are contentious, and its a distractingly bad example.

I have a bit of a chip on my shoulder when somebody says "oh, this doesn't apply to me, I'm just that good". Most of the time, in my experience, that's somebody who can't be bothered to follow the rule, and not somebody who is actually a valid exception to the rule. I tend to throw water on such people whenever I can, to try to counter that effect.

I used to teach people how to rock climb, and the sketchiest people I knew were my fellow instructors, because they always had some complicated reasoning why the rules we taught (which, as the saying goes, are written in blood) didn't actually apply to themselves. It's some weird Dunning-Kruger thing going on, where they somehow convince themselves that all of this time spent avoiding death or serious injury by shear luck is somehow evidence of their greater skill and capability to manage the risks.

I watched several of these people take bad falls, walk away from them, and just go right back to what they were doing, with no behavioral change whatsoever.

When I called one of them out for not following a some minor rule around equipment checkout, he said "I don't need to follow that rule, I'll just be responsible". He went on to do a series of dangerous things that probably caused his students to quit climbing afterwards, and was ultimately fired because of gross misconduct surrounding (you guessed it) irresponsible behavior.

Reading climbing and mountaineering accident reports, the accounts from those involved are stacked with "it had always been ok in the past" or "it looked solid to me" or "I had done 'x' (which was completely unrelated to the outcome of the incident), so I thought we'd be ok".

There is less daylight between "there's no scenario where I won't flip out and turn my gun on somebody else" and "I was the last to use that firearm, so I know its unloaded, I don't need to check" than I think either of us are entirely comfortable.

I'll also say that the standard "good" practice is to just store your weapons and ammo in separate lockers, not entirely separate locations. That's a mitigation above and beyond (and punters need to understand why that makes a difference in the statistics).
They don't, it was returning settings from a json file and so was returning booleans, ints and floats.
This is an uncharitable reading; I don't think the author is literally saying that predicate-style methods are a perfect replacement for comments.

The more charitable interpretation is that they're pointing out the developer ergonomics of things like predicate methods remove the need for comments that might otherwise be reasonable to insert. Whether or not that is true is subject to reasonable debate, but it's definitely a more nuanced opinion than "Ruby's predicate idiom means I don't have to document my obvious code."
> t's absolutely not vinyl VOCs that will get you

I know, it's playing them backwards :o

https://www.youtube.com/watch?v=iTpK87Eqzbs&t=10s
The greyhound terminals I've been to have been worse than a smoke shop. They were in run down locations in the bad part of downtown - well most US downtowns are bad parts of town after dark as they focus so much on office work that nobody is there after 6pm.
I disagree, but thanks for reminding me of that article, just splendid https://eev.ee/blog/2012/04/09/php-a-fractal-of-bad-design/

You couldn't really find that many quirks, edge-cases and foot-guns in Ruby, could you?
It's not really, though. We can be 74 zelenskys in debt, and no one really cares. We can always find more zelensky or manufacture more from thin air, it's really no problem for us.
Yes. When I am charging, or not moving, I GREATLY prefer the touchscreen over hundreds of physical buttons scattered all over the car. The minimalism is appreciated. Less moving parts to break, less clutter, and everything is extremely centralized.

When I am driving 85mph obviously I don't want to have to look over at a screen to adjust windshield wiper settings.

One day, ideally most of this stuff is handled automatically or through a simple interface like voice. Stuff like window controls should always exist, but things like windshield wipers or speed should ideally be automated one day.
> Unfortunately, the HTML source for Apple.com is not so "beautiful on the inside", but Apple engineers shouldn't be faulted for ugly HTML. Their only option was to wrap a sleek skin around shoddy materials.

Can ChatGPT et al make good beautiful HTML/CSS pages? Or take an existing one and actually beautify it?