skysight-inc/HackerNews huggingface dataset:
I think they surely can get rid of a lot of city personal. I've moved to a different state and just being in contact with government officials to get things done is just... easier.

Something not right? Let's fix it. Let's do this first and then that.

General California feeling: you're missing form 5858b. Can't help you. Come back later. Next available appointment: 3 months.

Half of their jobs could be filled by using proper software. But instead I have to print it, make an appointment, hand them the form, have them type it in and send it off.

That's half of your budget right there.
I hate to say this, but this is straight up rediscovering monads.

They have a notion of phases of execution which are different execution contexts with an ordering. And yes most languages don’t have a decent facility for expressing this or staged computation. Let alone a notion of computation phases that map to distributed systems state.
This ignores inflation and other factors in the macro environment. But ultimately, any argument that a stock is mispriced is definitionally wrong, because the price of a stock is what someone is willing to pay for it. It's a cliche but it's also an incontrovertible fact, even if people like to ignore it because it invalidates all their arguments.
> And why would I base my entire application on a framework by a tiny developer?

If we work like this we'd have no frameworks. Everything started from 0.
This quote has always seemed cute, and coming from Berra it would be, but hardly true.

Theory (at least in physical disciplines) is always taught with up-front statements of assumptions, what non-idealities are assumed away in order to tractably develop a theory in the first place. It's not taught by theory that theory transcends whatever simplifications were made to arrive at the the theory. Physical theoreticians do not contend that theory has no differences from reality.
I had remained staunchly skeptical about the domestic terrorism talk. Until now.
The book (and course, IIRC) is split across two books. The first one focuses on the lower level systems, and I believe the seconds one deals with the bootloader, language implementation, screen animation, and building the game.

It doesn't look like there are multiple versions of the books, unless I'm missing something. I did the two versions of the course without the book, and really enjoyed both. Although the writers of https://teachyourselfcs.com/ only recommend the first one, so it depends what you want to get out of it and whether the approach resonates.
That’s certainly the charitable interpretation. But it remains bizarre to engage in public denunciation without actually telling us the whole story. There’s a bit of a contradiction there, at least on the surface.
What if it comes out that this guy left because he was battling health issues or he just found a better paying job?

But that vast majority of people have already made the association through this article.
If only it were that easy. The EFF had long warned that the interoperability exception is legally much weaker when it conflicts with 1201 than it appears, and is (in their view) legally almost useless.

“The "act" prohibition, set out in section 1201(a)(1), prohibits the act of circumventing a technological measure used by copyright owners to control access to their works ("access controls"). So, for example, this provision makes it unlawful to defeat the encryption system used on DVD movies. This ban on acts of circumvention applies even where the purpose for decrypting the movie would otherwise be legitimate. As a result, it is unlawful to make a digital copy ("rip") of a DVD you own for playback on your video iPod.

The "tools" prohibitions, set out in sections 1201(a)(2) and 1201(b), outlaw the manufacture, sale, distribution, or trafficking of tools and technologies that make circumvention possible. These provisions ban both technologies that defeat access controls, and also technologies that defeat use restrictions imposed by copyright owners, such as copy controls. These provisions prohibit the distribution of "DVD back-up" software, for example.

Section 1201 includes a number of exceptions for certain limited classes of activities, including security testing, reverse engineering of software, encryption research, and law enforcement. These exceptions have been extensively criticized as being too narrow to be of real use to the constituencies who they were intended to assist.“

https://www.eff.org/pages/unintended-consequences-seven-year...

This comes up elsewhere on this Hacker News thread, because Dolphin actually does contain a Nintendo encryption key. Which makes Dolphin almost indistinguishable from, say, a DVD ripper or counterfeit DVD player, which this law was specifically designed to crush.

If you want a further example, look into Apple v Psystar, where Psystar broke Apple’s DMCA 1201 locks to run macOS on unofficial hardware with “interoperability between hardware” being one of their many legal defenses. They were squashed in hearing after hearing and declared bankruptcy after having exhausted all legal options.
Unfortunately this workaround doesn't seem to allow you to get the download button on Aurora Store for the searched app: "App purchases not available on Anonymous accounts"
But you'll get the Update tab for the already installed apps.
Yes, I have domains at Namecheap that don't host spam.
It's not a question about whether Nintendo wants to stop it, but whether US copyright law gives them the power to stop it. It might; but it also seems quite possible that Nintendo would prevail merely through intimidation rather than by having the law soundly on their side.
The budget is freely available on their web site. It's worth noting that San Francisco is a consolidated city and county, so the budget covers things that most other cities don't (e.g. public transit, libraries, schools, jails). While there is indeed some consolidation San Francisco is on the hook for two separate law enforcement agencies (police – which are typically the domain of cities and sheriff – which are typically the domain of counties).
KryptEY – Android keyboard for E2EE comms via Signal protocol in any messenger
I'd be happy with summarizing and aggregating of health and longevity articles/papers to have a concise digest of strategies.

Case in point, I'm a big fan of Andrew Huberman (https://www.youtube.com/@hubermanlab). He's quite prolific and his presentations pack a lot of data. Just taking all of that in would require a lot of time. Being able to have it condensed and indexed would be wonderful.

Plenty of others like him (e.g., Rhonda Patrick, Peter Attia, etc.) High quality stuff but there's literally not enough time to take all of it in.
1. html is ascii based, from the headers to the body, naturally leading to string manipulation

2. browser engines try very hard to accept as much malformed slop as possible and still give usable results ( https://en.wikipedia.org/wiki/Robustness_principle ), this was probably a mistake
You had to enable extensions.pug.lookingglass before it even loaded the code.
I had a group working under me who were troubleshooting an intermittent fault in some control circruitry for a nuclear reactor, and they started phoning it in just like this when they realized that there was only enough appetite to describe and propose weird problems to the boss once each day. After about a week, the goal became achievement of the daily failure with a minimum of preparation. It was a highly solvable problem, but they were all avoiding the necessary step of serious research.
Yeah I remember watching the documentary about the history of the group that created Biosphere2, and I had my mind blown when Bannon showed up at the end.
Sorry please see my edit.
30 minutes read for an article is too much. Since you like explaining things in depth, consider writing a book.
Hey, skybrian!
I'm a pot for tea // short and stout, that describes me // tip me over now.
Though I know far more about SML than OCaml, I would approximate that the former is to C as the latter is to C++.

Which one you learn should depend on what you plan to use it for! I'm partial to SML. Then again, I've only written a handful of real-world programs with it.
Make sure you pre-allocate a buffer that is short and stout
There are many cities in California that are not having a financial crisis. Stop trying to confiscate homes from people because their neighbors paid too much money for their houses, condos, or apartments and "raised the property value." That's pure evil.
> equally authorially-dominant

say what? One is on the official school site, in the lectures and notes from class. Second one is an anonymous upload at the weird unofficial site which does not even have university's branding.

If the students can't tell those two apart, they are in deep trouble and should not be in college.
> The complexity of the cloud exists because the cloud vendors allows a user to do advanced things if the user understands how.

The complexity of the cloud exists because it wasn't designed very well and all reactionary.

You look at AWS and it feels like things are getting tacked on because there's "demand" instead of thinking of what the platform should look like and building it out. Every service is done by a different team that doesn't talk to each other as well. There's no consistency anywhere.

> If you want easy (or easier) mode, you'll have to use a Platform-as-a-Service (PaaS).

It's been blurred a long time ago so how do you make this distinction? They all have PaaS features / services.

> There's no free lunch.

You had to pay to begin with so what's free?
You don’t understand. The incentives are all wrong. There is absolutely zero benefit for a bureaucracy to make itself more efficient and require less money each year. No one is incentivized to ensure money is being spent well. The biggest incentive for a lifelong bureaucrat is to increase budget and headcount - the more money and headcount you have, the more important you are. There is never a time when you aren’t requesting more money and more people. If you have money left over at the end of the fiscal year you 100% guarantee you spend it lest your budget is cut rather than increased.

I have seen so many bright and starry eyed idealists think they can fix government when they get in. In fact the best man at my wedding / best friend is a DC bureaucrat, and you get him a few beers deep and the stories he tells… My goodness. The money is not being spent well and he is jaded as fuck.
Are you talking about the old convention place station?
You can't take two detectors and just say "they correlate" without presenting the blinded correlation data. If you apply the crazy filters that they do, how many of those signals happen in both detectors by chance?

In fact, you can't do a proper statistical analysis without three identical detectors, or at least two pairs of detectors, which we will have once ligo1,2 and Virgo are all online at the same time, and watch how the filtered signals drop in count based on how many detectors you look at.

> It is the first GW observation that has been confirmed by non-gravitational means.

This is a pretty weak claim. Worryingly, iirc it is the only multi-messenger observation we've made to date, so, again. How many supernovae do we see at any time in any given segment of the sky, and what is the likelihood that it would have happened to be in whatever ~1/20 spatial angle the Gw detectors happen to have resolutions over, and out of the other n candidate neutron-neutron mergers we've "detected" what are the odds that we wouldn't have seen a supernova in the EM by chance in all of the others?

If almost every single event came with a mm detection, I'd be convinced, but honestly, IMO it's looking kinda grim right now. We will find out if after we jack up the sensitivity we continue to fail to make multi messenger observations at the same rate as we have so far
I don't mind the downvotes as I expected this would be somewhat provocative, going against the general grain that people think P≠NP. I agree that, in general, this is not a mathematical explanation for why P≠NP, but a rough heuristic to explain why people think it is true, predominantly in pop sci circles. I would also emphasize that there is no mathematical explanation for P≠NP - or else the problem would be solved - and at the end of the day, the reasons that computer scientists suspect this to be true are equally heuristic in nature, not amounting to much more than "we tried to solve these problems and couldn't do it."
Yup, we have a strong culture around this at work. Problem statement, decision drivers, decision criteria, alternate options to seriously evaluate. It should be clear why one is recommended over the other, and under what circumstances other options might be preferable.
That's great! Reminds me of elementary school when I was in "gifted and talented... " program. We did a similar experiment. Each kid had some ornate paper airplane, but my simple design won out.
Seems like quite a lot of people are misremembering how Activation and similar technologies worked.

Retail versions of Windows XP required Activation by internet or phone.

Volume Licensing customers could bypass Activation with a Volume Licensing key - like the infamous key mentioned by others here that began "FCKGW-". This was a valid key prior to Service Pack 1 (SP1). SP1 blocked it and several other "widely known" keys.

Windows Vista and later made Activation mandatory for Volume Licences to stop this sort of key abuse.

Someone has mentioned Windows Updates imposing the Activation requirement - they are probably thinking of Windows Genuine Advantage (WGA) - https://en.wikipedia.org/wiki/Windows_Genuine_Advantage.

WGA was a separate technology to Activation. It added further checks to detect various types of pirated copies.

One thing that's often overlooked about Activation is that it was only intended to deal with "casual piracy" - where people buy or obtain a genuine copy of Windows, but then try and use it on more PCs than the licence permits.
It was a take home exam.
FWIW supporting CapRover is possible by just a docker compose file.
I see both ends of it, but as a python/boto3 fanatic I'm not sure that the added functionality outweighs the rest of the pythonic joys on offer.
Only one Koch left.
And an international airport and a water source and pipeline from the mountains. Crazy stuff
Yes, it is indeed their responsibility. It is also a minor thing.

People sometimes drop the ball, sometimes repeatedly, especially in committees. Public shaming is generally reserved for egregious acts, and so needs to be justified.

Attempting to shame people, without explaining what exactly happened, suggests a hissy fit.

To be clear: I am willing to entertain the accusation that the Rust team is toxic, but that’s a case that needs to be … you know … actually argued.
Okay, here's the most mind-boggling ChatGPT response I've gotten. Someone recently posted an HN article on mathematical proof techniques which included a statement about how we shouldn't confuse the mathematical concept of induction with the electromagnetic concept of induction. After a bit of querying ChatGPT about this, here's what it came up with:

> "One of the Maxwell equations, Faraday's law, relates changes in the magnetic field to the induction of an electric field. It states that a time-varying magnetic field induces an electric field, which is analogous to the concept of induction in electromagnetism. This induction process occurs as the changing magnetic field "propagates" through space, giving rise to an electric field that is perpendicular to both the magnetic field and the direction of propagation."

> "Mathematically, this phenomenon can be likened to the inductive step in mathematical induction. Just as mathematical induction builds upon previous steps to establish a result for the next value, the induction of an electric field in electromagnetic waves relies on the changing magnetic field at a particular point to induce the electric field at the next point in space."

> "Moreover, the wave-like nature of electromagnetic waves, including light, can be understood in terms of a progressive "domino effect." Each point in space influences the neighboring points, as changes in electric and magnetic fields induce one another. This propagation of the electromagnetic wave throughout space mirrors the idea of the sequential propagation of statements or properties in mathematical induction."

That's kind of impressive, isn't it? Cross-domain interconnections and all that?
>> they all don't do anything else singificant their whole entire lives but hunt fish

But the article is about them organizing a posse to sink a sea-worthy boat!!!

Can you and your friends do that? Without the aid of tools?
Yeah, like, why should I give a copy of my passport to sellers? It’s not norm.

It could be used by a disgruntled employee for identity theft. Or they dump them in an insecure location that is breached.
Ensure it’s long enough for a json map of handle and spout objects
That's literally what compel means (as opposed to require or mandate).
its a trojan horse - dont use it. AGPL license means that if you use this anywhere in your code you will need to make that code open source.
Somebody at a planning meeting for an apartment building in Nopa was arguing that it would go against the working-class history of the neighborhood (homes sell for >$1M there now btw). People here are in deep denial about SF being a world city, and the fact that people with (realized or paper) gains in the high hundred thousands are not "working class".
You are mistaken.

An appeal to authority is any logical argument that relies significantly upon the authority of the person making that argument as support for that argument. It then becomes circular and flawed.

If you were to replace the person who is actually speaking with anyone else, and look at the same argument and its support, and it doesn't hold up, that's an appeal to authority.

It doesn't matter who the authority is. Just that there was an authority used to support a significantly unsupported argument
The stickied comment says

since nobody here has any more information and all we can do is uselessly speculate, I will be locking the comments so as to minimize the drama

Maybe you are viewing a cached page before that comment was added?
Visit a library and set it up on their website if you absolutely have no computer or internet access?

In this case, the Tesla charging network is the only one that allows use without a cell phone app. The other charging networks are a mess, I have several apps installed for them.
What Sleepwalking Teaches Us About Trauma's Effects on the Brain
Ask HN: Machine learning based search on my macOS with Spotlight?
So apparently now when I search something in my Macbook Air M1 with Spotlight it will AI-search all of my pictures as well. Is this new? Where can I read more about this feature? Is it possible to disable it? I have thousands upon thousands of pictures so I'm surprised, has macos scanned them all in the background? Or is it dynamically done on-search? (it feels too fast for the latter).

PS, for context, I'm building my own picture management app with Electron so I'm interested in anything like this, it's a feature I planned to add to have a one-up but seems like no longer.
This is both a comprehensive guide, and an excellent reference! I use it often when writing SML for side projects.

For those interested in parallel, functional programming, I recommend taking a look at Futhark, which leverages data parallelism to make very fast parallel programs. It is based on SML, and has similar syntax, but can automatically build programs that (among other targets) run on the GPU using CUDA or OpenCL. It is also worth checking out MPL, which extends the (already awesome) whole-program optimizing compiler MLton to add support for nested, fork-join parallelism.

https://github.com/diku-dk/futhark

https://github.com/MPLLang/mpl
San Francisco? Neutral? Right?
Whatever else its ills, the bot actually will pay attention to the tokens you're submitting to it to formulate its answer. That puts it well ahead of a majority of the doctors I've seen over the years.

I say this without snark- it is simply true. I should also mention that a good quarter of the medical care folks who have assisted me have gone above and beyond in exceptional ways. It is a field of extremes.
When I moved here a year+ ago, I was told by the leasing office for my apt that I needed to provide proof of rental information even though I had owned a house for 15 years (in another state, and had it fully paid off). They refused to process my application until I dug up contact info for a unit for a condo that was no longer being rented and for a property manager that did everything under the table.

Now we just found out that the company we started a year+ ago didn't get registered in CA "in time" so we owe $800 even though it's made no money. And by "in time" I mean it was two weeks past their grace period for being exempt for your first year.

So yeah, not really feeling CA nor SF at this point. We're looking to move and move the business somewhere else.
Something I haven't seen commented anywhere, Spotlight+Finder now ML-searches all the images in my computer as well. There's 0 information about that online!
> they can't do mathematical calculations

Tell me you never taught service courses for pre-meds without telling me you never taught service courses for pre-meds ;)

> They hallucinate, They're incredibly good at being convincing, no matter what junk they are outputting

Describes about a third of the doctors I've interacted with, tbh.

> And the advice I got seemed useful, and helped kick off additional research and useful conversations with veterinary staff.

It's similar to "Dr. Google". Possible to misuse. But also, there's nothing magical about the medical guild initiation process. Lots of people are smart enough to learn and understand the bits of knowledge they need to accurately self-diagnose and understand tradeoffs of treatment options, then use a medical professional as a consultant to fill in the gaps and validate mental models.

Unfortunately, most medical professionals aren't willing to engage with patients in that mode and would rather misdiagnose than work with an educated patient. (My bil -- a medical doctor, and a fairly accomplished one at that -- has been chided for using "Dr Google" at an urgent care before.)

> Do the benefits outweight the risks? As with pretty much every ethical question involving LLMs, there are no obviously correct answers here.

At the end of the day, it doesn't matter. At least in the US, you won't have access to any meaningful treatment without going through the guild anyways.

I don't think that using LLMs for medical diagnosis is a good idea, but it's important to admit when the status quo is so thoroughly hollowed out of any moral or practical justification that even terrible ideas are better than the alternative of leaving things as they are.
Colorado’s Ingenious Idea for Solving the Housing Crisis
2. Try a different strategy
What about the case where it's no longer the owner's primary residence, such as this exact case where the woman had moved to elderly care facility?
For which the original vaccines are still reasonably effective at keeping you out of the hospital (systemic immunity response).

I am awaiting the trials on the ones that actually provoke immunity in the respiratory mucosa. It would be very nice to not get Covid at all.