skysight-inc/HackerNews huggingface dataset:
Thanks for giving it another try.

> My claim is rather that causality can't be a sufficient explanation for rationality. By this I mean that we can't explain rational thought by referring to the cerebral states that are associated with it.

I'm zooming in on "explain" here. And I'm not getting it.

I'm not agreeing or disagreeing -- I'm not even following -- and I have some guesses as to why:

1. Are you offering a critique of the lack of free will argument I made?

2. If so, I'm not able to figure out where it lands: for? against? something else?

3. Either way, I haven't yet figured out what you mean by "explain" here.

4. Most broadly, I'm not seeing why this matters. I want to understand, but I haven't yet figured out how to get there.

If you are laying out a known philosophical position, could you please point me to a resource that explains it?
Maybe size of enterprise matters? I work in $LargeCorp and legal was very aggressive about insurance and liability redlines on the last contract I had to deal with.
the BMW motorcycle HUD doesn't have text that pops up unexpectedly, as far as I can see from the demo video. quite the opposite: the HUD stays in one place, and it only displays speed and navigation info, and it doesn't seem very obstructing.

maybe we're talking about different smart glasses?
I was actually expecting some comments regarding the 34B Llama 2 model. A quantized 34B model, such as Q5_K_M, might be the sweet spot for a moderate PC in terms of both speed and quality.
The best counterargument to “GPT4 is going to replace us all” is actually using it for a couple of weeks.

It has a few neat tricks but it’s not reliable and at least half of what it generates is totally unusable, the other half requires heavy intervention and supervision.
Thank you!! Appreciate that encouragement.
Automatic Transmission Valve Bodies
> "Then from this menu we can pick the ones that add up to the target result with the lowest negative impact."

I do like how they care about reducing impact to themselves but it is funny that it msut happen because targets must be met.
Nvidia CEO Balances 10 Plates, Serves Food at Crowded Denny’s Event
https://github.com/OpenAccess-AI-Collective/axolotl

This is a wrapper around many training methods, and it has yielded many excellent community finetunes already.
This is why a SaaS offering is a must. For open source, a security review might be needed. For a SaaS, checkbox SOC2 and we’re on our way. Leverage to reduce the B2B sales cycle as you scale.
This is frankly the best benchmark you can use on an LLM.
Firing is costly to morale, and carries legal risks.

Not renewing a vendor contract is easy.
As we all know, the one human skill computers can never replace is doing repetitive tasks quickly.
Just released in 4K UHD last month.
This deck has a great introduction to mapping and the references at the end are more up to date

https://www.eng.biu.ac.il/temanad/files/2018/11/Lecture-4-Sy...
They also usually have space for drop ceilings for exactly this reason.

It’s true that the $/sq ft value of post-conversion will be lower than pre-conversion but the idea that the building is negative value is nonsense. Sell each floor as a single unit unrentable condo for $1M, and let the new occupant put whatever floor plan they want in.

Office buildings have very few structural walls because companies frequently change floor plans.

Most of the articles I’ve seen saying the above is hard assume that building that the current owners of the buildings must turn a profit.

Similarly, they assume building codes are immutable. The buildings have safe fire exit routes, and adequate light. So, relax window requirements for individual rooms on the condition that each unit’s perimeter is at least N% window.
don't remember and can't seem to find it from searching :(
Sue the owners of corporations when they break laws. That’s my alternative vision. Why did no board members of major tobacco companies have to face the consequences of their actions when they knowingly falsely advertised their product? Take away corporate personhood and make the owners face the music.
Yes. Yes. Absolutely. This can stop adoption right in its tracks, and it depends entirely on one or two personalities. Who's at the wheel in office InfoSec. One guy had a strict "Open Source is Inherently Unstable" red line, sooooooooo . . well, we went two levels above him to get OSS signed off on, because the parent org was all about OSS. Doing that was a bad career decision, but it was the right one. This article gets it right almost exactly; transparency was a huge part of adoption, but the extensibility thing is also a big deal for a niche industry. Also, our vendor was unspeakable, disappearing for years on end, re-appearing as another company, asking fifty times the money for no reason.
I know that the Mac gaming crowd isn't huge but this bums me out. My MacBook Pro and MacBook Air were both completely sufficient for playing games when my gaming PC was inaccessible and CS was one of those games. It's a shame they seem to have killed it. :(
> 36% of HellaSwag benchmark contains errors

https://old.reddit.com/r/LanguageTechnology/comments/zkia03/...
Your reply doesn't take into account the second paragraph of my comment.
>No, a business usually exists to provide some useful good or service to its customers. FedEx delivers packages. Apple makes phones and computers. Etc.

You would have to be grossly naive to think mission comes before profit for 99% of companies.
I’m with you man. Touchscreen reliance is cancer.
Once battery life is solid and all bugs are worked out smart glasses will be as ubiquitous as smart phones
I hope the lenders get wiped out. We can't really afford to bail out these folks anymore our interest is about to exceed our budget in the next year or so.
Boo it's not AR.

I wish RayBan would make oled-infused corrected lenses.
In theory you can cancel a subscription if you don't think it's providing any value.
...and remember, the smartest people in the world (including some super-perceptive folks like Jaron Lanier) innovated in this space in the 1990s -- no one back then was able to come up with a "killer app" back then. The hardware has gotten smaller, and we have more pixels.

Are these changes fundamental improvements? Are they enough to unlock some brand-new killer app that nobody could even envision in 30 years ago?

I remain skeptical...
Maintainers Wanted: a collection of projects open to new lead maintainers
Surely that would be a PR disaster so I must assume they don't allow recording when covered.
The issue with that is that it's a very slippery slope. Same laws could be used against people recording police interactions in public, for example, or other interactions where a private citizen is harassing another private citizen. It really needs to be carefully worded to avoid those pitfalls and I have a feeling that a lot of lawmakers would want to keep it intentionally vague.
Is this really folks getting upset that some women have been highlighted in history? I think that makes me more sad. We could use more heroes in life, no need to get upset that there are few comic book level heroes.
“Pfft” - Ada Lovelace & Joseph Marie Jacquard
I've actually seen most of the promo videos, I was just excited about the release trailer. Thanks!
Ask the regulators, that's one tool they use against monopolies. Like when they shattered AT&T into over a dozen pieces.
~13 tokens per second. I asked for a story about goldilocks and this was the timings on my M1 air using `ollama run mistral --verbose`:

total duration: 33.964492834s

load duration: 1.471584ms

prompt eval count: 8 token(s)

prompt eval duration: 385.334ms

prompt eval rate: 20.76 tokens/s

eval count: 418 token(s)

eval duration: 31.887033s

eval rate: 13.11 tokens/s
Literally just ruined my day. Needed to run one quick query that I had saved and opened insomnia to that stupid login screen and empty scratch pad. Even for folks who had automatic updates on, this should have come with some kind of warning. So poorly handled. Boo.
New startup:

Convert your empty office into a data center.

Boom
Thanks. One day soon, hopefully.
which is exactly what will happen, if there's no gov't intervention.

However, this will take years, if not a decade or two. The reason being that the real estate companies knows this is possible, and so is likely diversified, and therefore, can absorb the losses for a long time (as long as they have income elsewhere to make up for it), and hope for a reversal of demand for offices, or wait for organic growth to catch up.

They will not willingly bankrupt themselves and take a loss for no good reason - that's just stupid.

So in the mean time, the offices aren't being used efficiently. If the city is really keen on making good use of the space by making it residential, they can speed this process up by subsidizing.
> I know. That "79yo lady" is an adult who is liable for her own actions. Coffee is hot, duh, I would expect someone of that age to know that. McDonald's isn't responsible for babysitting people who should know better than to squeeze hot beverages between their legs.

Are you aware that during discovery, it was uncovered that McDonalds had undertaken studies to determine how hot they needed to make the coffee to avoid in-restaurant guests from drinking it too quickly and getting free refills. They knew the coffee was too hot and had received many complaints, and other people had been burned, but it was in fact "the point" to ensure the coffee was too hot, to save a couple of cents per customer.
Doesn't the word hackney (for a horse) come from the place Hackney (for a hipster)?

so it would be Hackney -> Hack -> Hackney -> Hack
The point of TFA is that you just need to be together with friends, i.e. having dinner or hanging out at each other's houses most likely. You don't need a bunch of amenities.

We seem to be doing life backward: We live alone and expend effort to gather together, as if that’s the healthy baseline
read the problem again please. it's not that it misidentified what's in the squares, it "miscounted" the number of squares -- because it doesn't count, it's just a plausible sentence generator.
AI trainers tend to give new base models and finetunes names, often in the spirit of Facebook's llama modelm
Approx. when will this trial end?
you won’t be able to comfortably afford a $1M house, which would be well below average in a coastal area where SWE jobs are mostly located, at today’s rates if you make $200k. Would be tight even on $300k.
Partial indexes solve exactly this problem. You add a WHERE condition that restricts the index to a subset of the whole table.
Don’t yuck their yum. Some of us see the other story here of the value laden use of the words ‘highly aesthetic’ and ‘visually appealing’. PP is questioning to what standard the model is benign aligned
Why would they want to support AU? The only reason to use AU is Logic. Everything else (Protools excepted) supports VST, and all the plugin devs release in VST and AU, so it would be a waste of time. Bitwig is putting their time into CLAP, and for good reason. It's cross-platform, much easier to develop against, and much more advanced that all the alternatives. Even Avid has shown interest in CLAP. So has Image Line. I expect Studio One to support it in v7.
> interest is about to exceed our budget in the next year or so

Whose?
Eh, it's fine. With two decimal points of precision you're basically working in cents, which is a pretty standard way of representing tuning.

This doesn't need to be a trivially human-readable format, but I think maybe it would be nice to allow for multiple pitch representations: floating point frequency, floating point fractions of a semitone in any arbitrary EDO, fractional frequency as used in just intonation, etc..

You could also allow for annotations, like maybe a note pitch is represented as "63.86" in 12-EDO, but it's not just some weird in-between note, it's actually the E that's 5/4 above C, so the file could have an annotation that says that's what the note actually means in this context.
Whatever anyone else is saying this is the real reason. I’ve seen it first hand many time. The only thing that matters is being able to blame somebody else when problems arise.
Tech companies and movie studios have very different business models. Tech is built on the illusion of infinite growth. If you write a piece of software and it does well, the company cannot return the money back to you because they need it to hire 10x the number of new developers and create new features and growth hack more customers, and so on with each successive version. The moment they stop doing that, investors see slowing growth and the whole thing collapses. Instead these companies hand out stock options so developers themselves now become part of this game.
This is exactly how I write my Bash functions. I didn't even realize it was a standard, it just made the most sense to me. Being given help via a --help argument is intentional and thus appropriate for STDOUT (and a return code of 0); being given help after an argument error makes sense to go to STDERR (and a return code of 2, "USAGE").

Since you can nest functions in Bash (did you know?), I usually have a help function within the main function that is called from both logic branches and just outputs to the right file descriptor.
> It would be a rare thing that someone would actually be streaming or recording on them, unless you agreed to make a video.

I'm not sure how you believe this.

> Technically someone could record your every conversation with their phone in their pocket or on the table, but no one worries about that, because it goes against the social contract.

Even if the social contract prevented this (I don't believe it does), there's little to no risk of someone being caught recording your conversations with them. No risk means no worry about the social contract.

> But it's not a huge concern for most people, because we know it's socially unacceptable to look at someone's messages without a very good reason.

I'm assuming you truly believe this, but to me, this is really starting to feel like parody.
Loved your podcast here: https://podcast.scalingdevtools.com/episodes/ruben-fiszel-fr...
Sounds like Google Glass, part 2.
Apple's mission statement isn't "try to extract as much money from our customers' wallets as possible" or even "deliver the highest profit and value to our shareholders." (Recall Tim Cook's comment on the "bloody ROI.")

In fact I'd be hard-pressed to find such a mission statement for a non-financial firm - at least one that doesn't mention any other purpose for the company.[1]

It's a mistake to think that companies only exist for the benefit of their owners or shareholders. Realistically there are many stakeholders including employees, customers, and society at large.

[1] https://www.forbes.com/advisor/business/mission-statement-ex...
If you say it that way, then it doesn’t come out of their taxes and go into their adjusted earnings.
It seems many lists online don't include "The Song Remains the Same" in typical main discography lists, including on the main article of Wikipedia.

When I ask this question to Mistral 7B (running right now through ollama on mac) I get the exact list of studio albums as seen on Wikipedia. It got 'Coda' but it actually says "Please note that "Coda" is a compilation album and not an original studio
album" which is correct.

If you think about these models as a knowledge compression it's pretty wild it's able to hold all this in only a few gigabytes and we get subtle understandings of human language, and some basic general natural language processing capabilities to go with it... all spitting out of 4GB (when quantized). Like, sure you could compress most of the text in wikipedia to 4GB but that alone wouldn't get you to the level of natural language reasoning that this gets along with the data.

For me, it's much less about what definite facts are stored losslessly in the model (like Led Zep albums) and more about the abilities to do one-shot learning and reasoning about data in context... the power there is useful to many applications.
> We can't explain rational thought by referring to the cerebral states associated with it, because the question of whether a thought is rational is [independent] of its associated cerebral state.

If you had to write this over again to a broader audience, would you choose the word _explain_ here? In the context of this conversation especially, 'explain' is highly overloaded. Which sense do you mean? Perhaps what you mean is closer to _assess_ or _prove_?

Are you essentially saying this: the rationality of a statement is _assessed_ by the degree to which it adheres to the logic of rationality?

Since this is obvious, I'm inclined to think I'm still not following what you are actually trying to get across.
US federal govt.
> Yeah, I wish my phone was like 3x thicker and just had a row of buttons on the side apps can use. Then just bind them to few common camera features rather than fidding with fucking touchscreen.

Surely this part is somewhat tongue-in-cheek. Digital cameras still exist.
> How would a company even figure out the profile they need?

Generally by asking the existing developers of the software project in question. Some of them might be the person you'd end up hiring anyway.
He just overestimate capabilities of computer inside Tesla.

I'm now reading about Mercedes level 3 automated driving system.

For me looks like, Daimler selling under-priced more powerful hardware, because for Daimler it is spare project (they could earn money on others), and with few times more RAM/FLOPs, they achieve better result.

Plus, Daimler cheat rules, their conditions for usage automated system are significantly more limited than have Tesla.

Unfortunately, Tesla cannot sell cars under-priced, and Tesla by definition whole world system.

I'm not trying to advocate Musk, I'm Ukrainian and Musk said wrong things about Ukrainian war.

But I must admit, just half year ago, I don't know what could do recent AI on my own computer.
Bro, why is the migrate step behind a signup? How is that not hostile to users? I will make sure my company never buys anything Kong. You have to know you are selling to devs.
The hardest part is formatting the data correctly. Garbage in garbage out.

But in terms of hardware, it should be very cheap and doable on most 8GB+ Nvidia GPUs, and maybe AMD/Intel GPUs on linux.
I think your post downplays the severity of the issue. Your link suggests in Victoria the median rent has increased by 14%, which is a phenomenal amount.

I don't know what circles you are involved in but 25-35 % is consistent with for many of my cohort in Sydney. Although this is an anecdote, 35% from a right skewed distribution with median 14% is very possible.

The system is breaking and harming the most vulnerable
> you'll have to put in all new electrical and plumbing

The solution is dorm-style housing. Shared bathrooms to reduce plumbing requirements. Waiver of window requirements for internal rooms, possibly even units.

New York has a couple of these left, and they’re popular with young people first moving to the city. (Shared bathrooms. Units without windows are also popular, but they are illegal.) Unfortunately, it’s largely against code, and not for safety reasons.
> I mean, the light makes it VERY apparent when it's recording or taking a picture.

Surely no one will figure out how to disable that light, right?
Anything i disagree with is disinformation.

Only the EU has the right to to decide what is "true" information.
Or imagine that you've got an AI taking in your video and giving you instructions, like while you're cooking or something.
War Thunder has multiple game modes, one of which is very arcadey, one of which is relatively realistic, the other which is a simulator. Most of these players play the middle one, which attempts to model everything as accurately as possible from public information but which automates and abstracts common aircraft-specific sequences. That way you can have a relatively realistic multiplayer experience and something that approximates a life outside of it.

The realistic mode can optionally also hold your hands through many aspects of operating the aircraft, at a significant cost in performance, so more serious players will play with "simulator controls" (and will map more advanced things such as changing fuel mixture/prop angle/radiator activation, etc..., like you'd do on a proper simulator).

The developers in theory and sometimes in practice will correct inaccuracies in performance or capabilities if you can point them out from non-classified sources. Unlocking modern vehicles takes 100-600$ or hundreds (sometimes thousands) of hours, and sometimes due to inaccuracies they end up being or becoming non-viable, so some people are irrationally motivated to change that.
I always write my usage printing routine to take a FILE pointer, similar to the following,

static void usage(const char *arg0, FILE *fp);

and then at the very end of main's getopt switch something like,

case 'h':
usage(argv[0], stdout);
return 0;
default:
usage(argv[0], stderr);
return EXIT_FAILURE;
}

By default getopt prints (to stderr) a one line message for unknown options or missing arguments, so I usually don't bother catching ':' or '?' explicitly.
Is There Sunken Treasure Beneath Hell Gate in NYC?
... Is there a concept of a STDLOG or a STDINFO ? (STDDEBUG etc.)

These sound useful, in any event.

I'd also like to be able to pipe both STDOUT and STDERR to the next in a sequence of pipes, but eh
Another great morning in San Francisco
Ask HN: How do you store devices with Lithium-Ion batteries for long-term?
I'm curious about how everyone stores old smartphones and other lithium-ion battery-dependent devices while preserving battery life. Especially when they might want the device to keep working over several years.

I've tried charging my backup devices to 50% and storing them in a cool, dry place, but I often forget to do so, resulting in a drained battery by the time I recharge them. I am worried this might be affecting the battery's longevity.

Does anyone have a better method, such as an automated charging system, for managing this?
Not teaching your kids to be glued to a phone is actually a fairly compelling usecase here.

I also like the idea of being able to remain mostly in the moment vs putting a phone in between me and the scene.

Still not sure these justify wearing this device, particularly all the time. But perhaps it could be cool to wear for family outings or whatever, when you expect to want to take lots of photos?
unions should work for their members. If a union isn't working for the interests of the members, that union's leadership needs to be replaced. Corporations are only concerned with increasing profit. They aren't interested in protecting workers from being exploited. Some corporations were (and I assume still are) outright criminal organizations. Let corporations worry about protecting their bottom line, and let unions worry about protecting their members.
Seeiously, what are you expecting from Michael? Go back and forth with the newbie until he makes a perfect patch? Sorry, but that's bullshit and clearly a horrible use of a maintainer's time.
Michael did his best by fixing the patch and incorporating into the kernel and properly giving credit to the newbie by using the "Reported-By". The fact that there isn't a proper tag to describe the newbie's case is not Michael's fault. Maybe the kernel should add a "Debugged-and-fix-suggested-by", but I also think this is bullshit.
Try it with zero or near zero temperature.

But yeah, accurate trivis has always been a weakness of the the llama models.