skysight-inc/HackerNews huggingface dataset:
“Freedom of speech does not mean being free of consequences”

By that definition, everyone in the world has freedom of speech.
Wait, so, spelling mods are right wing ?
> Building a BirdPi…

https://birdnetpi.com/
Each moment is eternal, yup. This guy knows whats up
If the periodicity is broken by any measurement we have been able to make so far then how do we know the periodicity is there in the first place? Just theory? If it’s not too much of a burden could you outline the proof of the existence of time crystals?
If I were to do desktop on the JVM I’d probably use Kotlin’s desktop compose. But I’d probably also weigh out .NET Maui/Avalonia in that case too.
Harness trained the cat and we get outside now.
“Top from the previous bull run” is still pretty arbitrary, from a random-walk perspective.
> It is pretty hypocritical though for Mr. Free Speech to fire people who have concerns rather than address those concerns in a civil dialogue

No, not really, since this has very little to do with free speech. Free speech does not mean that you can communicate with your superiors, or in fact any other person you're in some relationship with (spouse, family member, etc.), in arbitrary ways with no consequences.
Random thought - doesn't S3 have a leasing/locking system that could be used for distributed locks?
> Tether isn't the only stablecoin out there.

The end of Tether will be the end of stablecoins, just like ICOs ended completely at some point.
I share this perspective, it's why Vale chose generational references over a borrow checker.

In practice, the borrow checker has to reject a lot of perfectly fine patterns, such as observers, dependency injection (the pattern, not the frameworks), delegates, backreferences, many forms of RAII [0], graphs, etc. Sometimes, the workarounds lead to more complexity, less flexibility and decoupling, and more refactoring which would be unnecessary in other languages. This is likely why GUI is difficult with the borrow checker, and why one has to bring in frameworks to compensate.

The borrow checker can prevent certain kinds of logic bugs at compile-time, which might mean a release lets 9 bugs into production instead of 10 or 11 (comparing to a safe language with a strong type system). However, that tradeoff might not be worth it, depending on the domain. Flexibility and decoupling can be more important, at least in the domains I've worked in (roguelike games, web servers, apps) and the size of the program. There are domains where it's better to add more complexity to detect even more bugs at compile-time, that's where I'd choose Rust (or perhaps GC'd FP languages, which prevent even more bugs). Just my two cents!

Note that this is only a problem if a programmer is a bit too religious with borrow checking; in practice Rust offers reference counting which can nicely avoids these problems.

One of Vale's principles is to move checks up to compile time, but prefer not to when it causes too many architectural problems or "infectious leaky abstractions" so to speak. This is also why Vale will be using coroutines (similar to Go) instead of async/await.

It's also why we're adding a region-based borrow checker, which is opt-in and doesn't impose constraints on its callers. [1] If we do it right, it should give Vale a lot of the performance benefits of Rust's borrow checker, but without the complexity and architectural constraints.

[0] https://verdagon.dev/blog/higher-raii-7drl

[1] https://verdagon.dev/blog/zero-cost-refs-regions
Does anyone know what price it needs to drop to to no longer pay for mining? Like with the most efficient rigs? (Particularly with energy prices going up.)
How does it work? End to end encryption? It looks centralized, so who is the person running it?

The idea sounds nice. It would be amazing if there was a cli friendly lightweight alternative to matrix.

I assume they use SSH for transport security. How do you discover content or message others though?

If it were up to me, I would enforce PGP signing for all content and PGP encryption for private messages. The network's key will be ultimately trusted by all clients. When accounts are registered, their key is cross-signed. Standardize it a bit and keep it very simple so that others can spin up their own "network". Network capacity scaled by means of mirrors, typical OSS style. Ban==signature revocation. Come to think of it, why is this not a thing already?
You need to consider not just the memory access itself, but the consequences of preventing it.

With a compile time check, there's a development cost but absolutely no runtime consequence.

With a dynamic check, sure the memory access is detected and blocked. But if you stop there the application crashes, which may be completely unacceptable. In an embedded system such a crash may be as bad as the incorrect access itself.

More generally, the issue is not so much the incorrect access than its possible adverse consequences. With a compile time check, there are no runtime consequences. With a runtime check, there are still runtime consequences: either the impact of an application crash, or the extra error handling code and behavior to deal with the detected wrong access and mitigate it at runtime. Whether such consequences are acceptable or not depends on the context, but it's there and do make a difference with a compile time or static analysis check.
Tech stocks are down about %40ish and some IPOs I tracked are half or less. Bitcoin has gone down from $70k to $20k in a year, that’s close to 350%. Not to mention it’s down 500% since the $100k high.
The Linux distros use OpenPGP/X.509 keys stored on HSMs for their archive security, and a set of per-maintainer keys that are used to verify changes to the archive. RubyGems/Cargo/etc could use something like that.
I think your argument is too strong. I'd be willing to agree that humans are happier when there are clear expectations and consequences.

Well, as long as the only reachable consequence is not "too bad, you are going to be exploited by someone else and then you die".
probably the best phrasing would be even faster

basically let's set up a standing pipeline to develop multivalent vaccines for every coming season (we already have the yearly for influenza)
Lack of interest and volatility of BTC's value I guess.
Adding not so common audio formats to audioserve will not be so different. We'll just need to add mime types (and extensions), that are recognized as audio.
Also we will need to enforce mandatory transcoding for such formats.

Anything, which is supported by ffmpeg can be considered.
The Law of Contradiction
A bit difficult to communicate with him at the moment I imagine.
Yes, the article is a joke.
my similar approach is one golang webserver binary that runs across multiplatform,and do ui in a browser,is redbean a similar idea but using lua instead?
Given that the youngest boomer (born 1964) is 58, I think it’s safe to say that they have had little to do with the economic system or technology of the last 10-15 years other than perhaps funding it. Has there been any noticeable improvement since 2010 or is the problem the economic system rather than the generation of its drivers? And the boomers are giving up their jobs and positions and leaving the scene as desired.
How have they gone insane? Can you give some specific examples?
A tool that does the reverse would be nice. It would remove the fixed width formatting, detect paragraphs/headers/URLs and produce simple HTML so that you can read comfortably on any device form factor and click on links ;-)
That's not a definition, it just constrains the universe of possible definitions. Hence you can't come to this conclusion because you still haven't defined it well enough to say who in the world has it and who doesn't.
You know you can train them to use a human toilet too?
Cats are self-cleaning. A big plus.
Yes, any process can call a heartbeat. If the lock hadn't been acquired (by any process), the heartbeat call fails.
Those that are complaining about the output being html are missing the fact that the content is accessible over http://, gemini:// and gopher://, my guess is that they have libraries that convert the plain text of the home page to each of those formats and what you are seeing is the html conversion of the actual content, but that doesn't mean that the content itself is not indeed plain text.

To those that are complaining about discoverability: go to the gemini and gopher versions of the home page, and you will find a list of content made available by the users in those respective formats, I'm guessing no users are publishing html content hence the list of user generated content (which is supposed to be at the bottom) is empty in the http version of the home page.
I think what OP means is: if you've already paid for the hardware, it make sense to keep mining until the cost of electricity is higher than the value of a coin.

And I agree with that.
Has anyone gotten less than 400K?

Heck, less than 440K?
the first pronunciation is also a latin form of salute, akin to "farewell".
Taking A/B testing to the extreme (hope you find it funny)
That's because they don't live in a community where it is normal to pool childcare and rotate, so they do everything by themselves.

Grandparents also still go to work, do no help on that front either.
Not the best idea according to discussions a few months back. Cats peeing a lot or very small quantities is apparently indicative of problems, which you can't detect if they pee in a toilet.
> GPT3 and large language models seeming to generate text with deep understanding is fundamentally different than the past. Aka foundation models.

GPT-3 doesn't seem to have any deep understanding judging from these probing examples.
https://mobile.twitter.com/_drbruced/status/1536578325455736...
While both tools serve similar purposes, I think this one is a bit different as it provides a raw stream of any file in a torrent via HTTP, not "just" video :)
Unfortunately, you do need _some_ sort of TTL because there is no way for the lockable server to know when a remote process has simply died.

However, TTLs can be set to be arbitrarily long (e.g. multiple days), which means, in practice, you can avoid losing locks due to networking issues.
The evidence posted doesn’t even remotely back up the claims made by the poster. The only thing they’ve really shown is that open long interest on bitfinex is up quite a bit.

There’s literally nothing that could show how many traders it is, nothing that shows whether the trader(s) are underwater (hint - there are many other venues to hold positions on), nothing that shows what sorts of non-btc collateral might be posted (and the chart even shows a rise in BTC collateral), the claim that 1.8B of a position is impossible to unwind is laughable

Dumping in crypto is (deservedly) all the rage and especially so on HN but this is massive speculation without much evidence backing it
In my opinion the greatest example is Bret Victor's keynotes:
https://www.youtube.com/watch?v=PUv66718DII
https://www.youtube.com/watch?v=8pTEmbeENF4

Key points:
* Simple to get it (without external knowledge)
* Demos
* Content sections and small focus time
I ran it four times, with four different starting interest rates, that never changed throughout the 240 months.

The best run was the 0% one: 442670.

All results:

2%: 238773

0%: 442670

50%: 21106 (early crash)

4%: 255726

Edit: Forgot to note that, while the other runs got the +12% iMac trees and the -12% drought/disaster events, the 0% run also got a -10% "loss of faith in the market" event thrown at it as well.

So, 0% interest rates and 0 banker interference is good enough in the SimCB model, and can normalize its way through random negative events too.

Anyone else with results from other constant interest rates?
Funny nobody talks about the collapse of the stock market here on HN.
It's trustless when it isn't centralized. Not sure what your point is if not don't trust centralized entities to handle your crypto?
> $1.3 Million US dollars

Whoah whoah whoah what... Okay, I have no doubt it costs a ton to make this but can someone tell me how they got the contracts in order to actually produce this? Who needed this and who committed to pay upfront before it was fully developed?

[But omg these insufferable oscilloscope UIs. Please stop with this shit and just simplify it. We don't need fake bevels and ugly gradients.]
Cool concept!

Feedback:

The log should have scrollback and/or be expandable. When a lot of things happen in succession it's impossible to keep up.

Pausing, and maybe stepping months, would be nice as well.
Previously on HN:

https://news.ycombinator.com/from?site=twitter.com/bitfinexe...
Cats have their own opinions and are very self-reliant, dogs tend to be much more subservient. I don't like that last trait in anything or anyone.

I have two Russian Blue cats, they are smart, fun, playful, and they entertain one another. They are loving, cuddly, and empathic. The biggest benefit cats have over dogs (I also love dogs!) is that I don't have to walk my cats, they simply use the litter box and that's it.

My cats don't go outside because I think pets should be kept inside. Cats that go outside kill birds, they poop in gardens, they walk on cars with their sharp nails, and they get hit by motor vehicles quite a lot.

Keep your pets inside, and when you take them outside, put a leash on them.

When I find myself living in a more rural area (later in life) I will definitely want a dog, though. Without strangers around I would let it run in my enclosed yard without a leash, and it would serve as a guard dog, too.

Still, I'd say I prefer cats for the simple fact that they form their own opinions. Dogs (when raised as such) are typically overly friendly to pretty much everybody, and are easily bribed.

My cats do what they want to do, the dogs I've had in the past would do whatever I want to do and I just dislike that overly subservient behaviour.
If I start it then those problems exist. However, the starting point is that academics have to suffer

>funding bureaucracies, which eat nearly half of researcher time

which should motivate some academics to come up with a better system. A network of academics with published papers has already established their reputation. Parents and recruiters in companies who studied the same field can evaluate the background and can assure their children that it is solid.

Such an university doesn't have to be started in a void. The internet allows for something like a kick-starter evaluation to check for demand. Only when there is enough demand is there a need to rent or buy buildings.

For a student, it is not without risk to start with that university. However, like every startup, there is a possibility for high reward when the self-selected academic network creates an exceptionally productive scientific environment.

*edit: With a reputation for solid scientific research, is it necessary to spent time on research grants? Wouldn't companies come knocking to research their tough problems?
I think the only saving grace there is that the sentients sending such transmissions would presumably want to be understood, and would ensure a Rosetta Stone of sorts was packed along with the message; the common element of reference probably being the mechanism of the transmission medium itself. Contrast that with the Minoans here, who were just writing for other Minoans. But given how much culture and biology is inevitably encoded into even our human languages, one does sometimes wonder if we're even asking the right questions.

I hope I live long enough to see one of the various SETI initiatives pan out into such an amazing discovery. As a child, I thought it inevitable; pushing fifty, I'm rather less sanguine.
Welp, just take my money. I haven't been disappointed by a single ZT game yet. I even have my Shenzhen I/O patch for submitting a custom level.
Sure a gold standard is more punishing, and eventually that may force people into better behavior, but by then it may be too late, and you'd be losing out to any country that does bail out their banks. There are always going to be instances in which individual actors don't care about the institutions they're a part of, and the institution isn't guaranteed to catch this bad behavior. For example, plenty of analysts knew that they were screwing over the banks that employed them by buying unsustainable CDOs, but they didn't care because they were making crazy bonuses. Meanwhile, all the C-suite sees is that their underlings making money by buying AAA rated bonds. There's no reason to believe that would have been prevented with a gold standard, just as the Great Depression wasn't.
Not hard to understand why. During a crisis the assets that are considered the most risky are the first to go, and crypto assets fall in that category. Then it becomes a spiral, where new lows bring new sellers until it reaches an equilibrium at some point.
The only concrete issue they raise is that apparently asking Saudi people with English as a second language what pronouns they use is somehow discriminatory towards them? And that is bad, because they care about that diversity, which isn't 'woke' but don't care about other diversity, which is 'woke'.

Is there some flowchart that outlines which diversity they like? Could be a very confusing conversation otherwise.
How do you know Bloomberg isn't an opinion piece?

Truth is hard to come by these days.
so pay in cash, not funny stock.
Don't overestimate humans. Most people (adults, not toddlers) can't even draw a bicycle, even if they used one for most of their lives, so presumably they have a conceptual understanding of how it looks and works.

https://www.fastcompany.com/3059089/it-turns-out-its-almost-...
I love both, but in different ways.

If forced to choose, I'd have to say dogs because they're more predictable and versatile.

Dogs also tend to act more like they want to see you. Yes, I know cats love their owners as well, but the way they show it is usually less anthropomorphic. Dogs on average also seem much more loyal, but this also means they also depend on being a part of your "pack." Stereotypical it may be, I find cats to be more independent on average, but the tradeoff sometimes means they'll either ignore you for long periods of time or go off on a "hunt" if they're an outdoor cat. Though I relate to the independent attitude of cats, I like how you can count on the loyalty of a dog. A dog's loyalty can easily outmatch that of most humans within the context of canine abilities.

Cats are in a way more interesting because I find their personalities vary much more widely than that of dogs on average. I've known cool cats, dog-like cats, ornery cats, curious cats, graceful cats, goofy cats, brave cats, scaredy cats, lazy cats, "wild" cats, and so on. It's hard to beat cats when it comes to handling small vermin. Dogs can do that too, but most cats are pretty good at it if they learn to do it early enough.

I don't like choosing, though. I think the world is a better place with both dogs and cats, and can't definitively say whether I truly prefer one over the other.
Good questions:

> How do you ensure that a lock isn't acquired by two requests?

Indeed, the compare and set is done atomically. It's guaranteed that the lock can only be acquired by at most one process.

> How do you release a lock reliably? How do you solve the problem of releasing accidentally while using a resource?

A lock is released in one of two conditions:

1. the /release endpoint is called
2. the lease on the lock expires

I'm not sure what you mean by "releasing accidentally" - if nobody calls /release then the lock won't be released.

> Can the lock jam locked if the process dies?

Locks come with a lease which expires after a set amount of time. If lockable doesn't receive a heartbeat to renew the lease, the lock is released automatically.

> I would use Consul for this or I would try avoid needing to lock to begin with.

For sure Consul is an alternative, so are ZooKeeper and things like ETCD - lockable is intended to be a no-setup alternative to something like that.
This really can't be overstated. Propaganda was highly effective even as words on pieces of paper distributed once a week or infrequent AM radio broadcasts.

I believe the old idea that would hold even more so now is that the only defense against propaganda is essentially to be illiterate. It is really hard to propagandize a person who can't read. The more informed a person believes themselves to be about the world from text, the more propagandized they are. I believe that is from Edward Bernays.
"Because we're the good guys" is not a good argument.

But even if you go that route, would you say the same of a US under Trump?
Might not be that simple. In a recent demo from Unreal Engine they said that the facial animation data is the main bottleneck to shipping titles with more realistic avatars. Their minute-long demo took many TBs to store the motion data alone.
Ah, but you actually do need to care about all that stuff too if you're going to run code someone else wrote in your browser, or at least if you're a security engineer for that browser. That's how 0-days get you.

It's not a problem for your own programs because you're not trying to hack yourself, but if you're an aggressive enough developer you will find bugs in your compiler. In fact, this is a great reason to have full test coverage.
My bad, he's the most egregious offender of that BS in the media space. What I'm getting at here is that the US has no true left. Your workers are exploited and healthcare/education/life costs are making it so that jumping over the poverty line is getting so hard you might as well live in a third world country.

And somehow the narrative is about the non-existent 'radicalized left' doing stuff and cultural Marxists trying to change our pronouns. It just feels sad to hear.
Conceptually, that's how it works, however, instead of keeping an HTTP connection open, lockable expects to receive periodic heartbeats /hearbeat to keep the lock acquired. The TTL is variable, and can be set depending on the use case.
Those experts don't understand the absolute free speech principles that Elon Musk cherishes
Yep, thats what we mean with dereferencing, aliasing, and dealiasing.

That statement is referring to our sample program, a roguelike game that we use for benchmarking. As for why this is the case, I'm not sure! I suspect its because a lot of classes will alias/dealias objects without ever dereferencing them, such as List<T>, HashMap<T>, etc.
Both. But I don't have my shit together enough to care for another life form adequately. Their company would be nice, but I have strong reservations about following a dog and picking up their feces. In an ideal world, if I owned a dog it would remain outdoors and with its own dog house. Let it bury its poo and roam free in my large backyard (ideal of course, I can't even get a house in reality).

Cats similarly poop all over a house until trained. Dealing with their hairballs and worms is also not something I look forward to. I think in their minds I would be their pet, a position I must accept after careful consideration.

But in seriousness, I don't see why I can't pick both.

If forced, depends on the dog breed. Golden retreiver wins over any cat and any cat over a pit bull or roweiler.
Voting population is also typically less than half. 2020 US election was an outlier at 66.8%.
> C has no concept of vectorization

OK, but vectorisation is exposed by the instruction set, as instructions[1]

> speculative execution, branch prediction, ... caches, MMUs

How would you expose speculative execution & branch prediction? Cache behaviour is well understood so what's wrong with it? What would you do to expose MMUs to the programmer, and what would they do with it/how would it help?

[1] but aren't there libraries that expose it just fine in a portable way?