skysight-inc/HackerNews huggingface dataset:
I applaud your parents for staying level-headed. There is a 100% chance I would have gotten into a firefight with the government in the same scenario. And of course that would have been objectionally successful for the government as the children would have been removed from the home.
Building Robust AI Agents with the Co-Founders of Generally Intelligent [video]
> From what I'm seeing they're seeking monetary fines against Google for this

This is false. They are seeking a finding that Google destroyed evidence, and a hearing to assess sanctions, and an order for Google to make additional evidence available before the hearing. [0]

While fines might be part of the sanctions, a very common sanction for destruction of evidence is adverse inference jury instructions in the litigation the evidence was relevant to.

[0] actual motion: https://storage.courtlistener.com/recap/gov.uscourts.dcd.223...
PIP culture could be impactful.
Aah, it's just a bug with their mobile layout. If I open it on a desktop then the images show up.
The policy is if you are doing something illegal than you must keep all records of it. It is also that once your are sued you have to immediately stop all efforts to delete related conversations. I know my company often has to go in and turn off all automated deletes for a short time (a couple days?) while the lawyers figure out what keywords and people matter, then just keywords and people are locked down. Then more individual review of what remains to decide what is relevant, where if there is any doubt at all it is relevant and isn't deleted. Cases/investigations can last for years.
Yup. That's what the "fixed by an update" part referred to.
For the most part I agree with you and find the fussing over minutiae to be on par with audiophiles for silliness. However, I will say that a couple times a week I'll have a really good cup of coffee made with my moka pot because it really does give the coffee a refined quality that's just far superior to what I make with my plastic pourover cone. It's also kind of a freaking nuisance that I just couldn't bear on a daily basis, but it does really make great coffee.
"Urban warfare is brutally difficult and has in the past not been a particular strength of the Russian Federation.”

Ahem,

Stalingrad

Cough, splutter, gurgling blood..
@dang 2019 should be added to the title.
And even e-mail has the problem when it's deleted after two years according to retention policy.

You have a contact you remember who emailed you three years about a thing... you'll never find them again.

I was genuinely shocked to discover how often I needed an email from over two years ago to check on something or someone. Oh well.
For espresso at least, the advice is to let it rest for 1-2 weeks after roasting. Roasting traps CO2 in the beans, and the aim with resting the coffee is to let some of it escape. It’s especially important for espresso but resting filter blends up to 2 weeks after roasting is becoming common advice too.
Ukraine is a sovereign actor here, it is defending itself against aggression. Of course they accept and demand weapons from the West, because surrendering or losing this war means a lot of death, suffering and loss of freedom.

At the very latest after Bucha it is clear that leaving Ukrainian population under Russian control will cause terrible suffering. So what should they negotiate about, what do you think Ukraine should give up to the aggressor?
Autostatus: OpenAI-powered Slackbot that updates your Jira tickets status
No — macros are a non-intrusive transformation — they don’t allow you to transform callees of a function, unless you wrap the macro around the callee. People have tried this in Julia, and it’s horribly slow.

There’s another mechanism in Julia - generated functions. These allow method body specialization given type knowledge about the signature of the function — so a user can write code which is generated for the method body when inference determines the signature (and the inferred signature is tight enough) which depends on the inferred types.

All of Julia’s program transformation based AD packages are based on the latter transformation — most of them do terrible things to the compiler, including massively blowing up the size of code before optimization.

The only package which is more promising is Diffractor — but I’m not convinced it is more than a research prototype at its current level of development. That may change. This was written by one of the compiler devs, and uses lower level hooks into the compiler, developed to support its transformation.

The big issue in general: Julia doesn’t let you write transformations on its typed IR from user space, unless you want to ignore Julia’s native execution engine. There are hooks that someone can work with — but they aren’t user-facing (for all but the most advanced users) — and they break pass composability with code generation using the native engine (this may have changed since I last looked at this!) I would know, because I’ve spent several attempts trying to do stuff like this, and making crappy, unstable packages :)

Separately: macros are one level of reflection -> code generation. JAX supports a different form — you can’t emit data which represents generic expressions — it’s not quite like Lisp in that sense. It’s better to think about JAX as a “two-level” language system — where you have a meta-level which is Python, and there’s a statically typed array language which is the object level. JAX supports a stage -like operation which allows transforming compat subset of Python to the statically typed array language. But you can write interpreters in the full dynamism of Python — as long as the “active paths” (under tracers) are in that compat set, you can then stage out applications of the interpreters on Python functions, etc.

JAX provides one solution to the composable transformation problem, and they’ve done it in an elegant way - that's ~pretty~ easy to understand (c.f. the Autodidax tutorial). With my current knowledge of things, I can’t effectively argue that Julia supports the same right now (caveat: things may have changed since I last had a look). This is an area where a lot of stuff seems to be going on in Julia, so I doubt it will remain this way forever.
How big is one of these models once it is trained and tuned? Could it be run on a single reasonably-large EC2? Or does it need any special architecture?
That's what we call some student organizations in Germany / Austria.

https://en.wikipedia.org/wiki/Burschenschaft
The problem is that none of that stuff is in the game. The price sets the expectation and they are asking $50 for what is essentially a tech demo with performance issues.
Indeed. American car-dependency has had the added side effect of making driving miserable for everyone. Because everyone "needs" a car to get around, getting a driver's license is laughably easy, and even the stupidest, worst drivers can easily get one.

In an ideal system, getting a license would require extremely stringent road and written tests, re-administered on a regular basis. However, doing that in the US is a political nonstarter because how can anyone live without a car?
I mean, not really? There’s a lot of legacy stuff written in other languages, but malware authors have realized that people are less skeptical of rust and are actively taking advantage of that fact.
> Because you can find a study saying almost anything today.

That's a strawman argument for this study, which is not anecdotal but a large scale study with a statistically significant cohort.

> Much of the logic i'm seeing about 4 day work weeks could be applied to a 3 day work week once people get used to 4 days.

How do you know until you try? What makes 5 days the optimal number? It's just some historical compromise we settled on with no scientific support, which is the aim of studies like the one in the article.

> The main argument I see is less work=greater morale, so lets work less!

The argument is less time at work = (greater morale + similar/better business outcomes)
The problem is assuming we’re better than animals.
I don't disagree that a trillion dollar company should be able to prevent this, but to be facetious, do they want to?

To your suggestions...
1- who is going to phone that number? They have millions if not billions of advertisers. Also, don't they want new businesses (with likely newly registered domains) to come and start advertising and paying money?

2. see above but "who is going to review the paperwork" also, easy to create fraudulent documents

3. Most small restaurants probably spend $100 on ads, likely aren't going to advertise if they need to put down a bunch of cash.

To Google, this just looks like a restaurant coming to advertise. So what if it has the same name. Two Dominos pizzas in my town could both set up ads and they should accept them.

I totally get why this is bad, but I think it would be very difficult for Google to control in a way that the OP twitter user is suggesting. This isn't an old school ad business where you meet with clients. Google is a trillion dollar company because you can run ads in 1 minute of work.
> An independence movement there could be well supported from Europe. Something to think about.

The absolute irony of this line of thinking.
I haven't yet. This was my path to Frama-C:

1. Try writing C code that's "obviously safe." Gave up on that pretty quickly.

2. Maybe if I make all buffers global, I can verify some basics with a script. Gave up when I learned that "abstract interpretation" already exists, and it's way more advanced than anything I could whip up. (But kept the global buffers for now...)

3. The only example I found for a while was https://github.com/NASA-SW-VnV/ikos, but it needed an old version of Clang, and my laptop didn't have enough memory to build it.

4. Found a couple other examples that were clearly someone's research project.

5. Finally found Frama-C by searching through Fedora packages. And it's exactly what I needed.

There's definitely a learning curve, and it's not always obvious how to get it to do what you want. But I can at least install it, there's a nice GUI, and it's thoroughly documented.

I didn't hear of CBMC until later, but I see there a Fedora package for that too. Should probably take a crack at it!
Or you purchased a condo or townhouse where there's no way to sell the land under it or redevelop it without getting a large number of other people to all decide to move/leave at the same time.

If you're one of the first people in an upzoning neighborhood, you're the one who loses value as the rest of the area upzones.

The price to buy 1/100 of the condo/duplex/quad supply in a zipcode is almost definitely higher than in a few years when there's 1000 available. Sure, there's ways it could appreciate enough to offset it if it also becomes a nicer and more desirable neighborhood at a counteracting rate, but that's not for-sure.

This situation specifically screws the people who are doing what you'd want and not over-purchasing a single family home as an investment and instead buying a smaller part of some complex.
I'm in the camp of "probably unnecessary". Runtime debugging is a place that you don't want to stay in, because it shows lack of confidence in the upfront specification. And the bigger your code problems are, the harder it is to enforce the underlying stack of dependencies that keep a system like this afloat.

Like, if you want to iterate on the design of something quickly, you may be better off figuring out how to define it as something you can type in or draw, rather than introduce a whole set of concepts to master so that you can stay close to the running gameplay loop. If you don't know what game you're making then of course you want to do huge iterations on it quickly, but then the mode of iteration probably shouldn't be tied to anything resembling final assets, because those are a miserable pile of dependencies.
Last time I checked there was more than 1 million in internal forces (militia, rosgvardia, troops, probably some others). They are armed, trained specifically to suppress and loyal. I (looking from the inside) highly doubt that they will change sides unless they stop receiving paycheck. Of course, some regions are a bit special in this respect but they are not in the central Russia.
I don't believe this myself, but I do know a lot of people who believe being overweight is unfairly demonized and not as harmful as TPTB would have us believe. Many point to BMI as an inaccurate gauge of healthiness (there's a fair point there about eating disorders and ethnic predispositions towards higher BMIs) and unhealthy obsessions with thinness (as opposed to fitness). Look up "Fat Acceptance" if you'd like to know more.

Personally, I don't think we should view fatness as a moral failing; some people do naturally tend towards higher weights, especially as they get older. But I also feel that fatness is really dangerous and unhealthy and the "Fat Acceptance" movement makes me a bit uncomfortable because, much like smoking cigarettes, some people need a bit of a push to kick bad habits like overeating. Obesity is very expensive, both in money and lives, so if we can reduce it, we should.
Yeah, agreed - Thinkpad X1 Carbon and Ubuntu 22.04 LTS. The only thing I don't do is ever try to hibernate - I'm not even sure that doesn't work, I just turn it off when I need to pack it away.
I'm not loaded, but I screw with coffee just enough to not have to drink instant. Besides the fact that instant (mostly nescafe) doesn't taste very good to me, it makes me poop liquid. Consistently. I don't know what it is - because coffee makes us poop anyway - but nescafe eliminates a lot of solids in my stool.

I have a pretty basic set up - cheap scales so I know how many beans I'm grinding, a Mr Coffee, and a Krups electric burr grinder. The results are Pretty Good To Me(TM) and my partner - who is not crazy about coffee, but likes what I can make for her.

When I want to get fancy I have a pourover that is handy for making iced coffee or some better extracted coffee than the Mr Coffee can handle.

I compare it to baking. We can easily buy a tray of Mr Kiplings or jam doughnuts from Asda, but we can also if we want to, get some flour and sugar and all that crazy baking stuff and have a crack at it ourselves. Some people go so far as to do that exclusively.
This partially true as an overall trend, but is thankfully, not yet a universal fact. The "flattening" effects of globalization bring diabetes, divorce, and time and distance between relatives.

80's Eddie Murphy ridiculous bits notwithstanding, places like Rwanda are still socially conservative and fairly traditional. Certain Catholic-heavy countries and small island nations also tend to be very traditional. I don't mean "backwards" in ways like the Taliban, but have greater social cohesion, a sense that other people matter, and neighborliness.
> Nobody reads or interacts with emails anymore, they use threads.

Not remotely true. Perhaps you're thinking about Gmail webmail users?

> and requires a thread-first view of the inbox.

Seeing how Sent messages, which aren't in the inbox, are typically part of threads - even that would not be enough...

> IMAP represents now a small minority of servers

Not sure what you're counting. If you're counting email users on the servers - Google and Outlook365 both support IMAP. If you're counting kinds of server _software_, then maybe, I have no idea.

> their rate limits for non-internal clients are ridiculously low for modern email

You mean, bandwidth rates, or rates of commands/second etc.?

Also, if by "modern email" you mean "email where people send large files" - that IMHO is a problem, and people just shouldn't do that. Same for other social media BTW. The amount of smartphone space wasted by dumb video clips your friends shared with you by WhatsApp or whatever is stupefying :-(

Anyway, people who try to use email to send and receive large files are kind of abusing the service. IMHO.

> - Most email that’s important is business email nowadays.

I don't think so. Or rather - maybe in the country you live in, and even then I doubt it.

> Valid MIME isn’t always going to get through

... and it doesn't help that so few clients can properly present, let alone generate, MIME messages other than with the most simple of structure. :-(

> Exchange/365 tenants for the most part block IMAP

AFAICT, most people who use MS services can use their publicly-available IMAP servers.

> the space is characterized by Google trying its hardest to kill etc.

(sigh) not surprising unfortunately. Monopolistic corporations gonna monopolize-coroprately I suppose.
but a democracy also has saveguards that protect minorities. Does China have those? I'm thinking about e.g. Uighurs. Also, in a democracy everyone is entitled to have an opinion and say it (good that you can write freely, here!), e.g. criticizing political leaders (like Winnie the pooh) and also freedom of information, e.g. knowing about history (Tiananmen square etc.). Does China offer this?
Reminds of the parachute study that was shared here recently:

https://healthjournalism.org/blog/2019/02/breakthrough-resea...
> Very few

Allow me to point to the thousands of creatives trying to cut it that cannot break in. I've met perhaps over a hundred of them personally. I, myself, am one of these people.

> which is largely about expensive packaging of low-risk ideas, not great ones.

The market serves different segments and there's a lot of intelligence built around vehicles of all types, shapes, and sizes. I don't think Hollywood is stupid at all. I think it's simply a small local optima when we're about to jump the peak to a new Mt. Everest.
Thoughts and impressions of AI-assisted search from Bing
> They are only focused on attrition and minimizing their own casualties.

The former, yes. The latter, no.
> Previously believed by whom?

The previous data/methodology. The whole point of the study was to look at three untracked externalities[0] in BMI-outcome research. They used historical NHANES data combined 2015 data on mortality data.

> (1) confounding bias from heterogeneity in body shape; (2) positive survival bias in high-BMI samples due to recent weight gain; and (3) negative survival bias in low-BMI samples due to recent weight loss.

https://www.tandfonline.com/doi/abs/10.1080/00324728.2023.21...
The article has linked large cars to increased fatalities without even offering an idea as to how they're related. Why are larger cars more fatal? Is it the hood being higher off the ground? Increased mass leading to lower maneuverability?
>the matriculant is now a full-fledged student, free to come and go at will. Absolutely no restrictions are placed upon him, he may attend all lectures or no lectures. He wears no academic dress, he lives in no dormitory.

That's just normal university life, though.
The names seem to be simple concatenations of random parts like "game", "lib", "vm", "cv", "http".

They do look surprisingly convincing.
No, this is open source. The model code and everything needed to verify their results is provided. No one promised the training code, and the training code is not needed to reproduce the results.
Thousands have been killed on both sides of that conflict since 2014, handpicking a temporary downturn in 2021 is a bit disingenuous, no?
A Java heap dump analyzer that looks for all kinds of memory problems
I got into manual lever espresso during the pandemic, and was shocked at how different the same coffee on the same grind setting would act under pressure at 10am and 3pm. Settings would be perfect for 10am, but a complete mess barely able to hold pressure as the water gushed through the puck at 3pm.
My (John McDonnell) conversation with Kanjun Qiu and Josh Albrecht are the Co-founders of Generally Intelligent.

We talked about the state of reinforcement learning and what the field needs to succeed in building autonomous agents, the challenge of founding and building a company with a research-first agenda, which AI technical advances are over- and under-hyped, and much more.

Kanjun thinks language models are _still_ underrated!
Definitely a dark roast. The light roast trend makes no sense to me personally, go figure.

[edit also possible that much of the coffee in the consumer market is more like 2-4 months after roasting, if not longer]
If we used it, we would never allow OTR.

Heck, we don't even allow chats in third party apps like Zoom.
Having only used Nano since picking up Linux 2 years ago, I’m not sure what I’m missing. Can you make a case for me to learn Vim?
Conic Sections Rebellion
the total number of unarmed shootings by police each year in the US is in the double digits in a country of 400m. how many kids got raped in rotherham?
>> expression of freedom[...]based in denying freedom to everyone else

> You've just summed up the entire American ethos, sadly.

That summation is just tendentious framing of the concept of tradeoffs. If the situation were changed so "pedestrian[s] or cyclist[s]" don't have to make "concessions" to cars, that could also be framed as and "expression of freedom[...]based in denying freedom to everyone else." And that framing would be less tendentious than the OP's, because in America the pedestrians and cyclists are a vocal minority.
You mean like this?

https://obsolescence.wixsite.com/obsolescence/pidp-11
This sounds like a very bad implementation of 4-day work week and is not representative of my 4-day work week arrangements at my current and previous employers. It's a shame this comment is top of the comments because 4-day work weeks are so gosh darn amazing for employees (and probably employers too!)
10.6 aka "Snow Leopard" (2009) was the peak
The Ukraine is in Europe, it is on the borders of the EU. And there are other former members of the Soviet Union that are now part of NATO and the EU. This is absolutely a conflict we have an enormous stake in.

Do you think we should not help Ukraine, and not supply them with weapons and leave them to fend for themselves?
I'm also using the Adafruit Macropad. What did you do for keycaps? I have these: https://xkeys.com/transparentsinglekeys.html
And they're almost all far-right.
Sounds like it just describes the Dilbert Principle.
A crack in iCloud/iPhone's security armor (and Android too)
non paywalled: https://archive.ph/5TjOQ

"...With only an iPhone and its passcode, an interloper can within seconds change the password associated with the iPhone owner’s Apple ID. This would lock the victim out of their account, which includes anything stored in iCloud...

...Once thieves possess both passcode and phone, they can exploit a feature Apple intentionally designed as a convenience: allowing forgetful customers to use their passcode to reset the Apple account password...

...authorities came to believe he was the victim of a group of thieves that target New York bar-goers, launder money via apps and then resell the phones. This particular group is believed to be responsible for more than 30 incidents..."
> "Urban warfare is brutally difficult and has in the past not been a particular strength of the Russian Federation.”

> Ahem,

> Stalingrad

Ahem,

“Russian Federation”.

Not the same thing as the USSR.
That's probably a wise approach. I was wondering if someone with a workspace business account have seen/used such feature as an admin.
Man, food is so addictive and not like you can just stop eating it like you can quit drinking booze or quit smoking!