skysight-inc/HackerNews huggingface dataset:
> Curious what is the play here

Leader-follower. Or retail tools that look like quant kit.

Anyone designing strategies on Quantopian is smart enough to not day trade on Robinhood. So the margin has to come from uninformed traders emulating or following quants.
would like to take this opportunity to shout out crisp.im. I've used them for my business for nearly 2 years and they've worked great (Except for one time when my subscription randomly ended and the support rep was either intoxicated or didn't speak English. But it resolved within an hour)
Are there no other solutions instead of surveillance? Like make for each student his own schedule of exams, spread them evenly over the year, add some stochastic unpredictable in advance factor to that schedule.

The most of tests could be taken online when we trust students to be honest. That tests are mostly for them, to have feedback from a system on their performance, and for the system as a kind of telemetry, also a feedback to see how good education courses work. But a few tests per student could be conducted offline, the system might want to make them more rigorous and to cover more topics than usual.

It seems to me that the system is afraid of changing and tries to buy a solution of a problem instead of devising it. How to measure academic performance is the area of expertise of an academic organization, so why to outsource solution to an external software company with no expertise in academic measurements?

I wrote it and got an idea that it is an ideological shift in a collective unconscious. Software engineer is a magician, an artisan of unsolved problems. Each new problem should be delegated to her with a trunk full of bucks, and a magical solution will come back shortly. So maybe we should think instead of removing 'magic' component from the description? How to make people think of software as of technology, not as of magic?
Those are examples. They are not Dear ImGUI. Dear ImGUI is 2 files, that's it. The rest is just examples of how to integrate it. If you can't figure out hot to draw a list of vertices with texture coordinates in any API then you probably aren't the target for Dear ImGUI
...and then he went and did a video on Dorico, which the next version of MuseScore blatantly rips off.
If you're concerned about resource usage, at least with Swarm or Docker Compose, you get things like health checks, restart policies and replication for free with minimal overhead. Scaling horizontally is easy, too.

It's really nice to have your infrastructure described as code versus in some configuration management tool or shell scripts, and for that reason alone I'll use it even on a single machine.
I didn't know we have thousands of years of breaking encryption and concepts like zero knowledge proofs.

There's no brilliant plan, there's just mathematics.
I'm guessing that in these countries the cost of Internet traffic is dominated by the undersea cables at their borders.

Facebook has been paying to have new undersea cables laid. This is done as part of a consortium, but those cables only have 6-12 strands in them (the repeaters are bulky) so owning even just one whole strand of fiber in an undersea cable is still an obscene amount of bandwidth for a single company that isn't in the business of reselling bandwidth.
Her's some actual legal information about the seizing of BTC by the FBI:

In June 2014, the United Nations Office on Drugs and Crime (‘UNODC’) published a ‘Basic Manual on the Detection and Investigation of the Laundering of Crime Proceeds Using Virtual Currencies’ (hereinafter ‘Manual’) providing a guide as to how the Bitcoin can be located and seized.

The advantage of locating and seizing the Bitcoin wallet is that the potential complex jurisdictional issues that the use of virtual currencies creates, (as it operates in the online environment that blurs the national borders) can be avoided. The physical location of the instrument containing the Bitcoin wallet will in most cases be considered as the rightful jurisdiction for the purposes of freezing, seizure and confiscation.

Despite the technological difficulty in the early detection of illegitimate use of Bitcoins, it is nevertheless possible although difficult for Bitcoins to be seized as proceeds of crime. The most effective way law enforcement authorities can seize Bitcoins is by obtaining the private keys which are linked to the Bitcoins or physically confiscating the ‘Bitcoin wallet’.

Essentially once they have court approval and know where the wallet is - hard drive, USB drive, digital wallet. They will confiscate the wallet (similar to physical property seizures from a drug dealer) then just transfer the BTC to an account or wallet they control.

The above article is from Australia, but the manual is used internationally so I'm assuming it would be the same for the US:

https://www.lexology.com/library/detail.aspx?g=40d618a0-89e0...
Offtopic question now that you mentioned running a Linux NAS... Which hardware are you using? Because I'm interested in building a home NAS but I don't seem to find any small box ready to hold several disk that isn't ridiculously expensive.
Anti-submarine rocket.

https://en.wikipedia.org/wiki/RUR-5_ASROC
You can get out of Austin pretty quick. 30 mins in some directions can get you out of the metro area. Also, 5k sqft is 1/10 of an acre.

That said, I don’t know anything about land prices in Texas right now.
> from the left's perspective all the agreed upon societal ills--e.g. loss of blue collar jobs to free trade, lack of income growth combined with increasing income disparity, corporate oligopolies, etc--are a consequence of conservative, Republican, policies

But even if this is accepted for the sake of argument (I'm not sure it's entirely true, but let's assume it is), the left has not done what a sane political party should do when these things happen: penalize their own party leaders who let it happen. If Clinton allowed NAFTA to pass despite his own party's fierce opposition, why didn't the party fire him? Why didn't some other candidate beat him in the 1996 primaries? Why did the Democrats continue to protect him despite the fact that he's a womanizer and a liar? And why does the party machine of which he and his wife are poster child beneficiaries continue to run the party despite the fact that it obviously doesn't represent the will of the people? If it did, Bernie Sanders would have been the Democratic candidate for President in 2016, and again in 2020 (and he might have won in 2016).

In other words, I think Gurri is correct that the left talks a lot about reforms it says it wants, but doesn't back up its talk with action.
>China taxes land appreciation between 30-60%.

Doesn't the government technically own all the land in China and then just lease it to individuals? Slightly different system.
True, but you can do that far easier with existing assets.

Authoritarian countries can always simply block their citizens' access to exchanges, and even just outlaw crypto ownership.
I for one is not content with my city having enough money to build and maintain expensive infrastructure. I care more about living in an equal society where the rich don’t constantly dunk on the less fortunate, where the rich don’t hold disproportionate power and are frequently causing issues that disproportional effect people like me.

I want to tax the hell out of the rich, not just to get money to manage our shared spaces, but also to take their money away from them. In my eyes they don’t deserve this money. Me and my fellow laborers worked for that money, but they get to keep it. For me this is unfair, and unjust. In my perfect world the rich would not only pay marginally higher taxes, but they would pay most of their income in taxes. A person making a million a month should receive less after taxes then a person that makes a thousand. That for me is a fair economy. And that is the reason why I—and many like me—want to see the tax rate of rich CEO raised to 100%.
I've been using Travis on a bunch of my opensource projects and was wondering why builds were getting queued for ~a day before they'd run, I guess I got my answer. :/

I don't really want to lock myself into GH actions (ideally, I wouldn't be on GH at all), does anyone have any suggestions for alternatives? I don't mind paying some money, but the almost $1K/year for Travis' lowest tier is about an order of magnitude more than I can justify. I've also got plenty of compute laying around if anyone has suggestions for something self-hosted.
I think this is getting off topic as Anu/Pijul is not doing operational transformations (I assume this is what you meant when you wrote operational semantics).

I still claim that the reason OT works well with google docs is that it can rely on a centralised server, low latency and tie breaking.

Tie breaking means one doesn’t need to worry about representations of conflicts (and allowing changes to merge in sound ways) which is in some sense the main thing pijul does.

Low latency means that users are able to cope with the tie breaking rules doing the wrong thing

A centralised server means that there is less need for the merges to work in the sound way that pijul aims to make them work.

Therefore I put it to you that google docs is neither an example of the same theory that pijul is based on not evidence that OT would work for some kind of well-behaved structure-aware DVCS.
I've never heard of this AMP thing. Is it really that popular?

Valid point about paid streaming services - which I don't use.
Of course, it’s plowed back into investment. The prime directive of a capitalistic system is to create CAPITAL. Capital creates industry and jobs and money circulation. Taxes are the bloat in the beast called Big Govt. it sits there like inside the belly of a constipated beached whale.

Even pension funds and unions invest in the companies that make the profit. Chicago Teachers Union, iirc, has over 45k shares of AMZN. They also took a guillotine outside a Jeff Bezos building to make a ‘point’. It’s just hypocrisy if one believes it and ignorance if one parrots the ‘eat the rich’ line.

So when exactly do people start becoming responsible for their own lives? Social net is for those who genuinely need help. The weak, unfortunate, disabled and for those who need a helping hand. Society cannot shoulder the responsibility to take care of individuals whose are supposed to know better.

Political power does not benefit the wealthy class at all. This is absolutely untrue, but is often parroted over and over without people questioning the meaning of it.

A lot of the attitude comes from people without looking into the homes of people who have means and wondering why they can’t have what someone else does..what they don’t see is the countless hours of hard work and sacrifice and time away from family and other things that people take for granted. Why do they do it? To be wealthy is one of the goals. It is absolutely cruel to punish people for chasing their dreams. Taxes on the wealthy is punitive because they have to pay the troll under the bridge to cross it.

When I see someone railing against millionaires about the drug addicts and homeless on SF, I want to ask if they ever asked the parents of these model citizens? Their blood relatives? Their so called friends? Their community? Their high school friends?

If everyone took care of 1. Themselves 2. Their immediate family 3. Their extended family 4. Their friends 5. Their community 6. Their extended community FIRST, we wouldn’t have to knock on the doors of millionaires. Who cares how the rich live...most of us should look at how we ourselves live and how our loved ones and those we care about live.

It’s like watching a child in a park watching a rich kid hack into an obscenely large cake. Another parent who is feeding his own kid a modest snack drags the starving kid to the rich kid’s parents and demands that they share their big fat cake with the starving kid. Hey! Isn’t it always easier to make plans for how others should generously share their wealth?

The problem is not ‘the wealthy’. The problem is lack of healthy community and healthy supportive families. No amount of wealth sharing or stealing from the rich or taxes or plain old money will fix it.
> The developer of Calibre considers epubcheck broken, which it is, and wrong about the ePub specification, which it is.

Citation needed? epubcheck has existed for more than a decade and is in somewhat in active development. This would be somewhat surprising for a tool that is widely used in the industry.

Looking at the examples in the article doesn't help.

> Calibre adds an <ol><li></ol> to every heading and subheading.

That's just invalid XHTML by Calibre. How's that epubcheck's fault?

> If you wrote the book in a particular font, the index generated from a DOCX may be in whatever Calibre thinks is a good default font — and this default font may show up elsewhere.

Again, how is that epubcheck's fault?

> Calibre is also the most common ePub generator. Its format converters are robust and battle-hardened.

Usually I see pandoc being talked about epub generation. I didn't even know Calibre had epub output.

I only see problems in the article created by the Calibre converter and I have serious doubts about calling a XHTML generator "robust and battle-hardened" that can't even produce valid XHTML.
That's happened in several high profile bank robberies. In one robbery (I think it was a robbery on a airport hanger where they robbed an armored car company) they guys went to jail and they have some $18 million or so split between four dudes.

Even after trial, conviction and sentencing, the court reporter said the Feds still weren't able to recover around $5 million of the total money and have no idea what happened to it.
Is there an alternative to Huawei? OpenRAN could be it
We'll they are trying to make it green as possible so coal if out of game. At least locally for one device.
You'd like IDEA's distraction free mode then.

> In Distraction-free mode, the editor occupies the entire main window with the source code centered. All other elements of the UI are hidden (tool windows, toolbars, and editor tabs) to help you focus on the source code of the current file. You can still use shortcuts to open tool windows, navigate, and perform other actions.

https://www.jetbrains.com/help/idea/ide-viewing-modes.html
One thing about Intelij, that’s surprising is it’s written in Java. I am not sure what optimizations they do but it doesn’t feel sluggish for the most part.
What about all those regular people who do not have the skills, knowledge or risk capital to start a business?
If Stanford had this issue, someone would know someone and it would get fixed.
Have you looked into CircleCI?
There is in Japan based on surveys of men there.
This used to be the case for me. With the growth of LSP and DAP, it's no longer an issue, and I'm back in Emacs for the vast majority of my daily work (including Java).

I hope LSP beats JetBrains products. It's an open standard and lets language designers focus on their language instead of tooling.

Don't get me wrong, JetBrains products are well polished and productive. I just don't see them being able to compete in the long-term with LSP, which is free and more attractive to language designers.
Bonus: AMD satisfies their contract with Global Foundries by including one I/O die manufactured by GF with every CPU sold.
Google is inherently untrustworthy because it's near impossible to get help if something goes wrong.

Additionaly, Google Workplace (or whatever it's called next week) is particularly unsuited for enterprise because even when you do get a hold of someone, they aren't willing or able to provide enterprise level support.

For example, we were getting a lot of spearphishing, so we wanted to disable links in inbound email; can't do that. Then we were aquired and wanted to merge our account into our acquirer; can't do that either.
Humans are the environment. The environment is not good or bad, but indifferent to the existence or nonexistence of itself or humans.
"Just solve homelessness" - GhostVII

Why didn't we think of that?! Thanks GhostVII we'll get right on that.
> What I would do instead is tax highly paid executives

How do you define who is a highly paid executive?
After some of the previous TOS changes, I finally found the motivation to move to a self-hosted CI on a VPS. I’ve been entirely satisfied since migrating, and it’s been a truly low touch experience. Not for everyone I’m sure but for the low cost of the VPS I’m getting my value out of it, certainly not proving to be a maintenance drain as I’d feared, just updating it on a CRON has served me well.
Well, their lowest paid tier is $69/month. I dunno about you, but that's way more than I can justify spending to be able to support doing work for free. If they had a $50/year or so plan that just restored the previous open source plan, I'd be more willing to consider something like that, but >$800 a year puts it firmly out of my price bracket for what it offers me.
for unity work you can use Rider, which is basically intellij for C#
Apple patches iOS against 3 actively exploited 0-days found by Google
Location: Atlanta GA, USA.

Remote: Yes.

Willing to relocate: Yes.

Technologies: Modern C++, Linux

Résumé/CV: https://www.dropbox.com/s/z7g9poazcwwr4mm/Iris%20Chase%20Res...

Email: "iris" aat "enesda.com"

I've spent the last few years developing a declarative GUI programming language and implementation called "IVD" (https://github.com/IrisChase/IVD)

My experience is primarily in C++ (C++17, C++14, C++11) and would probably be the best fit in a position that requires that sort of thing. Also comfortable working with straight C (C89, C90, C99, C11).
As someone with a site like that, I've found it to be very freeing to just publish some thoughts and tweak them over time. When I tried to blog, I felt too much pressure to make something super high-quality and definitive, that will stand the tests of time and never be edited... So I ended up publishing nothing besides the "I'm starting to blog again!" posts or something small and safe.

+ By tweaking over time, the work can unwittingly become bigger, better, or more polished than it'd have been if I'd tried to make something so intense from the start.
Can you build on that? Is there water, electricity, gas and cable?
Ask HN: Would you listen to a worldview/moral landscape podcast?
I’m considering starting a podcast where I have (anonymous) conversations with people about the nuances of their world view/ moral landscape.

I think this can be incredibly valuable for younger people especially who in general have religion or post modern morals to emulate.

Would this be of interest? Suggestions are more than welcome. Thanks y’all!
I'd like the manufacturers to disclose how many they built and sold. These launches feel very limited. For things to sell out in seconds is not normal.
people systems are never easy
I love your product but might I just say I would be hesitant to use your product for the simple fact that there is no apparent about page on your site. I think it helps to know who is behind a company and there is a clear way, aside from the chat widget, to get contact information.
If you have some time and don't mind indirectly learning about less conventional areas of the romance genre, I recommend watching Lindsay Ellis' two pieces on misuse of copyright law to harass critics: Into The Omegaverse: How a Fanfic Trope Landed in Federal Court https://www.youtube.com/watch?v=zhWWcWtAUoY and the follow-up that roped the EFF into a battle over ABO: https://www.youtube.com/watch?v=K3v5wFMQRqs
GitHub’s source code was leaked on GitHub last night sort of
In Trump, you have a candidate who acts, speaks and tries to govern like the most reviled dictators of the past 100 years, and millions of Americans enthusiastically gave him their vote. So I'd say nearly half of America is incapable of reasoning about liberty and democracy.
Regarding your pay question, here in France it's random people, you and me, who are election workers (I explained the process in another reply): it's definitely not paid.

And the counting is done in polling stations after the voting process: just more hands and eyes that way.

And because it's that distributed, it's pretty much parallelized as much as you could. Another quality is you'd have to corrupt a fair amount of polling stations to make a substantial difference if you wanted to cheat.

Results are then sent to the next level (usually city hall which aggregates that and then sends that to the next level).
Ethereum 2.0 countdown – Get ready
So we have:

1. A lot of rich residents and rich companies which supply the city budget with sweet sweet tax money

2. A lot of programs and NGOs that draw large budgets to helping the homeless

3. Political climate that encourages spending money on helping the homeless without requiring anything from them, basically free money

4. Generous programs providing various freebies for homeless people, and no consequences for any behavior short of major robbery (yes, shoplifting is allowed too unless it's over $900)

5. Mild weather that makes living on the street possible year around

And we're wondering why homelessness has not disappeared? There's nobody that is interested in it disappearing, that's why. Well, at least nobody whose opinion matters, anyway. There's a lot of people interested in allocating and spending budgets on fighting homelessness, these aren't people interested in doing something that will make it stop once and for all.
We work super closely with product designers on almost everything we do. I work with product designers on an almost daily basis (depending on the stage of a project).

I work on consumer internet products.
RIAA Abuses DMCA to Take Down Popular Tool for Downloading Online Videos
I guess it really depends on where you want to spend your time. Time spent customising and tweaking my tooling is time not spent focusing on my core work.

Hence why, despite my interest in Fish, I'm still just making do with Bash, I just can't justify the time to make a proper switch.
Caveat Lector - IANAL

Punitive damages. All you need to do is show the other party acted with malice or through fraud. Punitive damages are designed to be a punishment for the bad actor, you can net some nice coin that way if the judge is particularly unhappy with your opponent. Just get try to get in touch with the ACLU to see if they can give any advice before you file, the case law for this stuff is complicated last time I looked into it.
Honestly, Proxmox + TurnKeyLinux LXC for Docker + Caprover does everything I could ever want. If I need a VM, I'll just spin it up in Proxmox.
No, they are different.

Unlike LVT, an appreciation tax is a transaction tax, which can be shifted to the purchasers.
I've used it in the past, but when they finally killed off the 1.0 builders (?) my company went to an "internally" hosted Jenkins[1] server and I haven't played with any of the 2.0 stuff. Have you? How do you find working with it?

[1] I did also ask about selfhosted stuff, but I'm not willing to host Jenkins for myself. I've heard nothing but complaints about managing a Jenkins install. It's been fine as a user (if a bit confusing), but I really don't want to admin it.
I agree, some things should not be ITAR. But I assert, some things very much should be.

OP said export restrictions are bunk, no matter what. That's a silly thing to say. I assert, divulging the inner workings of, say, cruise missiles, would make it far too easy to make cruise missiles. Some things shouldn't be on github.
If anything you’re the useful idiot, for the US.
We're yet to see if monoids, functors, and monads are worth it :)

For better I'd say you should look at things like virtual threads vs async/await or kotlins when vs switch expressions.