skysight-inc/HackerNews huggingface dataset:
Yes, property tax is based on current price.

The price is set by local government. They offer an assessment, you are given notice, and it can be appealed.

Different agencies have very different approaches.

How much property tax you pay is based less on your the rate, and more on the assessment philosophy.

Lower rates tend to correspond to more aggressive assessment, and higher rates with more lenient assessment.

The taxes go mostly to the local school district and water district. These are very specialized local governments that focus on one service.

Collection is done by the city or country, depending on … things. They get a very small cut, but not much.

Cities are funded by sales tax. Counties are funded by state revenues (I live in a “weak county” state where counties are agents of the state). State revenues are funded by income tax.

So

speciality districts = real estate tax,

municipalities = sales tax,

counties = mostly state revenue,

state = income tax,

federal government = income tax and magical debt

Everything except federal varies in state by state basis.
FWIW, the blog is broken in Safari Desktop and Mobile.

34 times (until all the pagination options are loaded), the page flickers and looses the scroll position. That's because each `appendPaginatedData` call triggers `reinitializeWebflow` which redraws the page.
It's a deceptively seductive industry. How hard could it be, especially with EVs? I think it's relatively easy to design a single car with some cool batteries and engines. It's another thing to build them in quantity, maintain quality, sell them, support them with spare parts so that repairs don't take forever.
Yea ok, eliminating misinformation is what we want to eventually do. But what we can sell is something that eliminates human errors (the backend also allows for that).
I'm just impressed that it answered "left" rather than outputting python code that I could run which would sample the list ["left", "right"] with an 80% bias.
To be fair, would the button isn't hidden away too badly, most people have no reason to go into settings for anything. They go through the wizard at the beginning (if that) to do first-time setup, then when they decide they don't like something they just deal with it or complain incessantly until someone fixes it for them.

Someone complained to me a while back about the size of icons on the windows desktop being too small - I told them they can hold Ctrl and scroll the mouse wheel to change the zoom level. They've complained about the same thing a couple times since, and so far as I can tell have made no effort to fix it.
This matches my understanding, thanks. I thought I was going crazy reading other comments.
FAQ:

> is ordering via ssh secure? you bet it is. arguably more secure than your browser. ssh incorporates encryption and authentication via a process called public key cryptography. if that doesn’t sound secure we don’t know what does.

Doesn’t TLS use public key cryptography too?
I really think we're talking circles, as you've now just stated what we've said in the first place. SciFi authors thought of something that would be cool to have. Now, we have the tech that makes those scifi things real things. The people making the real things admit they were inspired by the scifi thing rather than it being an original idea to them.

What's your point?
PRC is not Japan, they're a continental sized land power with associated resources. They don't need to synthesize fuel from coal - they extract ~4 million barrels per day, IIRC US military consumes 90 million barrels per year / 240k barrels per day.

PRC domestic consumption is 14m barrels per day.~6m goes to transportation, 2m goes to heating, both in process of being electrified. 2m goes to other. Industry, uses ~4m barrels, of which PRC MIC uses relatively little as % of output. They can sustain military multiple their current size on wartime economy. There's also estimated 300m barrels and growing in strategic reserves,.

Coal is useful in that coal gassification useful to make fertilizer. Which PRC did - they were NET fertlizer exporter ~10 years ago before they clamped down on coal and curtailed sector.

Utimately it's not just a US+co navy+airforce vs PRC navy+airforce fight, it's a whatever US military logistics can bring in theatre vs entire Chinese industrial homefront pivotting into MIC fight with their various PPP advantages using domestic inputs, which is looking more and more to be more substantial relative to what US+co is projected/planned to muster.
You'll get more CAPTCHAs and other issues with other VPNs, too, their IP addresses are just too easy to identify. VPNs with residential IP addresses can be a different experience, but they're a bit pricey if you can't justify their use as a business expense.
From the US.
Yep. And in a similar vein, not squashing allows you to separate a file move from changes to it so that git can track the move.
Did you transcribe manually? Or is there some sort of service that gets most of the job done via OCR?
Not true for NATO expansion argument, which has very deep roots, going back to the 1999 NATO-Yugoslavia war specifically (which is when US-Russia relations started heading south generally). As regards NATO-Ukraine, it seems to have picked up with the Orange Revolution around 2004-2005. Then sealed with the 2008 Munich Security Conference.

In any case originating from the Russian side. Most right wingers probably couldn't have found Ukraine on the map back then.

The "biolabs" argument may have started with the Feb 24th invasion, as there were Russian press releases dated suspiciously close to the onset of the operation (suggesting they may have been part of a pre-orchestrated campaign, as opposed to "discoveries" on the ground as they were made out to be).

Then again - they're of a refined category of bullshit that it hardly seems to matter. How can anyone believe that stuff?
The CEO/Founder of Rabbit is on the board of TE.
I dunno, look at the long list of things he hasn't been charged with: He laundered money for the MTGox hacker ( https://www.coindesk.com/consensus-magazine/2023/06/09/where... ), he promoted numerous ponzi schemes (including ones with billion dollar scale losses), he essentially robbed Coinflex to the tune of 42 million dollars and put them into bankruptcy, took some 20 million dollars from genesis trading.

Even with the tax evasion thing-- as soon as he did it he setup a 'passports for bitcoin' site promoting buying St. Kitts passports for the purpose of evading US taxes. It wasn't a revelation that he evaded exit taxes. Had someone without hundreds of millions done the same thing they would have been charged a decade ago, but to make charges stick against the well resourced is another matter. In this case they apparently felt they had to raid his communications with his attorneys to get the job done (notice the indictment is stuffed full of what plainly appears to be privileged communications).

All stuff that is widely known to the public--- over and over again it seems the world has taught him that he can do whatever he thinks will benefit him and suffer little negative consequences.

nikcub, if you read the indictment carefully, it sounds like he didn't sell most of those coins until 2017 (which makes sense on the whole backing BCH front) -- which would have been a much better Bitcoin price. BCH OTOH is trading for about 11% of what it was then.

So it sounds like instead of paying a few million in exit taxes, he instead created a much larger tax liability and then spent much of the proceeds on a losing long shot bet. I mean, I guess kudos to him for eventually putting his money where his mouth was.
Moscow: Russians flock to see captured Western tanks and hardware [video]
Evidence of a Snowball Earth phase is not definitive, but that graph doesn't go back far enough. https://en.wikipedia.org/wiki/Snowball_Earth, https://en.wikipedia.org/wiki/Huronian_glaciation
> The American Civil Liberties Union strongly urges you to oppose H.R.6090, the Anti-Semitism Awareness Act. Federal law already prohibits antisemitic discrimination and harassment by federally funded entities. H.R. 6090 is therefore not needed to protect against antisemitic discrimination; instead, it would likely chill free speech of students on college campuses by incorrectly equating criticism of the Israeli government with antisemitism.

-- https://www.aclu.org/documents/aclu-urges-congress-to-oppose...
Elon alreay explained it on Twitter. Better to follow him there rather than rely on second hand information on news or HN, which tend to mispresent what he actually says. He said that they'll focus on maintaining and expanding current Supercharger stations, and won't build new ones for now.
SEEKING WORK | Corona, CA USA | REMOTE

Willing to relocate: Yes

Technologies: JavaScript, Golang, Python

Resume: https://www.linkedin.com/in/alex-ahn-95ab3444

Email: contact at home dot alexahn dot com
Red Hat's latest enterprise Linux distro has new features to tackle hybrid cloud
What does "marginal utility of money" mean? Is the person with the lowest "marginal utility of money" the CEO?
Sunnyside | https://www.sunnyside.co | SF or Remote within US (core collaboration hours 9am-2pm PT) | Full-time | Senior Software Engineer

I am looking for a Senior Software Engineer to join our team here at Sunnyside to help us craft an exceptional product experience for our growing community of mindful drinkers. Unlike virtually every other service in the alcohol health space, we focus on moderation and mindfulness rather than all-or-nothing sobriety. We help our customers improve their overall health and wellness without having to give up alcohol entirely.

Our ideal candidate is a backend-leaning full stack engineer who would be excited to own and deliver features end-to-end. TypeScript or JavaScript experience strongly preferred. NestJS on the server and React / React Native for web and mobile clients. We are remote friendly, and those of us in the Bay Area work together in-person in SF a few days each week.

Apply here https://www.linkedin.com/jobs/view/3774112895/ or email me directly steve [at] sunnyside [dot] co
If X runs in polynomial time, then there is of course some X' which produces the same outputs on the same inputs, and provably (in PA, I'm pretty sure, certainly in ZFC) runs in polynomial time. So, if there exists an algorithm X which solves 3SAT in polynomial time, then there is an algorithm X' that provably runs in polynomial time, and solves 3SAT. If ZFC cannot prove that X' always produces the right answer, then, I suppose that implies (By Godel's completeness theorem) that there is a model of ZFC in which it doesn't...

uhh... huh.

Does the standard construction of the natural numbers in ZFC, if considered in a non-standard model of ZFC, produce a nonstandard model of PA? That's not what I had expected.

err... I guess there isn't necessarily a thing which is considered "the standard model of ZFC", so I guess I mean, "is there a model of ZFC in which the usual construction of the natural numbers, isn't the standard model of the natural numbers?" (where the model of ZFC is I guess a model within another ZFC or some other set theory, and asking whether the set of natural numbers in that model, is the standard one, is asking about how it compares to the model of the natural numbers in the outer set theory)
No. The kids literally aren’t outside. So they have less interaction. They commit less crime.
Yea, that was for our devs to test out stuff before pushing out, we forgot to disable it.
this needs some "charm" to it. it's a bit basic
> 90000ms to shut down, which is an absurdly high amount of time (what kind of service can't exit in a few seconds?)

I think I remember reading the biggest culprit nowadays (when specifically looking for why it takes so long for ubuntu to shut down) is snapd, that it unmounts all its squashfs filesystems one by one before exiting.
But it is anti property rights to force someone to rent or sell to poc. Of course without government influence this becomes a dumb business plan because it depressed the utility of your property and hands business to competitors.

I would argue government should eliminate racial discrimination laws as it will just shake itself out in the market and it actually makes things harder on poc.
I sure hope not. I would assume it's a rather dynamic situation of various periods of different relative behavior. We're certainly at its mercy though. My understanding about Mars is that it is just a much smaller planet than Earth, and it's core composition was slightly different (?), and so the core couldn't keep up and just slowly stopped "slushing around" and cooled off. That's my very loose understanding of the situation without digging into references. A quick search also seems to imply that it was the collision of Earth and another planetoid (not sure of the right name), the collision that created our rather relatively large and close Moon, injected a huge amount of heat and energy in Earth, basically re-smelting it. Plus the Moon constantly tugs and pulls on the Earth, which also probably adds to the core dynamics.
Unfortunately US foreign policy is even less responsive to voter sentiment than domestic policy (and that's already quite a low bar).
Well you made the conscious choice to make your own traffic indistinguishable from abuse traffic.
One eSIM for Google Fi + one physical SIM for Visible.

You can switch which network is used for mobile data in the settings. (As much as I wish it had an option to failover to the other rapidly ...)
Pretty nice, made a CLI app for this as well, seems like a common need: https://github.com/3rd/promptpack

But sending whole files isn't always optimal, I'm thinking there has to be a better way, like picking workspace symbols and pulling in only the code they depend on from other files. Something something LSP/tree-sitter-based.
Sucked up too much content from the bucket and causing itself to leak.

Twitter needs a purge, like a sponge needs a squeeze.
I would blame this one on DDG, actually. PSA is an incredibly common acronym for public service announcement. Wherever DDG sources acronyms for might also be assuming people just know it. Try wiktionary or Wikipedia disambiguation pages for acronyms when they don't show up in search, I can often find them there.
>Indeed, many of the protestors are simply violent, uneducated, unsophisticated and weak (easily emotionally manipulated) thugs

Care to justify that claim?
The fact that SpaceX isn't missing any steps despite its continued expansion in programs, i.e. Superheavy, Starship, Starlink, space refueling, Lunar landers, in the context of Musk's significant distractions.

SpaceX's path is also economically rational. No cyber space yachts. Just rapidly improving customer cadence, capability expansion, and margin bumps.

Tesla, on the other hand, could really use his creativeness, practical realism and will-to-succeed focus again.
I'm reasonably sure this is the first time I've ever seen a claim associating civility with 4chan.
I also mentioned that cheaters may just feel something is missing.

It's irrelevant whether they're happy or not. Violating an agreement you made with someone behind their back for your own selfish reasons is cowardly.
The cheapest option that I know for this is Red Pocket's "phone plan" on eBay for a total yearly charge of $30.

They are at the bottom of this page:

https://www.redpocket.com/plans/annual

Numeric PINs are issued by eBay - use them within a month (or less), or they expire and there are no refunds.
hope you clear your bash history after a purchase :)
> I feel like if life was definitively detected on Mars, it'd kick off a serious new space race for sending crew there.

Nope. More probable for it to get quarantined, for fear of cross contamination. IIRC NASA purposefully doesn't land craft on the locations with conditions closer to habitability in Mars today, fearing stowaway microbes from our probes run amok and eradicate any extant martian biota, just like rabbits and other critters brought by Europeans wrecked ecosystems in Australia.
The article is talking about iOS. Apple doesn't let you run Chromium on iOS. Are there any iOS Safari wrappers that can match Brave's ad-blocking abilities?
The first time the compensation was approved, it was through shareholder vote with Elon abstaining.

The question raised later was not if the shareholders were adults allowed to approve it, but if the information they were given about the board negotiators had sufficient disclosure.

Inadequate disclosure on paper legally opened the door to questioning if the negotiator of Health fiduciary duty to the shareholders.

My personal opinion is that a different CEO then Elon could not have generated 500 billion dollars of irrational hype. Additionally, I think that if Elon left in 2018, there could have been substantial reputational damage to Tesla.

Negotiations between two parties who both stand to profit heavily are tough. They are tough because Leverage is based on who is more willing to self-destruct and walk away
There was no justification for that so-called right other than lack of knowledge

Edit: this is reiterated by OP in a sibling comment, guess I framed it correctly?
SEEKING WORK | REMOTE | Anywhere (from GMT+7)

Part-time or Full-time Contract up to 1-FTE

---------------

I am an experienced Django and Python developer who is currently looking for his next assignment. I am experienced in building and maintaing both front-end as well as back-end Python based web-applications. I see myself as a problem-solver first, and a developer second.

My tech expertise covers: Django, Python, Flask, FastAPI, HTMX, AlpineJS, React & TypeScript. I also know my way around DevOps principles fairly well. When building applications I have experience in the field of APIs, CRM, ERP, HR, Cloud gaming, OCR and AI. You can read more about me on my website, or the recently linked LinkedIn post.

Email: edwin@genego.io

Website: https://edwin.genego.io

LinkedIn: https://www.linkedin.com/feed/update/urn:li:activity:7187586...
Minutes Until the End of the World?
That's Kent Beck's 3X: Explore Expand Extract (there is a good video on it about his time at FB)
Do you really need to be an ass instead of just saying yes or no with some proof?

For most of the existence of cable, there was no way for it to send a signal back. It is not fundamentally based on tracking. The targeting you described in detail is not tracking.
A minority of Americans live in no-fault states, especially because New York still recognizes fault.

Regardless, even a no-fault divorce is a devastating event for most people, even if only financially.
Sorry, I posted the wrong link.

I have downloaded all of this and run it on a rhel9 clone.

https://gunkies.org/wiki/Installing_VMS_V1.0_on_SIMH
Location: Montreal, Canada
Remote: Yes. Hybrid also okay if Montreal.
Willing to relocate: No.
Technologies: Python, C#, Linux, git, Flask, Grafana, Prometheus, GitLab, Unity, MongoDB, PostgreSQL, Redis, Azure, Azure AI Studio
Résumé/CV: https://stuartspence.ca/static/documents/resume.pdf
Email: Available as an image on my website: https://stuartspence.ca
Portfolio: https://stuartspence.ca

I'm a senior computer scientist and educator.

I have 6 years experience in IT operations in supercomputer weather prediction - DevOps, team lead, establishing best practices. I won a department award from Environment Canada for supercomputer resource optimization. I give workshops on git, Python, and AI. My workshops are rated 4.4/5 by scientists and meteorologists. Lots of experience with government procurement and hiring. Recent work deploying AI+cloud prototypes with Azure.

My hobby project AI game has 700,000 installs. The custom chess variant AI is written from scratch (C#, Unity). Full stack web development of the web services and online multiplayer (Python, Flask, MongoDB, PostgreSQL, Redis).

I also taught high school computer science for 4 years.

I want to work on challenging technical projects with a positive social impact. I am exhausted by the stagnation and mediocrity of government IT. Save me.
Yeah I get it, I'm not blaming anyone for shitlisting those IP ranges given the circumstances. There is no way to ensure user privacy that doesn't also give bad actors the same privacy, and end up necessitating the assumption that anyone who goes out of their way to be private is a bad actor. This is why we can't have nice things.
That first link especially is hyperbolic disingenuous bad faith nonsense. It draws completely wild conclusions that simply don't follow from the GNOME dev quotes or GNOME's behavior it lists in its support. Trying to have a consistent coherent vision for their own project isn't the same as trying to lock users into their project, let alone trying to sabotage other people's projects, nor do they ever say that's what they want to do, or that they view users as "walking billboards", just that they want GNOME to have a consistent experience so they can have basic quality assurance. They're basically trying to avoid the "carrier customized Android" problem. I glanced briefly over the other articles and it seems like they're the same utter drivel, additionally repeating tiresome, worn out, utterly stupid and wrong claims like that GNOME is "a mobile-first" interface or "not suited to the desktop." I use nearly completely vanilla GNOME every day on my desktop, as a power user, and it's amazing --- far better, in fact, than KDE or any other DE I've tried. I've explained at length why, and why their UX choices were justified, before: https://news.ycombinator.com/item?id=39985533
My uncle had a big laserdisc collection unfortunately it succumed to laser rot. The discs were breaking down over time. He bought them in the 70's or 80's and by the 2000s they were deteriorating.
My favorite source for current MVNO options: https://prepaidcompare.net/

My household of 4 adults independently chooses Visible (cheapest tier, $25/mon which offers unlimited data (and and unlimited hotspot, though capped at 5Mbps)). Due to the slow hotspot speeds I might migrate DW & I to US Mobile which offers high priority high speed hotspot (up to 30GB/month at about the same price when shared across 2 lines) which could be valuable when we're traveling.
Dude you tried, there’s no need for 50000 word essay against a sentence
You’re forgetting the background neutrino flux that we tap into for randomness.
Actually some good news then :)
We can do geo engineering ... we just don't have the will to do it.

https://globalnews.ca/news/2934513/empty-skies-after-911-set...

If we stop flying planes at night, the contrails they wouldn't be forming would allow more heat to radiate off of the night side of the planet.

Additionally, if we had the planes "run rich", they would make more contrails by day, which would increase the planetary albedo and reflect more light away (see also https://en.wikipedia.org/wiki/Global_dimming ). We have inadvertently been doing geo engineering for decades, but with cleaning up the particulate emissions (a good thing!) we've also made it so that the planet heats up more.

And yes, this is controversial. But its not a "if we could" but rather "if we would" discussion.
Looking for work.

Location: Easton, Pa
Remote: Preferred
Willing to relocate: Yes
Technologies: JavaScript, TypeScript, Ruby, HTML/CSS, Express.js, React.js, Jest, PostgreSQL MongoDB, AWS, Docker
Résumé: https://perkins.guru/Christopher-R-Perkins.pdf
Email: Christopher [at] Perkins.guru

I have been in IT support for a couple of years and am transitioning to software engineering. Check out my personal site( https://perkins.guru ).
I think that the basis of these is that parents, especially mothers, do not pay enough attention to their children. The entry of mothers into business life left children without love, indifference and defenseless. As a result of this incident, children try to take this attention from external attention centers, such as TikTok.
ALso keep in mind that if you get a huge box full of text it's getting cut out by the UI and you can't reach the buttons!
Half As Interesting just put out a video about CED today!

https://youtu.be/TScO0fsGdds?si=4jGSaUM7E4Gydagb