skysight-inc/HackerNews huggingface dataset:
Much of what I know beyond the basic mathematics taught in elementary school I've learned on my own, and accepting this basic difficulty and learning to go slowly has been an absolute boon. I've simply accepted the fact that I might need to spend almost two weeks on a single proof or even definition, continually returning to it or ingesting it in different ways until I am ready to move on. I'm able to read a typical piece of somewhat difficult literature (fiction or non-fiction) in about two weeks, so it was certainly an adjustment, but as soon as I got used to this I found that my actual understanding of the concepts had increased tenfold.

I think part of the problem is that mathematics is so precise that subsequent understanding is tightly coupled to a comprehension of prerequisites. In so-called "softer" disciplines, the concepts are less precisely delineated, and their relationships are fuzzier. If you don't quite understand some prerequisite concept, you can sort of muddle your way through even the later notions that depend on it. Not so for mathematics. If you fail to get a complete and precise idea of the basics you'll eventually face complete doom or confusion when working through the subsequent portions of a theory.
Actually this entire construction is wrong: currently people who improve their land get penalized by higher taxes. If there are only land value and not property taxes, we are in fact increasing your freedom to make changes to your land without penalty.
I want to make an RTX on joke but my card isn't supported...
Davinci Fusion or Blender?
Apple Pencil (USB-C)
Sequencing is something done by many types of biologist, there's nothing special about virologists there.

No, this is a profession that really should not exist at all. GoF was banned in the past without consequence beyond causing them to engage in coverups of their own psychotic experimentations, it can be banned again with no loss to humanity. COVID simply wouldn't have happened if these experiments were banned.
Surprisingly high CO₂ levels in the house
yeah, I had to submit an amended return because free fillable forms decided to discard a form and went through with the submission anyway :(
Oh, I think you might misunderstand what I'm comparing it to. The other tools, like Proverbot9001, are exactly the NNUE scenario you describe, where a small neural network guides a search procedure to find proofs; they are more effective at finding formal proofs than Llemma. For other tasks, like non-formal proof generation, Llemma has novel results as far as I know; it's just in terms of producing formal proofs that it currently seems to lack as compared to the state of the art.
warrants should not be given out like candy. If you are regularly giving warrants out for innocent people, it means the due diligence is lacking.

What you're trying to say is that sometimes it's reasonable to be incorrect. __sometimes__, yes. That's not what your attitude suggests here.
> HIV was a multi-virus infection followed by an animal jump

Can you expand on the multi-virus infection thing?
Right. "visual hint" is self-explanatory and cannot be misinterpreted, and seems to be a more common term. As a non-UX person I've never heard the UX jargon "affordance", but I've heard "visual hint" tons.
California's Unsafe Handgun Act is ostensibly intended to protect consumers from cheaply manufactured handguns that might malfunction or otherwise be unsafe to operate.

Here is California's Attorney General explaining it:

https://oag.ca.gov/news/press-releases/attorney-general-bont...

> “California’s commonsense gun safety laws save lives, and the Unsafe Handgun Act is no exception,” said Attorney General Bonta. “Accidental shootings are preventable. The fact that children under five are the most likely victims makes these accidental gun deaths even more tragic and inexcusable. As weapons become faster, more powerful, and more deadly, this risk only increases. Flooding the marketplace with unsafe semiautomatic pistols that do not meet necessary safety requirements poses a serious threat to public health and safety, especially for children and young adults.”

> The UHA was originally enacted over two decades ago in response to the proliferation of low-cost, cheaply made handguns that posed consumer safety risks. Under the UHA, the California Department of Justice (DOJ) compiles and maintains a Roster of Certified Handguns that meet certain public safety requirements. Generally, a handgun must appear on the roster to be sold by a California firearm dealer.

> When the UHA was first enacted, revolvers and pistols were required to have safety devices and pass drop safety and firing tests at independent laboratories in order to be added to the roster. [...] The UHA has since been amended, adding additional safety requirements for semiautomatic pistols including that a new semiautomatic pistol must have:

> A chamber load indicator that indicates if the pistol is loaded; A magazine disconnect mechanism that prevents the pistol from firing when the magazine is not inserted; and Microstamping capabilities that allow law enforcement to trace a shell casing to the pistol that fired it.

So this law is ostensibly intended to protect people who buy handguns and those around them. But cops are exempt, because... cops never drop their guns?
Just realized I didn't get to the last one

Pricing might need to be broken out more eg. $5 seems too cheap. - Could you clarify this one as well? When you say the pricing needs to be 'broken out more,' do you mean offering additional pricing tiers or options?
You can fill in a PDF form rather than writing it by hand.
So the third link is the official one? Its footer has some very sketchy looking links, including to two different telegram channels, three aliexpress stores, and some guy's skype username...

Then again, we might not even be seeing the same site, since it forces http:// and could be modified in transit by anyone on the path of either of our ISPs and the web host.
I've used FreeTaxUSA since 2014 and I've never had to pay for federal, but I have had to pay something for state file. I think it's around $20.
SF is the second most dense large city in the USA (after NYC). See https://en.wikipedia.org/wiki/List_of_United_States_cities_b... (look at the last table, bolded cities not a part of some other city's metro area).
But it's superfluous for the task of assessing the application. In the same way as the existing text on a form is ignored by the person processing it.
This argument is known as God of the Gaps [0] and it has serious logical and theological flaws.

> Detractors argue that this perspective is problematic as it seems to rely on gaps in human understanding and ignorance to make its case for the existence of God. As scientific knowledge continues to advance, these gaps tend to shrink, potentially weakening the argument for God's existence. Critics contend that such an approach can undermine religious beliefs by suggesting that God only operates in the unexplained areas of our understanding, leaving little room for divine involvement in a comprehensive and coherent worldview.

https://en.wikipedia.org/wiki/God_of_the_gaps
https://notes.eatonphil.com/ is also great :).
FreeFillableForms is basically like doing the paper forms by hand and it's much easier to make a mistake than using something like turbotax. I've used both that and the excel files at https://sites.google.com/view/incometaxspreadsheet/home in the past but I realized that the hassle if I screwed something up was much worse than paying for tax prep software.

I'm very glad that the IRS is going to be making something that's more comparable to turbotax now.
are you referring to like when you do summarized trades? or something else?
When they have a recommended OS with their brand name on it (Raspbian/Raspberry Pi OS), it's a platform feature. Either I'd expect the hardware to provide some minimal battery or something for safe shutdown, or I'd expect the software to handle sudden power-loss gracefully. They provide both the hardware and the software, there's no way for blame to leave their ecosystem.

Raspberry Pi can't redirect blame for filesystem problems if the user is using an OS that's called "Raspberry Pi Operating System".
They exist, but in limited numbers. The fleet of used cars on the road doesn't represent what used car buyers necessarily want, it just represents what new car buyers wanted in years past. To get a fuel efficient used car today, you have to have convinced a higher income buyer to have bought a new one a few years ago.

This is why fuel economy standards are a good idea -- the entire market doesn't decide what vehicles get built -- only the top ~1/3 of market purchasers decide what manufacturers build.
Yeah when you need to effect road closures for sure you're costing the municipality something and should have to pay something for that. The congestion easing on otherwise-normally-functioning roads certainly feels shady.
Python 3.11 vs. Python 3.12 – performance testing (on Zen 4/Raptor Lake)
Well I was surprised not to see Inkscape or Darktable listed.
> At most bigcorps your manager can’t unilaterally fire you. There’s a whole HR-driven process.

But any of the 8 managers above you can initiate that process.

> And if your work is measurable they are probably doomed, which is much easier to achieve as an IC. (Obviously this excludes things like violating laws or policies)

The effort to fire me may be doomed, but only for now. The intent to strike a person is already there. More managers == more chances of developing intent to strike someone.
The scale is few orders of magnitude off
> they should know injecting/hooking into the engine .DLL would trigger this from VAC.

More importantly, Valve should have known that triggering based on only this would cause false positives, and picked a better thing to trigger on, and/or acquired better confirmation that the tool was a cheat, before banning.

> AMD has no reason to be doing this

Maybe, maybe not, but that doesn't justify Valve VAC banning people for cheating who aren't actually cheating.
Watch out: virus/scam/spam sites can detect sites like yours and write tons of redirects, link them somewhere, and use your site's good reputation to get their scams on the home page. This is also a huge problem for redirect services.

If the wrong person publishes the wrong link, you can get your domain banned from Google and tons of other sites as a "security risk", which can spread to your email (if you use @joshcsimmons.com).

It's fine if you don't care about blacklists of course, but this kind of abuse can easily sneak up on you.
Accusations aren't evidence.
Could it be the author isn't Kolmogorov, but Kronecker?
Affinity Photo is terrible.
The jagged edges for lasso tool without anti-aliasing makes it useless to me.

Photopea is 10,000x better and free.
You would technically need a license
Ebay or Aliexpress are good options with buyer's protection. I bought quite a few OrangePis in my time, although that was at a time when the Orange Pi Zero was 9 EUR a piece. At current prices, I don't see the point.

The OPis themselves were quite decent devices, Raspbian worked very well on them.
All “high-horse” claims work better when yo have cash in the bank and don’t need to get that job right here right now.

I also decline signing NDA, providing data they should not request. Asking to cross off anything that encroaches intellectual property I might create after hours.

But if I would need that paycheck ASAP all of it goes to trash and I would comply to most of shenanigans, maybe not all but still.
ASML Statement regarding US government's export control regulations announcement
They're trying to document a system that wasn't designed with usability or GUIs in mind and they have a perverse incentive to keep Linux hard to use because that drives support subscriptions.
This is, in almost every respect, the better way.

Any non-real-time operating system will eventually get a little bit buggy around timing intensive operations like I2C or (especially) SPI. Better to have your GPIO operations performed by a dedicated micro that only handles your serial traffic and whatever pin-twiddling operations you need to do. Ideally, your serial traffic is in a binary protocol like MODBUS-RTU, so your traffic parser is as fast as possible.

Bitbanging I2C or SPI is tedious but generally pretty achievable in a bare-metal application. But unless you're hacking your kernel to force that kind of timing fidelity, bit banging on an RPi running Debian is just impossible.
Nothin'. I have had a blog for 10 years. Pure vanity. When I feel like getting something out for whatever reason, it is there. No one reads it, there's no money in it, and that's just fine.
I'm not saying that Dawkins is wrong, I'm saying a lot of what he wrote was not compelling to anyone who disagrees with him.

It has been years since I read his books, but let's say he says, "We all know it is extremely unlikely that a dead person came back to life, much less physically ascended into heaven? Where is this place heaven?" That might sound cutting to someone on the side of Dawkins, but to those who are religious he sounds like a simpleton, as if their religion hasn't already given them an answer to such elementary questions.

On the other hand, people steeped in religious tradition know all the arguments and counter arguments and can contest religious claims in a way that has a greater chance of breaking through. For instance, it is 100% obvious and undeniable to most Christians that Jesus claimed to be God and that his disciples also believed that. Bart Ehrman has an entire book [1], based on historical precedents and writing contemporary to early Christianity, as well as having spent years reading the Gospels in its original Greek, which shows that that "obvious" narrative was alien to early Christians.

[1] https://en.wikipedia.org/wiki/How_Jesus_Became_God
Good point. I don't see much of that merch, but one day she asked me to buy paw patrol wet bag, next day she ask for paw patrol skateboard.

Maybe I should ask for it local giveaway groups.
bsky probably holds the most promise, but the platform’s going through some Eternal September growth pains right now, and it’s not clear what will emerge once federation is baked in. Nonetheless, most of my Twitter subgraphs have migrated over there in the last few months, so it’s finally getting a pretty crowded feel to it, at least for me. Not a drop-in replacement for Twitter, particularly on fast-moving breaking news, but Twixtter is no longer “where news happens” either.
The difference with software and real things is the physical weight, size, and mental effort to manage them.

Electron is pretty well optimized these days. Once something is not notably slow on the oldest cheapest hardware I own, I lose interest in making things any lighter or smaller.

I think the backpack is a good metaphor though, because I don't want to avoid Complexity, I want to avoid metaphorical "Weight".

Like, take Etcher. What it does could be done in just a few kilobytes, instead it's 80MB. But I have the 80MB to spare, and it loads fast. So I use it(Except on Pi when I use the far better Pi flasher that lets you do headless config right while burning the card).

Now, if Etcher was not available easier and I had to compile it myself and actually deal with all of the libraries, I wouldn't like it as much. It would "weigh" far too much. If it took time to load, or was unreliable, I wouldn't like it.
Before you jump into installing the extension for your A1111, keep in mind the limitations:

- You have to "pre-bake" each model (create optimized engines) for only a pre-defined set of resolutions

- ~~No LoRA support~~ I guess there is a LoRA support, but you also will need to convert them to TRT

It's been like this for quite a few months now, not sure what's new this time.
Solar wafer prices hit record lows
Detroit: magic wand makes dirty air look clean and lets polluters off the hook
https://www.photopea.com/ is a drop-in replacment for photoshop CS
I agree with avoiding *kwargs, but I wonder what we should do rather than to pass around dataframes if we have a program that works with dataframes? I get that there is a downside as the actual types are hidden inside the dataframes, but I am unsure if the tradeoff is worth it by unpacking the dataframe into arrays or objects for every function call and return, if the functions require them to be dataframes?
A proposal SiFive is against[0].

They claim Qualcomm's arguments are based on flawed statements.

SiFive also argues that Qualcomm's proposal is harmful for microarchitectures of all sizes, including Qualcomm's intended design.

0. https://lists.riscv.org/g/tech-profiles/topic/slides_on_reta...
I don't think its possible to create a website without understanding linking.
Back when psychologists didn't even bother to make up results which looked statistically significant.
They don’t know enough to know how much you owe them, but they do know that you got $xx,xxx from a brokerage account and that the tax would be $7,000 unless there were some things unknown to them that would make it a lower amount. You didn’t tell them about any of those things, so they assumed the full amount but were perfectly willing to be shown that that this assumption was wrong.
> It's still a class A misdemeanor though and they will arrest you for it.

Just like in California.

https://www.courts.ca.gov/documents/Prop47FAQs.pdf
I am not “defensive”. I am merely pointing out that you don’t have any right to know any particular details about me, including my salary, no matter how “useful” you consider it to be.
Hardware orgs, such as auto manufacturers, are often poor software providers. This is sad.
I do similar but I look for older laptops.

Gets me integrated: battery, screen, keyboard, mouse

I can buy an old laptop for $100 and would cost me $150 for similar RPI hardware.
Normally i didn't notice, and naturally follow the "trend".

But there're something too noisy happens, i'm not sure if it's intentional from the media.

Then most of the things on the internet become distracting, it's been less useful than it should be.

Maybe things could improve in future, but at least for now, it's what i have to do to keep myself in focus.
There was a discussion about this on another HN thread today. [0]

As you've said, the contact is with the police force not with the individual officers, who get paid the same as they would for any other duties.

There was a whole court case [1] about when the police could charge for this sort of coverage, which codified the current arrangement that, at football matches, they can charge for the officers in the stadium but not for the ones outside it.

In the UK, while police are allowed to have outside jobs, any outside employment must be approved by the force, and as a matter of policy security work is banned. Similarly, security guards aren't allowed [2] to be special constables (people who work as part-time unpaid police officers).

[0] https://news.ycombinator.com/item?id=37912396
[1] https://www.bailii.org/ew/cases/EWCA/Civ/2013/115.html
[2] https://www.met.police.uk/car/careers/met/police-volunteer-r...
He specifically says in the paragraph OP is quoting from that he would ask them outright for verbal agreement that they would sleep with him later before he bought them drinks. If he got consent before anyone drank anything, what exactly is the problem?
Seems nice, but not even trying it.

I discard immediately any subscription based app that doesn't provide a clear and useful service for / because of the subscription (as a side note, this is apparently not highlighted in any capacity in your website, and it seems to be you don't offer any kind of cloud related storage).

Before you say "but what's 5 bucks a month" well the reason for me saying no to 5 bucks a month is the same reason why you charge 5 bucks: You're looking at volume.

People needs to realize that by offering subscription only apps, they are competing in a very, very crowded market. Only those apps that offer a real value get a sustained subscription.

For the record, 5 bucks is more or less the same amount I pay in my country for the full set of Adobe apps, and half of what I pay for the full set of JetBrains tools (International price). The other two services I pay for are OpenAI and Github Copilot.

P.S.: In my opinion JetBrains offers the best subscription model there is, that is a "hybrid" model. It's subscription based, but if you paid a full year (Not calendar) you get the last version available for the calendar year which ends inside the period you paid (Or that is how I understand it).
Its cool that this is starting to approach real time video territory (30 images per second, this claims close to 1 image/sec).
Only the IDF has said this, its like "we investigated ourselves and found nothing bad"

https://x.com/AJEnglish/status/1714395103966515461
There is this project that might help you:

https://github.com/Diolinux/PhotoGIMP
A dream come true. I’ve been asking for this for years.
A house goes from $2 million to $1.9 million, that's a $100k drop! But only a 5% drop in relatively value. According to [2], housing prices have dropped to where they were 1.5 years ago.
Really? I always assumed turning off bluetooth would disable BLE too. That's annoying...

I'd be interested to know if disabling Find My will stop the attack. Also Airplane mode (you can enable WiFi while in Airplane mode, I think).
> Here's an example of a USFF (ultra small form factor) for $110 - https://www.ebay.com/itm/325826958401

Hm...

> No adapter is included. Needs 65W or above (most dell/hp laptops around the year it came out are compatible)

The 65W power adapter on Dell retails for $46.99 on sale, bringing the grand total to $156.99.

And that's just after skimming your link for 2 minutes.
As far as I know the strategy he used - "Shell Companies + Phony Individual Information" can be used to purchase any form of assets. Usually, either federal law agencies ignores these activities mostly because how difficult it is to prosecute them. I am out of my depth here, but that is what I know. It is illegal but rarely people get punished for it. I don't think he is getting punished for the acquisition part, but for something else.

What makes ARIN so special? I am going to bet for other RIRs this is pretty normal. AFRINIC IPv4 has a hassle to transfer, and ARIN and RIPE IPs is the target. That leaves APNIC and LACNIC.

I believe, APNIC allocated MASSIVE IP ranges to government research agencies and government educational institution which are slowly being traded and re-registered under ARIN and RIPE.
Orion – From idea to launch in 45 days
true, people you knew for 20+ years tend to disappear. some even as you finish working for them.
I just told you about a case of a murder in a suburb that was solved. Murderers are caught all the time in the US. Are you claiming that because police don't solve 100% of murders in the US, we should consider police fundamentally useless?
I am still a regular user, but it has become more of a chore than a joy.
The lively exchange of ideas without agendas (or with less of an agenda) is absent. Instead I do get some useful information about tech industry trends by some stalwart contributors. Also my spam-and-scam messages have gone up by 10x.

I suppose I could make more effort to mine other sources like Medium or decentralized Twitter clones, but haven't yet done so.

I'll put up with the dreariness and annoyances of X for now, but the instant I find a better alternative, I'm gone.
Wow I didn’t make the connection. Indeed, a fantastic blog!
> “cozy TV”

This is totally it. I would add that for me it's extra cozy because I used to watch it (and love it) as a kid growing up in Eastern Europe and now, I live in Seattle! I rewatched it sometime during the pandemic and the jokes hit way closer to home than when I was a 13 yo kid, both from the fact that I'm now an adult and from the fact that I understand why someone calling from Tacoma has a different problem that someone calling from Medina hahaha. All in all, a great show.