skysight-inc/HackerNews huggingface dataset:
The Virtual Boy final form.
You’re right, it’s good enough for me. That’s what I meant but I didn’t make that clear at all. I suspect a ton of people are in a similar position.

I just don’t push it at all. The few games I play are not complicated in graphics or CPU needs. I don’t draw, 3D model, use Logic or Final Cut or anything like that.

I agree the extra power is useful to some people. But even there we have the M1 (what I’ve got) and the M2 models. But I bet there are plenty of people like me who mostly bought the pro models for the better screen and not the additional grunt.
Just testing the release with Hermes 2 pro on mac. PDF and web summarisation is so much better than llama3.
Does it use ChatGPT every time you run the test or only when a test fails (to check if the selector has changed)?
> how many watts are we really saving between lpddr5 and ddr5?

From what I gathered, it's around a watt per when idling (which is when it's most critical): the sources I found seem to indicate that ddr5 always runs at 1.1V (or more but probably not in laptops), while lpddr5 can be downvolted. That's an extra 10% idle power consumption per.
This is one of the most lacking features I see with nintendo products. Being able to play with friends is a massive feature other consoles have and I am unsure why nintendo is so against it. Gone are the days where kids sit in the same room on a TV playing games. It is much more common for them to go home after school, grab their headset and start gaming. I do have a couple switches but I don't think I would be grabbing future model without things like text or chat as it is much more fun to get on a PS5 and be playing with several friends at the same time.
Not sure if you mentioned "through their hardware" specifically in reference to the Nintendo Switch Online mobile's voice chat capabilities, but man, that's always struck me as a weird/interesting choice.

On one hand, bizarre to silo voice chat into a completely different piece of hardware than the one you're gaming on that already has a microphone built in. On the other hand, it does make sense as a way to keep kiddos off the airwaves, since to use NSO's app you either need to have a phone or (hopefully...) get permission from a parent to use theirs. On the other other hand I'm just glad they've finally enabled any kind of voice chat at all.
> EXCEPT for workloads that need more than 8GB for a process

Isn't that exactly the upthread contention: Apple's magic compressed swap management is still swap management that replaces O(1) fast(-ish) DRAM access with thousands+ cycle page decompression operations. It may be faster than storage, but it's still extremely slow relative to a DRAM fetch. And once your working set gets beyond your available RAM you start thrashing just like VAXen did on 4BSD.
Likely the second - they usually base drilling depth on the known area and a wide margin, so everyone probably thought 75 feet was fine, do a hundred to be safe.
Yes, I agree that I was always talking about whether this was good or bad for California. You then provided arguments against non-competes:

> Some of those non-competes were ridiculous with their "in perpetuity throughout the ends of the Universe" type wordplay, I'm surprised governments haven't been more vigilant on things like the stifling of entrepreneurial mobility, since it only helps their economies in the long run to do so.

> Make it possible to disrupt, design economies for entrepreneurs as much as for corporations, and reap the benefits IMO. Let those big evil uglies get disrupted if they can't stay relevant or retain top talent.

My point all along is that "is this a good thing for the FTC to do?" and "is the FTC doing this thing good for California" are separate questions. My initial comment only opined - in the negative direction - on the latter question which is why I have been perpetually confused about you arguing the former question.
I like https://github.com/Textualize/rich and Textual by the same team, they solve a similar need but using Python.
This CPU benchmarks in the same ballpark as the M2 and it runs for $329:

https://www.amazon.com/Lenovo-IdeaPad-Ryzen5-5500U-1920x1080...

An 18 hour battery life is a luxury characteristic, not something penny pinchers will typically be selecting on.
That's you deciding the case, not the ICJ. Which is fine, but you cannot reasonably argue that the ICJ agrees with you, because it has not done so. This isn't nuance; respectfully, you're flatly wrong about the implications of the ICJ ruling. What I think is happening is that you're looking at legal terms of art and just substituting ordinary definitions for them. You cannot meaningfully do that.
Intel Arc A770: Arrays larger than 4GB crashes
Competes with space for VRM's.
> To them, it's a cost advantage to make these computers easier to repair.

Alternatively, it allows them to use more efficient RAM in computer lines they can't make non-repairable so they can boast of higher battery life.
> The teacher first accused my parents of lying that I read that many books, because it quickly got to double digits, but I was able to summarize all of them off the top of my head, so instead I was just forbidden from doing it altogether.

> Not sure what the lesson is there, lol.

Lessons learned:

a) Incentives matter (economy 101)

b) If a market offers possibilities for arbitrage, market participants will attempt to make use of them.

c) By market laws, arbitrage opportunities will close very fast, so in the long term, markets can be assumed to be arbitrage-free.

d) Goodhart's law: When a measure becomes a target, it ceases to be a good measure.

e) Authorities (or those in power) will attempt to cheat you. Don't trust them.
Quickly understand your target audience with this platform
In these cases, it still seems that tablet-based tools are very much 'secondary tools', more of a sketchpad to fiddle with ideas while on the move, rather than 'production tools'.

Then there's the whole dealing with lots of files and version control side of things, essential for working as part of a team. Think about creating (and previewing, and finally uploading) a very simple web page, just HTML and a couple of images, entirely on an iPad. While it's probably quite possible these days, I suspect the workflow would be abysmal compared to a 'proper computer' where the file system isn't hidden from you and where you're not constantly switching between full-screen apps.

And that's before you start dealing with anything with significant numbers of files in deep directory structures, or doing more technical image creation (e.g. dealing with alpha channels). And of course, before testing your webpage on all the major browsers. Hmm...
The part that really engenders distrust of the dental industry is that I’ll get three very different opinions from three dentists.

I should write a long post because any time the topic comes up I have a lot to say, but don’t want to wear my thumbs out on my phone. What they did and then further tried to do to my children made me violently livid and completely disenchanted with the industry.

Never thought I’d be a conspiracy theorist type person about anything but I do not trust dentists.
> A skilled interviewer is easily able to ascertain breadth and depth of the candidate's experience [without a coding test]

And yet, many interviewers' experience shows that there are people that would pass a discussion-only interview and fail at basic coding tasks. There's plenty such people holding down jobs for a while, so even that may not be a sure indicator of skill.

> The intentional ambiguity is deceitful. The expected dependence and expected deference is so patronizing and manipulative.

I'm ~1.5years into my first job as a Backend Dev so I can't speak much about the industry, but based on my experience and what I hear from others, asking questions and clarifying unclear requirements is part of the job description. I almost never get my tasks in a precisely defined way and a lot of my job is gathering information and asking the right questions to build the right thing, often making my own choices and judgement calls. I assume that these skills are what GP comment is trying to test.

> They don't really care, nor should they, about your product, or your customers.

You can hardly blame a company for preferring someone who does. Or at least, pretends to.
Expressing proofs as formal logic is a great tool to make them more rigorous. Formal proofs are easier to check with a computer, provided that all the cases have been fleshed out, and that it has been written in a proof-assistant language. However those proofs are tedious to write, and a human reader has a limited capacity for handling high number of cases. Omitting cases and writing out informally why those cases can be omitted is crucial to help the reader to follow the proof. That is a step where errors can arise.

An example of wrong proof due to sketching quickly some cases is the proof that all triangles are isosceles [1].

Here is also an example of an apparently obvious result with a non-trivial proof, were all the cases are written out formally in the proof-assistant language Coq [2]. It is the proof that if we compute the multiplications and the square roots with floating-point arithmetic in base 2, then sqrt(a*a) is actually |a|. This was assumed without proof in some previous papers, and it is easy to understand how the authors may have missed it. Note that this result is not true in base 10.

Finally, sometimes non-formal proof can actually be more convincing than formal proof. For example, it was proven formally in 1957 that it is possible to turn a sphere inside out continuously, without cutting it, tearing it or creating any crease [3]. With more work, this result was later proven with a video. The video proof is arguably easier to follow and more convincing for a human. The formal proof has not yet been formally checked by a proof assistant, although work in this direction is on the way [4].

[1]: https://www.themathdoctors.org/false-proofs-geometry/

[2]: https://inria.hal.science/hal-01148409v1/document

[3]: https://en.wikipedia.org/wiki/Sphere_eversion

[4]: https://leanprover-community.github.io/sphere-eversion
Is there existing terms of art for this concept? It’s not like slightly unreliable writers is a new concept, such as a student writing a paper.

For example:

- Authoritative reference: https://www.montana.edu/rmaher/ee417/Authoritative%20Referen...

- Authoritative source: https://piedmont.libanswers.com/faq/135714
Ask HN: Best software to make demo videos?
For our startup and customer support, we want to make demo videos. What software of apps has HN found useful for doing this?
This is an interesting argument. Can we quantify the harm done by regulation? Which regulations should be repealed first?
who bought the office towers during covid and wants to sell/repurpose them? ya
>Apple's AI strategy is to put inference (and longer term even learning) on edge devices

Ironic, given that AI requires lots of VRAM.
Sure, then try this one from HP with 16GB RAM and a CPU that benchmarks in the same ballpark as the M2, for $387:

https://www.amazon.com/HP-Pavilion-i7-11370H-Micro-Edge-Anti...

The point isn't that the MacBook Air isn't better by some metrics than PC laptops. A Rolls-Royce is "better" by certain metrics than a Toyota, too. What makes a device luxury is if it costs substantially more than competing products that the average person would consider a valid replacement.
Yes! Really interesting, and the guides are excellent. (Think they missed an opportunity to call it MoMAD though.)
We live in the age of ChatGPT. It might actually be time to assess how candidates use it during interviews. What prompts they write, how they refine their prompts, how they use the answers, whether they take them at face value, etc.
Great response, and you're definitely not alone there, that's why I ask! I too find that the intent of "the law" is noble, but it seems to collect hard edges in practice.

> I'm not talking about personal morality; I live by one that many people would probably find overly restrictive (I certainly do).

Well now I'm interested!
Rich / textual let you stream a terminal pane to a browser over a websocket, you could then embed that in a webview, use a PWA, or use Electron to display it in app form.

Please let me know if someone actually tries this!

https://github.com/Textualize/rich
I have been playing around in pytorch with an a770 16GB card and hit this error. The response seems to be https://github.com/intel/intel-extension-for-pytorch/issues/... that larger than 4gb allocations aren't supported even though the card is 16gb. I haven't seen a ton of stuff on intel arc for machine learning so wanted to share my experience
Generally, I feel that telling a company how to handle a product line as successful as the iPads doesn't make much sense (what does my opinion matter vs their success), but I beg you, please make Xcode available on iPad OS or provide an optional and separate MacOS mode similar to Dex on Samsung tablets. Being totally honest, I don't like MacOS that much in comparison to other options, but we have to face the fact that even with the M1, the iPads raw performance was far beyond the vast majority of laptops and tablets in a wide range of use cases, yet the restrictive software made that all for naught. Consider that the "average" customer is equally happy with and, due to pricing, generally steered towards the iPad Air, which are great devices that cover the vast majority of use cases essentially identical to the Pro.

Please find a way beyond local transformer models to offer a true use case that differentiates the Pro from the Air (ideally development). The second that gets announced, I'd order the 13-inch model straight away. As it stands, Apple's stance is at least saving me from spending 3,5k as I've resigned myself to accept that the best hardware in tablets simply cannot be used in any meaningful way. Xcode would be a start, MacOS a bearable compromise (unless they start to address the instability and bugs I deal with on my MBP, which would make MacOS more than just a compromise), Asahi a ridiculous, yet beautiful pipedream. Fedora on an iPad, the best of hardware and software, at least in my personal opinion.
The US can swarm when needed and paid for - usually when a major traffic artery is dead because of a disaster.

IIRC it’s something like if a state can fix a damaged/destroyed freeway in under sixty days the feds pay for it entirely.
From Tmux to Kitty
Not privy to details, but some legal disputes can be resolved by licensing price negotiations, motivated by customer launch deadlines.
My grandpa was there as a Marine as soon as the armistice was over (he went from the horror of burning out japanese from tunnels with flamethrowers to that). He didn't talk about it much, but he sure hated Reagan and Reagan's love for nukes. By the time I was around his hips had melted away and had to be replaced. I have the Rossarie he carried there. I'm not really religious, but I figure if it could get him through a post nuclear attacked city it can be my lucky talisman as well.

People make fun of the fifties 'just make it look like everyone was happy' mindset, but can you blame these people? He was a young Iowa farm boy. He grew up riding his horse to school, no cars. Then off to be a Marine in the Pacific (because he and everyone from his town was too recent of German descent to be trusted to go to Europe, plus the town had a German language newspaper before the war, which of course, by the end, no trace of being German was left. Only red blooded American English speakers) who saw the effects of nuclear war. Dude just wanted to drink a beer and listen to polka music on Laurence Welk.
From the Bitmessage website https://wiki.bitmessage.org/

> Security audit needed

> Bitmessage is in need of an independent audit to verify its security. If you are a researcher capable of reviewing the source code, please email the lead developer. You will be helping to create a great privacy option for people everywhere!
Which part - launch timing, multicore performance or mainline Linux support?
Discussed recently in another Ask HN:

https://news.ycombinator.com/item?id=40231790

394 points | 5 days ago | 167 comments
I'm not sure I get the 'intermittently' thing? They always seem to have been much the same, maybe with more emphasis on reliability and customer satisfaction rather than flashiness than some of their competitors. They also seem to stick to making good cars rather than doing mergers and acquisitions unlike say GM or VW.
A bit off-topic but is there some law in the US that mandates people to say things like "This article is written solely in my personal capacity, and does not represent the views of any organisations I am affiliated with."?
> Can we stop calling it "failing" when a company decides you're not a good fit? If you go on a date and don't get asked for a 2nd, did you fail the date? You're not just what they're looking for right now; not everything has to be a failure.

Fair point.

> I'm sorry, what? He thinks it takes one hour to teach someone data structures? We sure are wasting our time with those multiple college courses and hundreds of textbooks on the subject then. We should just get this guy to spend one hour imparting all necessary knowledge into everyone.

There's a difference between understanding how to implement one and just knowing how to use one that's already been written by someone and when to use it.

> Human biases are much more likely to work against you if the interviewers have not spent time trying to come up with a consistent test that they give everyone. Does the author think human bias is absent from non-technical interviews? The less standard your hiring methods are, the more bias you'll have.

Fair, but alas I don't know the rigors they have put their hiring process through. If I were a betting man, I'd still say that if we measured all processes using programming tests, the majority of successful candidates had working output by the end.

> I don't know who Darren Kopp is, so maybe I'm about to get an army of replies saying he's their coding role model

I've been told this by everyone who knows me

> but this is an article about whether code interviews work or not, and he's basically saying "if they don't hire me, who will definitely become one of the best employees they've ever had, then their coding interview process must suck". The other possibility is that Darren Kopp just isn't actually tremendously more stellar than everyone else and coding interviews are actually kinda working. For his argument to work, he has to be one of the best possible candidates for every job he's applying for. I just kinda doubt that.

Actually the only conclusion I have after writing the post is that I am not talented at interviewing. I do believe coding interviews have flaws for how they are used, but that doesn't necessarily make them wrong or right. I agree with your first statement, maybe I'm just not a good fit.

Perhaps both of us are correct as I consider coding interviews more of an audition than anything else. If Tom Cruise auditions for a part and doesn't get it, does that mean he's a bad actor? Likely not.

(I'm Tom Cruise here, btw).
French regulator fines Google $271M over generative AI copyright issue
But what liability?

That's the whole point of encrypted storage. There is no liability if you used a reasonable password.

Why not accept you have peace of mind and resell on eBay for parts?

Assuming you didn't use "password123" or something.
The unsafe ALTER COLUMN is one step.

The safe option is four steps minimum.

It's not hard to see why people would be tempted by the unsafe option.
That doesn't answer the question at all. They said specifically that they expected this in tetris before it happened for some reason.
I assume they mean having some memory soldered and an expansion slot.

I've seen laptops like that, with e.g. 8GB soldered and a sodimm slot.
Lots and lots of suburban houses are in fact the problem. Many of them are effectively temporary without being priced as such.
You might as well ask how they use book libraries and web search.
I'd revise (c) to just "in quantity." They're able to throw a lot out to see what sticks, and while a lot of it doesn't, some of it really does.
And they do do things when it’s warranted, like the bridge replacements where they build a whole new bridge next to the existing one and swap it overnight.

https://youtu.be/dMvmhyGgaq4?si=YXMt5tWpuNVXkcT7 (not necessarily the one I’m thinking of)
Well, it's a 25% discount, it just doesn't sound like much because PG&E's rates are so insane.
This is a form of sampling bias. The quick projects are only there briefly, so you're less likely to see them. Everyone sees a slow project that has some scheduling disaster occur, like a strike or a supply shortage or a government failure of some kind.

You don't know just from driving by whether 99.9% of projects are quick and efficient.
Which LLM do you use? Because I can't see an scraper running daily without being very expensive.
Considering the facts is much harder when admitting a mistake is involved.
Looking at a Database example[0] doesn't make me want to write this more than using any other framework.

[0] https://docs.jolie-lang.org/v1.11.x/language-tools-and-stand...
They absolutely do. You must have looked it up wrong.

Here:

https://www.apple.com/recycling/nationalservices/

I've even done it before personally with an old MacBook that wouldn't turn on.
Doesn't the article say exactly that?
You talk about meeting and then about newspapers? Have you met them yourself?
Enough with Saving the Honeybees
You create power and those that lust after it are drawn to it like moths to a flame.
I just went to store.apple.com and specced out a 13" iPad Pro with 2TB of storage, nano-texture glass, and a cell modem for $2,599.

MacBook Pros start at $1,599. There's an enormous overlap in the price ranges of the mortal-person models of those products. It's not like the iPad Pro is the cheap alternative to a MBP. I mean, I couldn't even spec out a MacBook Air to cost as much.
I think it's a lot easier to get a staff role than being a Hollywood actor. Staff+ comprises around 7-10% of a company's engineering team.

A quick Google leads me to believe there's usually about 15-20 A-list actors at any given time and 130,000 members of SAG-AFTRA.

I think it's certainly achievable if you put in the time and effort (and of course if you're good at your job) -- the question is do you want to or not. It can be incredibly demanding and may not be intrinsically rewarding to you. It seems folks generally believe "senior" is an achievable level -- they should, it's usually the first "terminal" level at which it's ok to remain for the rest of your career -- then you shouldn't view staff as intrinsically out of reach.
Show HN: MoodieMoovy – A free; movie recommender with a strong algorithm
I hate not knowing what to watch. Even worse I hate taking hours choosing. So to combat this, I invented MoodieMoovy, the most unique yet specific movie reccomender around.

You can input your mood, the time of day and day of the week along with what services you have access too, and using the strong algorithm I built, you can get enticing results that go on.

This was a fun side project I made with the intention of 'finishing something for once'. I would love for you to try it out and leave some feedback!