skysight-inc/HackerNews huggingface dataset:
Because that's not a universally held definition only "leftists" disagree with?

First, even where property rights are accepted, a well considered definition generally has a caveat is made that property can't be taken "arbitrarily" or "unlawfully" or through a "legally established public necessity" or so on. In practice, every society which has had a legal concept of private property has also simultaneously had the concept that the government could certainly seize said property under certain conditions, and this has generally been treated as legally legitimate and not illegal robbery so long as it serves some common good. If you don't have such caveats, you run into all manner of issues justifying things like:

>Eminent Domain

>Taxation

>Court ordered seizures

>Civil forfeiture

You can also just just straight up deny the right to private property exists altogether. And not even necessarily from the obvious left wing perspective, you can just say the entire realm belongs to the king, so the king taking things to redistribute as they see fit is not theft, since everything was the King's to begin with. People have even claimed that the very concept of property is a form of theft.

Beyond those arguments, the probably most crucial argument here is that the poor's private property was stolen to begin with through government corruption and unindemnified torts to end up with this status quo, and how is restoring private property to its rightful owner theft? It is the very essence of protecting the right to private property! Particularly when people are calling for this private property to be restored through legal reform or through government overthrow (legal reform through extraordinary means). Not through simple anarchistic robbing of people who exist nearby you.

As for why people don't simply roll over and say they're pro-robbery, if you robbed somebody, you are a criminal and what you possess is not your property and subject to restoration to its rightful owner. People want to go beyond robbery, they want it to be legally established that people have absolutely no legitimate right to what they currently possess. People also don't necessary want to claim that if they argue for redistribution of wealth, that they also support grandmothers being subject to purse snatching. There's many obvious reasons why people don't describe their actions as "robbery", and your entire argument mostly is based on an presumption about who truly has a legitimate right to whatever property, as well as these peoples absolute unconditional right to this property, and argues any attack on either this presumption or presumed right (which has never existed) is some sort of leftist sophistry.
Sure, today. They weren't around for the larger part of that time period though, at least not on this continent.
If red hasn't come up in a while on a roulette table, is it a smart move to bet on red?
So would they tax all the electricity that company uses or just the electricity used for mining? The article isn’t very clear on the specifics.
Interesting; it is difficult to both tax and ban something. Eg if crypto is deemed to be "bad" then how would the US justify profiting from running its operations?

Perhaps a step towards some kind of normalization of crypto in the US.
partially. Reza discussed their data pipeline in the blogpost that we reference in the show notes
Yes, and while I'm pro-ETH, I'd prefer if Ethereum doesn't surpass Bitcoin as a result of the government abandoning fairness and neutrality, and discriminating agaist some uses of electricity over others.
Surely, if you get to the position of running a multi-billion dollar company on some level you should know what you're doing? No one is taking a rookie kart racing driver and putting them straight into Formula 1.
Yeah you'll get rich quick do it - I would suggest paying for some Udemy/Patreon courses to do it effectively though. Oh and you can pay for private discords for the inside scoop
> Sure, but if that key derivation function is protected by a "you get 10 attempts then we wipe the keys" safeguard, the effective entropy is much higher.

Thank you. 100% agree.

> Passkeys do not and are not designed to protect against nation-state level attackers

I've been mulling over some use-cases where this is important, hence the deep consideration over entropy. 100% not a huge deal for the passkeys case for many 9's of people.
AI can definitely help remediate the bugs but it is all about incentives.
One would hope browser and OS vendors would use AI to remediate vulnerabilities but vast majority of software vendors won't ever use it.

Also, automated vulnerability finding is very much real and already used today. This isn't something that has just become viable via LLMs, but I guess LLMs can enhance it:

https://github.com/angr/angr
It is not dead in Haskell precisely because of controllable side effects. It is dead in some other languages precisely because of lack of controllable side effects. In .Net, for one example, STM execution was 4 times slower because of arbitrary modification of state [1].

[1] https://haskell-cafe.haskell.narkive.com/t6LSdcoE/is-there-a...

Also, the rule of thumb is that you have to use STM, and it is mandatory, if there are more than one developer working on a project or if you have more than one module in your solo project.
> If that is possible then shouldn't it also be possible to ask the AI to find and code remediation to the vulnerabilities it found?

It's not that simple. Mal-AI will probably operate orders of magnitude faster than Bene-AI. Patching affected software/hardware is a bureaucratic or formalized process that can take time.

Time dilates for AI relative to humans because it can accomplish so much work in our time horizons. A month to us might be like years to an AI.

So good AI would always be orders of magnitude behind while cleaning up after bad AI.

This perspective doesn't even account for online devices that are un-patchable that constitute the majority of today's bot armies.
Indeed no fluke. Probably sci-fi led the way and captured the public imagination, then it was an easy meme for researchers to latch on to as they try to gain notariaty, funding etc for their work.

The nature and capabilities of these systems are a very long way from anything else we consider intelligence. If they didn't contain a 'neural net' I suspect the connection would not really occur to anyone - anymore than people consider Google search to be intelligent.
Temporal determines a workflow is non-deterministic if upon code replay the high-level commands don't match up with what happened during the original code execution. In this case, technically it's safe to change the code this way because both still result timer commands. But what the timer was first created with on existing runs is what applies (there are reset approaches though as mentioned in other comment). However if, say, you changed the implementation do start a child workflow or activity before the timer, the commands would mismatch and you'd get a non-determinism error upon replay.

There are multiple strategies to update live workflows, see https://community.temporal.io/t/workflow-versioning-strategi.... Most often for small changes, people would use the `Workflow.Patched` API.
Sure, but then don't we have to pay for somebody to enforce those parking spaces? Is that enforcement cheaper than building the extra parking?

I've seen something similar, but it was placard-based for the whole neighborhood. You needed a parking pass to be able to park, but there were no reserved spots (which I imagine would raise enforcement costs a lot).
Arista sees AI as 'killer application' for high-speed networking
I agree that it's being positioned deceptively.

Today, it is just a novelty.
They should at least redirect to the correct url.
People using Prime95 aren't buying $Hundred-Million of electricity from the Texas Energy Grid during the snowstorm when everyone else was literally freezing and dying in their homes.

The amount of electricity these miners are pulling is insane, and is beginning to affect their neighbors. Its about time we stopped putting up with it.
you can load it but you cant run inference? whats the issue?
STM is very pervasively used in Haskell. It's usually among the first tools a production Haskeller would reach for when dealing with concurrency. It has died in other ecosystems mainly because it really shines when you have a lot of pure functions and a static type system, which is really up Haskell's alley. Any impure functions really spoil the soup.

Clojure's STM implementation is missing crucial combinators to combine different STM actions compared to Haskell (e.g. Haskell's `orElse`), which makes it much less useful. It's also more difficult to remember how to compose STM actions in a dynamically typed language, since you can't directly inspect the action at the REPL in the same way you would do with a simple data structure, which means those few Clojure codebases which use STM don't tend to use it pervasively, but instead confine it to a single place, because it gets too easy to make the equivalent of type errors in Haskell (but which are much more difficult to diagnose because they're not really type errors from the perspective of Clojure).

Or to put it another way, Haskell's STM implementation focuses on STM actions as first-class entities, which allows you to have all sorts of reusable actions scattered around your codebase or even stored in data structures (e.g. a list of actions). This is also why there are combinators for combining different STM actions (e.g. `orElse`) rather than just operators on transactional references.

This means you can build up a rich library of actions in different places throughout your codebase, then at the "very last moment" in your program you atomically combine different STM actions together (ensuring through atomicity that they all see a consistent view of the world).

Clojure's STM implementation on the other hand focuses exclusively on transactional references, which means it's difficult to build up a library of STM action "lego pieces" that you can reuse throughout your codebase. You can try to retrofit the same thing, but then you run into mismatches between different actions which is what I alluded to with type errors. This lack of composability is my view as to why STM has mostly withered in Clojure.
All this does is move HQ. There is a reason most US cargo ships sail under a foreign flag like liberia
What percentage of its budget does Amnesty International put into advertising, and is it unusually high for charities?

I mean, I'm all for effective altruism, for giving money to charities the charities that help the most people with it with the lowest overhead, and for doing your research before deciding who you donate to (I recommend GiveWell as a starting point); but "hiring PR agents to solicit donations" is hardly unique to Amnesty.
Like the commenter you are responding to, I still don't understand how any of this can possibly work in practice.

> Passkeys are synced to the cloud by default on iOS and Android, which is probably a good idea for many use cases, but might not be what you want in some instances.

OK, so how do I use my cloud synced passkey to log on to my Google account (which no longer has a password or other secret that I can back up locally) after I lose my phone?

> Probably not, but it will make it much easier to log back in – you won't even need to type your password if you use a 2FA-capable authenticator/passkey.

OK, but if the account is locked, that just gets them to display the "you're screwed" screen faster (since they don't need to wait for me to type a password), and the blast radius goes from just my Google account to all my other accounts, right?
Lotus notes was like the ultimate in write-only software.
The web experience specifically.
I'd guess they'd answer with something related to either scale of the problem, or value.
We can only look for what we know.

We have to narrow it down somehow.
Yes, I understand how phishing with 2fa works. But to me, passkeys sound like 2fa with your fingerprint/smartphone PIN? What's actually different there?
These organizations are already incentivized, somehow or other, to do the work of creating and maintaining their archives. I think their incentives are aligned with wanting them to be authenticated. If you think gas fees would be a concern, they could create and publish a manifest file once a year for any new videos, and write the hash of the manifest file to the blockchain. That's one hash published a year, that can't be a lot.
Fundraising time for the 2024 elections
Estimating a project that doesn't have detailed scope and specifications is a bit like asking "how long is a piece of string". Asking for an estimate before knowing what it is you are building is canonical MBA widget production management. Numbers and dates unrelated to reality so the idiots with the power can put data into their spreadsheets and claim they're doing something.

Software has nearly 0 reproduction costs, so by definition you'll (mostly) only write software for something that has not been done before. How long will it take to quantify the unknown?
Sorry that you took that lesson away from my comment. It was intended as a not-serious joke.
Thank you for sharing your knowledge. Talking about estimations is always complex.
The iMac G3 Project
Depending on how you do the accounting, some folks feel the cost of a _user mile_ is much higher in public transit, largely because of low utilization. Perennially people say it will get better as more use it, but It's a hard chicken/egg issue to only do the highest demand routes, but folks wont use it unless they can get their _entire_ needs covered.
It would take excruciating gymnastics to justify a claim like this. And I'm not a fan of either entity.
I agree crypto mining is wasteful, but I don't think this kind of narrowly targeted tax is the right solution.

ideally the federal government would not have an opinion on what citizens use electricity for, only that the externalities of power generation are priced in.

at a high level, crypto mining is just arbitraging the price of electricity. if the externalities are priced into generation, this is a non issue. if they're not, a tax should be applied that doesn't discriminate by use case.
Ships are on water, their flag doesn't matter much. But charging a tax on activities occurring within the border has the effect of discouraging that activity. You can't slap a different flag on a server and escape the tax.
Ask HN: Windows 10-based devs, are you upgrading to Windows 11?
I have a Lenovo box with Windows 10pro I use on&off, mainly for development and/or testing. Every time I wake it up from sleep it offers me to install or schedule the free upgrade to Windows 11.... and somewhere almost off-screen an option to stay on Windows 10, which is what I have chosen so far. I understand that Windows 10 is still supported, for now, and that there may be some headaches involved with switching to 11. But perhaps I'm missing out on significant improvements too.
Have you upgraded? If so, what are your impressions so far?
> but if they want to use a computer to run an infinite loop for the end of time that's their business

I don't see anything in this proposal that would prohibit running an infinite loop for the end of time.
As for importance of example, it goes like this: double linked list is a first year programming exercise on a single processor; double inked list is master thesis on a multiprocessor if you use locks, etc; and it is again first year programming exercise if you use STM on a multiprocessor.

STM simplifies parallel execution of atomic consistent transactions significantly.
What is the tax rate on free electricity?
"I was completely wrong but for some reason you should think I know what I'm talking about. Look, I have a microphone and a nice suit."
> vast majority of software vendors won't ever use it.

It will likely become part of SOC2, and all the major cloud and IDE vendors will offer it as a service. Potentially just bundled in at no additional cost.
I have yet to find a place in my own work where Haskell would strictly be a better choice, but god damn its fun to write.

Thats not a knock on Haskell either, I have a more bog standard job than it likes.
Oh wow, that's super impressive. Is there anything that comes to close this functionality today, outside of SNOBOL?
A fortune in legal fees.
I rather feel that the current web was more foisted on us than organically emerged from our collective effort.
Let's say there's some sort of afterlife and it's super great. You can do whatever you want in a paradise. Okay, now imagine that lasts for trillions of years. What are you going to do? You're either going to go insane from boredom or not be yourself in which case sure you're some eternally happy sprite floating around but not you anymore.

And are other people there? Yeah? Talk about a road-trip test of a relationship hanging out for eternity. No? Okay thats lonely.

When I die, I hope I'm dead afterwards.
> Calling this 'end-to-end encryption' really bothers me, as we already get that from HTTPS.

You very rarely get end-to-end encryption from HTTPS.

It's possible, if the TLS session is actually between the two ultimate end points (the two ends in end-to-end). But that's very rarely the case.
Happy to announce that an App we built has crossed 1 Lakh+ downloads
It is Android ported version of the classic MS Paint

https://play.google.com/store/apps/details?id=com.codegres.p...
And when that last device dies in an accident or force major, what's next? Proofing won't work because if the solution is really as secure as it should be then neither party can have access in an unencrypted form.
The company has to declare it themselves. They can lie, but they can also get audited and caught. This is how all taxes work.
"For what shall it profit a man, if he shall gain the whole world, and lose his own soul?"

Mark 8:36
thanks friend!
wow this could make the fabled 65 billion parameter llama sparsed and pruned runnable on a 3060
> Mal-AI will probably operate orders of magnitude faster than Bene-AI. Patching affected software/hardware is a bureaucratic or formalized process that can take time.

“Bureaucracy” misstates the fundamental issue: errors in patching the software against malware (e.g., breaking the prime function to support security) are more costly than errors in attempts to break in, so the former fundamentally demands more costly (even if it, too, is fully automated) verification.
I write TypeScript in production but I'm happy to call it JS
No passkeys are just normal private keys. You can store those private keys in a particular platform's secure key store which on phones can be decrypted/made usable when you unlock the device. But there is nothing stopping you from transferring these keys to a different device if you wish.
It looks like by pruning by a factor of 0.5, you reduce the size of the model by 50%? In practice, what is the expected observed change in the output before and after pruning?
I found this to be a particularly lucid writeup of the past 5 years of advancement in LLMs. I sent it to some undergrads to read.
There are places that require you to have a parking spot for your car before you are allowed to register the car. There are no free parking spots, you park on your property or rent a spot from someone else.

I'm not a fan of externalities, so this makes sense to me, especially in an urban area where public transportation is available.
It's about 50-50 (minus 0 and double 00) regardless
Ah. I’m viewing all this in 2023. I tried skimming the talks. It doesn’t cover leftism. It covers liberals, conservatives, and libertarians. I see the site, Cato Institute, and the author are all libertarians.

The topic is missing 1/3 to 1/2 of the Overton window and regularly conflates a made up “left” that doesn’t exist. Of course the left exists. Liberals are not the left.

I searched a few basic topics and many results [and comments] lacked awareness of socioeconomic knowledge. Sometimes defiantly so.

Meanwhile when I go and look at the [far] left, they are likely to be honest with their good faith intentions of agitation and propaganda.

Thanks for the links.

Edit: the problem isnt leaving out the left. The problem is leaving out the importance of the left and how “progressives” can’t be used alongside conservative and libertarian. It would be similar to giving a thesis on basketball with a “3 position” stance. Small forward (progressive), guard, guard (the other two). Crude example but this sort of sports book would be utterly trashed for being anti-intellectual and pedantic.
So weird seeing such a positive feedback here as opposed to ISPs attempts to break net neutrality when it's exactly the same thing. When you purchase services or commodities, price either should depend on what you're using them for, or it shouldn't.
Sounds like a win-win. Bitcoin mining farms are contributing nothing to the region where they operate. People will be happy if they packed up and left and drained someone else's energy supply.
> Outlook's web app doesn't even let you click into an email to mark it as read.

It absolutely does let you do that. I use OWA as my daily driver and that is the behaviour at least on my end. Settings->Mail->Message Handling should have the options you want.
Is the world ready for ChatGPT therapists?
And almost no PC laptop copies that concept. The benefit is simply not that compelling unless you are designing type faces maybe.

But maybe we boring PC people just can’t miss what we don’t know. Like Bentley cars or Champagne when we can get Toyotas and sparkling wine. ;)
It just gave me prototypes lol

def sieve_eratosthenes(n):

##a function to sort 10 numbers

def bubble_sort(a):

##a function to sort 10 numbers

def insertion_sort(a):

##a function to sort 10 numbers

def quick_sort(a):
> Which sounds like a lot of heavy lifting

How is `e` created for the `e => e.DoPurchaseAsync(purchase)` lambda? You're going to have to do that lifting anyways to create an instance for `e` that isn't really a usable instance. Unless you use source generators which we plan on doing.

I think what you have there is a lot more heavy lifting. Also note that workflows and activities are unrelated to each other. Workflow can invoke any activities. The code you have is a bit confusing because `PurchaseActivities` should be completely unrelated to workflows.
Heating a home and mining crypto don't have to be mutually exclusive!
> It was a world of IRC, newsgroups, independent forums, personal websites, DC++ hubs, LAN parties etc. that was nearly totally unrelated to big companies and websites.

I think you just described one of the "sub periods" covered in the article. That phase happened but it wasn't dominant for the whole 15 year era.
I do agree here. I did not own a car for many years living in San Francisco. Rented a car when it mattered. But honestly it also prevented me from doing a lot just from marginal barrier. If my car had been sitting in the garage downstairs fueled up and ready to go I probably would have gone hiking a lot more. Visited the peninsula more often etc. Instead I did stuff in walking distance most of the time. It eventually lead me to leaving San Francisco because my view of it was the 1-2 mile radius around civic center which essentially is all homelessness, poop, and danger.

Just an anecdote, and ultimately felt it was much better to live on the peninsula during lockdowns than to be "car free" and without options in the city.
A disturbing extension of that is if there's some M>N such that only some humans possess M (and others N). I think this must be so (I have a Down's-syndrome relative), the disturbing question is if there's a distribution of humans on gradients from N to M (probably M close to N imo).