skysight-inc/HackerNews huggingface dataset:
I think you mean "run as part of the sampler," the tokenizer (and tokenization) is fixed for a given model. The sampler blob would basically:

1. Modify the output token probabilities to fit any arbitrary use case

2. Perhaps do trigger some sort of backtracking / beam-search

(I'm not Grant but we've chatted on twitter and built similar things)
XCode is free? Where can I download it for my Linux PC?

XCode is not free, just like macOS is not free; you just pay for them when you (over)pay for your mac hardware.
Has anyone tried CO2?

The idea: Deep trash can for the tasty banana peels. Flood the trash can with CO2. CO2 is heavier than air. If the trash can is deep enough maybe a sufficiently high concentration can be maintained without too frequent flooding.

The attractive smell should still be noticeble for the flies. And the environment around the trash of their desires is deadly.
Yes, I have strong experience with that. You can look at my other comments in the thread for a bit more insight, but I'd also gladly help answering any other questions, as much as I can from own my experiences of course.

Note though that the people that were successfully treated (so it seems to me) were willing to be treated. They realized themselves that their emotional response appears different. A large part of it, as I understand it, is to recognize when the emotional feedback loops kick in, and break out of them before it becomes overwhelming, but this requires some introspective capability.

I'm basically trying to say: If a family member absolutely sees nothing wrong with their emotions and behavior, it might be hard.

The people I know that did "recover" (or at least seem to manage very well) realized themselves that their BPD needed to be dealt with. You say "I'd love to know how to escape the pain we all feel" as a family member, but know that for the affected person, it is hell as well. I don't think anybody likes spiraling themselves into overwhelming rage or feelings of abandonment for no good reason.
I don’t disagree but I think you might be over-correcting a little
Yeah, super disingenuous. Especially considering PHP is already native (unless you mean specifically compiled code). It also has direct bindings to GTK:

http://gtk.php.net/

And other native libraries.

This project seems to conflate "native" with "has its own window" (versus running in a browser). While I would argue the more common understanding is "native" meaning "running outside of a sandbox/closed environment and directly on the OS". Ironically, using the latter definition, this project is less native than just coding PHP directly.
How can you be sure that your constraint model is correct? When the models are so complex that seems like a real challenge! In your case was it possible to take a proposed solution and verify that it does not have any issues? Are there many other safeguards in place to prevent train collisions or invalid schedules?
yeah, sure, schedule some workers to harvest every day. but there's no reason to schedule every worker to harvest every day, especially if they're not scheduling hours that make it worth it.

WA state has no daily hour limit for overtime, and the employees were already working long days before the change. if management is really going to insist on staying under, then instead of spreading the hours across seven days, cram the hours into three or four days and rotate the staff.

this is not hard. many businesses are open 7 days and still understand how to give staff days off.

this is an invented problem.
Yes, I can confirm this works very well. Best, I don't know the alternatives; this one works though.

I saw the other day on Thingiverse a fruit fly trap. Example: [1] (it wasn't this one, and there are many other ones, but this one resembles the looks of the paper version). But I think its OK to make such a trap a few times a year during summer (when they're abundant here). You also wanna get rid of them ASAP, as they attract bigger flies.

[1] https://www.thingiverse.com/thing:3032998
The whole point of having line managers write PIPs together with employees is to have these vaguely valid-seeming reasons on PIPs. There is, however, also a reason the PIP process got initiated. It is never the line manager that initiates a PIP process (you'd have to have exceptionally poor performance for that, frankly I wonder if they even have the power to do so).

You get onto a PIP because some external-to-the-team person, maybe a TPM, maybe a higher up manager, complained about you. They don't always explain why to your manager, in fact, it's probably generally a smart move for them NOT to say why (frankly, some people complain to your manager because you came to the office with untied shoelaces).

When that happens (maybe your manager gives you two or three "strikes"), your manager comes to you and writes a PIP. What that PIP will NEVER say is "make X not complain about you anymore". It will say "write more code", "take ownership of bugs", "take more feedback into account", because, as you point out, HR would freak if it said "do what X says". Plus, of course, if at all possible your manager will try to not have you work with that complaining person anymore. Which would make such a PIP redundant/impossible.

PIPs are always because someone asked for them. Maybe (hopefully) indirectly, and not always (one hopes never, but ...) for the reason "quota", but essentially always because someone asked for them. PIPs never say that, so they never give the real reason. The point is indeed to scare you into being "more cooperative".

HR kind-of tells the truth: the point of a PIP is to make you a better employee. It really is. All else equal, they want it to go away as much as you do. But if it doesn't go away, the point of a PIP is to fire you, safely, without getting sued afterwards, without HR having to do any work at all.
Thanks for sharing this fascinating tale!
I wouldn't have ever detected this supposed recession if I hadn't been constantly warned of it by the media
Netflix used their magical tech money to compete with studios in a wildly unprofitable way. Netflix churns out hundreds of thousands of hours of content each year at heavy, heavy losses, because they can afford to burn money to force the studios to the table. If we imagine a world in which streaming platforms were only ever licensees and not producers, it’s easy to imagine the status quo could have continued indefinitely. Netflix are a studio, Netflix is responsible for many of their own show creators having zero royalties — look at the squid game financials!

Netflix are not an innocent tech company doing the best for consumers in the face of big bad Hollywood. For all of Hollywood’s flaws, it was a simple business: make something, make money off it, repeat. Netflix brought the Silicon Valley funny money into the picture and threw everything out of whack.
> Limitations and bias

> Although the aforementioned dataset helps to steer the base language models into "safer" distributions of text, not all biases and toxicity can be mitigated through fine-tuning.
This is what Google Mind is working on: treating the output of LLMs as tree to be searched instead of just linearly outputting tokens in a "greedy" manner and hoping for the best.

Apparently GPT-4 gets a lot of its quality from generating many alternatives (16?) and then picking the best one, but this is 16x as much computer power.

A clever tree search (which itself could be a neural net!) could improve the efficiency of this many-fold while simultaneously improving the quality by a huge factor as well.
Death Metal English (2013)
I generally agree, though I did somewhat regularly singe the hair on my knuckles. A lot of the heat from a gas burner goes up the side of the pan. And turning on a vent fan can suck a surprising amount of heat away from the pan. That does kinda suck since gas isn't really very powerful to begin with.

I switched recently to induction and I'm very happy. I did have to relearn some cooking habits, of course, because induction is so much faster and more powerful than gas. The instant temperature change is super handy, too. Gas is relatively fast, too, but still slow compared to induction.
> if we get a serious left-wing terrorist uprising out of all the shit happening at the moment, it is when.

What do you mean by left-wing terrorist uprising? Isn't left-wing ideology kind of relative to each country e.g. Icelandic left-wing/right-wing is not like Chinese Japanese left-wing/right-wing.

What would be the goal of these terrorist?
So if someone says they can’t understand your English, and then you’re rude, and they then say you have poor communication skills, you’re being abused, is that right?

And if anyone disagrees they're just missing out on your brilliance?
Society has forgotten how to cook, people want to microwave chicken nuggets and pizzas, and wash it down with sugary drinks, and add in the crazy addictive snacks and sweets we have access to.

This just isn't the case. To be able to cook, you need some things.

You realistically need electricity and refrigeration - without this, cooking takes a lot more time and a lot more trips to the store.

You need pots and pans and the ability to clean, and housing that has space to cook. Some specialty things have a lot of utility: A large freezer lets you prep things and/or store the frozen vegetables. Beans cook faster in a pressure cooker.

And most of all, you need time. Richer folks can use some of their money to spend less time on mundane things, and poor people generally spend more time just trying to live. Beans take hours to cook without even considering soaking time. Heck, it is still 20 minutes plus time to cook in a pressure cooker (I cook and freeze beans). Potatoes take a bit of time to get done: Bread takes hours to cook too.

And that's after folks stand at a cash register for 8 hours while customers get angry at something outside of their control or some other physically active job.

I enjoy cooking, and I do a lot of it. But I'm not working and I cook a lot less and easier stuff when I work.

Of course people want easy things to eat. It makes time to enjoy a bit of day.
The footnoted papers mention GPT-4 in the title. Unless they're citing GPT3.5 results from papers with GPT-4 the name, which seems confusing.
I'm curious on this. Do you have links that go over this? I've not seen a hard distinction that models are graphical, pretty much ever. The very idea of "machine learning models" flies in the face of that, as I've rarely seen machine learning models presented in a graphical way.

Best I can think in this direction, is UML? But that is an odd one, because it isn't that "models" are graphical, but those are specifically models of code artifacts. A model of another modeling language, as it were.

Reading back over the top comment, I assumed that the poster meant they started seeing their coding as modeling of a problem domain. Not that they weren't still coding, somewhat.

Disclosure, I was an EE way back when. We had plenty of numerical models for how things worked. We even had verilog to model circuits using what looks a lot like "traditional" software.

That all said, if I just haven't kept up and "model" is moving in meaning, I wouldn't be too shocked. :D
Well automatic1111 does SDXL and the model is clearly very censored-- now perhaps the censorship doesn't handicap its performance as much as it did with 2.0... that's harder to gauge without an uncensored comparison point.
The report cites both GPT-3.5 and GPT-4 scores on page 7 [1]. I've checked the numbers and they compare FreeWilly2 to GPT-3.5. For example, HellaSwag score of 85.5% corresponds to GPT-3.5.

[1] https://arxiv.org/pdf/2303.08774v3.pdf
There's a paper as well. :) https://arxiv.org/pdf/2307.09702.pdf
Screenshotting Apple TV+ works fine for me on desktop Chrome, even with hardware acceleration enabled. I don't recall doing anything to circumvent normal behavior (not really in the habit of screenshotting things I'm watching).
Don't get me wrong, it is a PITA.

But it's good enough and has very wide and mature support for many languages and a good story for backward compatibility which is important when you have files you want to read 2 years from now or when you have different version of your clients and servers co-existing.

There _could_ be a better interchange format in theory (and many have been proposed), but a combination of maturity and network effect (and the fact that many of the alternatives to protobuf do improve some things but do other things worse than protobuf) make it very hard to chose an alternative.

EDIT: ah, about discriminating zero value from unset value (aka options), they're back in proto3 (experimental) https://github.com/protocolbuffers/protobuf/blob/main/docs/i...
It's creepy to read about the effects of too much Acetaminophen. (Active ingredient in Tylenol, and also known as Paracetamol.)

People overdosing on it is actually the primary cause of liver-failure--sometimes associated with people trying to handle the pain of withdrawal from some other drug--and liver-failure is a terrible way to go.
Russian missiles run on chips made by US manufacturers [video]
Which is why it’s worth taking a look at what’s happening over in r/REBubble, a subreddit dedicated to discussing and investigating the “current US housing bubble.” It is not quite like WallStreetBets. There’s no gleeful loss porn of trades that went wrong. Instead, there are lots of posts about ridiculous house flips and some genuine concern over the future of homeownership in America as house prices refuse to move lower.

But what it does have in common with WSB appears to be a burgeoning form of collective action aimed at bringing home prices down to more affordable levels.
Definitely dating myself here, but the one that will always come to mind first is the original Zork. Vivid imagination in that game that I remember to this day. I loved the movement and some of the fun jokes here and there. I was a kid when it came out and had no real idea how to play it, but I remember spending a ton of time mapping out the mazes and trying to avoid the creatures that lurked in the darkness.

Sim City (series) is a close 2nd for many of the same reasons. I spent so many days building cities only to forget that I left disasters enabled, and here comes Godzilla.
I implemented this for PyTorch too at https://github.com/Shopify/torch-grammar. I have a hacked version of text-generation-inference that uses it—happy to share that if it’s useful to anyone.
> She may have something more, she isnt honest with anyone including therapists so its certainly possible.

That, by the way, sticks out to me a lot. Read the article you linked, and see if you find anything that matches that. Then look at histrionic and narcissistic disorders instead, and see if it matches that.
Clearly we need to do much more self-promotion!
sounds like this one would have been a great read https://pubmed.ncbi.nlm.nih.gov/3280421/

Good overviews here https://comis.med.uvm.edu/vic/coursefiles/MD540/MD540-Protei...

and https://www.promega.com/resources/guides/protein-analysis/pr...

I always thought proteins were too big for some of these techniques but apparently not.
The Coyotes Are Not What They Seem
Perhaps that's more of a measurement issue? The combustion byproducts of gas are very real and measurable, and getting rid of those definitely helps. Even if the cooking itself contributes as well. I don't get much smoke from my cooking, though, so it could just be that.
The short term exposure limit for CO2 is 30,000ppm, continuous exposure limit is 5000ppm. Those are OSHA's numbers, so, conservative numbers. 1900ppm isn't a big deal, or anything to be concerned about unless you like being concerned about numbers on a graph (can't blame you, it's cool).

You should, however, do yourself a favor and set your alert threshold to at the lowest 5000ppm
You cannot put 51 pigeons in 50 pigeonholes. So the key length of your hash keys is m >= logn, which means the time to compare keys is also logn, which means hash tables are never actually O(1) access or insert time.

I am not sure I am following this argument. You are not going to have more than 2^64 pigeons and pigeonholes on any system soon and I almost dare to say you will never ever get to 2^128. And for 64 or 128 bit keys comparisons and many other operations are for all practical purposes constant time. I guess you could argue that this is sweeping a factor of log(n) under the rug because of things like carry chains which could be faster for smaller bit sizes but I am not sure that this is really useful on common hardware, an addition will take one clock cycle independent of the operand values.
I installed it in the same time frame running a pre-1.x kernel. I was in a dorm with no Ethernet and the school only had 1200 baud modems so I had to FTP onto floppies from a computer lab. That earned me my first and only DOS boot sector virus.
The idea is to become so big by selling oil that you are essentially paid/begged to create the new industry that solves the problem, thereby giving you first-mover advantage in the new era. The obstructionist stuff is a little bit performative for shareholders, but there will be an inflection point in their public attitudes. Unfortunately it'll be past the inflection point for favorable living conditions.
Conversely, VR gaming is excellent workout. I normally hate most sports and fitness, but there's no shortage of stuff on the Quest that keeps me engaged enough to push myself into getting a good exercise.

OTOH if you just want to sit and watch a movie, a modern decently large 4K TV offers much better visuals. The only reason I see for doing that in VR is when you don't have room for a large TV - say, when travelling - but even then you don't really need a full-fledged VR for that, you just need a simple headset that can work as a secondary display (and I have such a device that connects to my phone using USB-C).
I found out today that .apple exists too.

https://www.apple.com/legal/intellectual-property/tld/
One of your sources is selling cook tops, the other has a very specialized induction stand-alone cooktop made just for woks, and the other article is cut off behind a paywall.

The source that sells cook tops doesn't claim "it's just as good" or even provide any evidence of it being as good. You can in fact use a wok on any cook top, it doesn't mean the results will be good.

Induction can be good, but it's very expensive and uses enormous amounts of electricity.

There is nothing wrong with natural gas - other than it's trendy to push electric currently. There's no future where everyone can afford to buy/replace one, or even operate them.
Omega oof.

Did she develop it the minute after you put it in, or was it a "I can fix her/deal with this" sort of scenario?
Regular 70mm is not the same
as 15/70mm IMAX.

This video does a great job on visualizing the difference https://youtu.be/x-7hHNoU8do
Thanks, looks much better now!
.mf seems to be half of a tiny Caribbean island: https://en.wikipedia.org/wiki/Saint_Martin_(island)
Yes creating an "open source score" is something that I might do. The challenge is to obviously not turn it into a negative thing. For example, a low score could should be seen as being inviting for new contributors.
I mean that's just a gold standard with internet gold.

Anyway I'd also like to express my sympathies to the moderators here, as I seem to have upset a whole botnet of them.
More reading BTW:

- 'Yield: Mainstream Delimited Continuations' builds them up by generalising for/yield (rather than try/throw), but the result is the same: https://www.researchgate.net/publication/228584945_Yield_Mai...

- 'A Poor Mans Concurrency Monad' seems to be the origin of async/await pattern (according to https://softwareengineering.stackexchange.com/a/377514/11211... ), which is defined as a monad (technically a monad transformer) https://www.cambridge.org/core/journals/journal-of-functiona...

Incidentally, monad transformers are an attempt to work-around a deficiency of monads: that they don't compose. Algebraic effects have become popular precisely because they do compose.
The Quest Pro uses the same chipset as Quest 2, with better cooling, allowing a bit better performance, but also has higher resolution than the 2, requiring more performance. There's not a significant difference between Quest Pro and Quest 2 performance.

Quest 3 has a next gen chipset that is rumored to outperform the Quest 2/Pro significantly.

These are primarily standalone devices, and graphics quality is important. The graphics quality is fairly abysmal for the vast majority of games available right now. I have a Quest 2 and Quest Pro.
> J. Kenji López-Alt, who recently literally wrote the/a book on wok cooking, would disagree:

Incorrect. He states certain foods and flavors will not work with induction or would be difficult without gas in the article itself. He suggests workarounds like a propane stove or butane torch, but he never claims you can replicate those flavors with induction.
Free Willy 1 is a classic and holds up, Free Willy 2 doesn't
> Netflix churns out hundreds of thousands of hours of content each year at heavy, heavy losses, because they can afford to burn money to force the studios to the table

Then that's just the cost of acquiring content, not a total loss. I'm not comfortable labeling it a loss because it supports user retention _and_ acts as force to draw in other content providers.
> Do you have any evidence he still hasn't taken it?

No I don’t have any evidence he still hasn’t taken it. Do you have any evidence he has?

I agree with your recall of the initial recommendation, but I also know how much pressure was put on me and many others outside that group to take the vaccine. I would have been prevented from flying to my home country or working for many companies had I not taken two doses of an experimental vaccine approved under emergency use authorization.

I learned only recently that the CEO of the leading vaccine developer chose not to take it himself at the time. As a result, I feel I was mislead.

When I read about the significant increase in all cause mortality among the vaccinated and learn that no trials were conducted related to fertility or pregnancy related side effects and consider that my wife and I were trying for a baby at that time, if I am being honest - I do feel like I was deceived.