skysight-inc/HackerNews huggingface dataset:
Another explanation except "news only show creepy stuff": it's simply that people have different priorities. And we judge other people's life situations according to theirs, and conclude that their lives suck because we would feel unhappy being in their place, just because our priorities are different.

Let's say person A is very career oriented and keeps moving cities and countries to do jobs they are offered, their income skyrocketing, but they don't have any extended family connections or close friends because they move frequently and don't feel attached to the place.

A person B lives where they were born and have a loving extended family, support them and can always expect to be supported, but as a result, they are stuck in a dead-end, poorly paid job with no prospects because they don't have many opportunities there.

Both persons live according to their priorities and are happy; both believe life of another one sucks. And there are plenty of other dimensions in which the same thing can take place.
> What is perplexing is the government has not allowed a “narrow bank” that simply passes deposits into treasuries, which would be much safer

Narrow banks pass deposits into reserves. It is a good idea. It probably needs new statute to work.

It doesn’t make sense to pay the same interest on narrow-bank reserves as on risk reserves because the narrow bank, by design, must hold those reserves. The central bank doesn’t have to compete with other assets to drain that liquidity from the economy. Whether the rate paid to the narrow bank by the Fed is zero, de minimis, the repo rate or negative is a political question more than a monetary one. (Put another way: Interest on excess reserves is a crisis-era invention [1]. A narrow bank has, by definition, no excess reserves.)

[1] https://www.federalreserve.gov/monetarypolicy/reserve-balanc...
Because for most companies switching infrastructure/service providers is as hard as switching banking services.

I have only heard start ups that really need to optimise cost by doing this. But big enterprises and finance companies haven't seen it happen most likely those companies don't really mind vendor lock-in for a nice discount.
GPT is a tool in the toolbox. It can increase productivity, but won't replace a worker.

Fyi, GPT 5 won't be coming soon and GPT 4 vs. 3.5 is not that different in terms of quality.
Big:

* tactics (proof scripts are a lot easier than manual proving)

* syntax extensibility (Racket-like, supports custom elaboration/delaboration)

* mathlib (library of formalized math)

* tooling (can't say it's better, I haven't used Idris, but it's at least a lot nicer than Agda's: rustup-like version manager `elan`, own build system `lake`, official vscode extension supporting mini web apps which can interact with the code)

Small things I can remember:

* do-notation with early return and imperative loops

* easier termination proof handling (provide some expression using function arguments with `decreasing_by` and prove it's decreasing with `termination_by` block, which may be automatic even for non-structural recursion because of some built-in tactic)
I want to build an application that scans restaurant and café menus (PDFs, photos, webpages) to identify which items are vegetarian or vegan. Would this work for that? If not, I would love to hear peoples ideas and suggestions.
Veyron and Ascalon's planned releases aren't "IP to license" releases, but actual chips.

Veyron's supposed to have actual server boards on sale late this year.

Ascalon, CPU chiplets and a full AI accelerator product using them, succeeding their current one, which iirc uses SiFive IP.
If you don't thinking trolling/brigading isn't a thing I've got a bridge to sell ya.
> Donut: DOcumeNt Understanding Transformer

Author: phew! I'm glad there's an 'n' in there somewhere
I paid full price for it on release. Now they are making money with the 2nd and 3rd part of the campaign (sadly, both inferior), and also probably from the coop commanders DLCs.

(Most players never touch competitive multiplayer, but quite a lot might try playing with friends vs the AI ?)
OpenAI does not democratize AI
> Its not fractional. It’s 0%, see FDIC website on monetary policy.

This is nonsense. Reserve requirements were deprecated in favour of finer-grained capital and liquidity requirements [1].

They serve the same purpose, but with a broader consideration than reserve requirements’ “is it a reserve” binary test. Banks’ ability to create money is still constrained by their capital requirements. We are on a fractional reserve system.

[1] https://www.federalreserve.gov/monetarypolicy/0693lead.pdf 1993
You guys have anything on the market yet?
Wouldn't the responsibility on the casino in this case? Am I going to be arrested if I fail to bounce dices X times when I throw them?

Asking because not that I don't believe people cheat this way, but it must be hard to prove that someone cheats or just not good at throwing dice
For many purposes, Starlark[1] could be used as an alternative to Lua. It's also designed to be embedded, it's a very simple language, and has 3 implementations (in Java, in Go and in Rust).

[1] https://github.com/bazelbuild/starlark
I agree with you, I don't like Lua either. I especially don't understand why it's so good for embedding, and how people haven't implemented a subset of the project's original language as a scripting language, so that they don't have to write two very different syntaxes (and programming paradigms).
We are shared earth, but also ethernet has around 600v of isolation (from what I can recall.)
ArcticDB -- a high performance, serverless DataFrame database for Python
> Go search Twitter. There is probably some variation in terms of local languages.

That is not how this works. I'm assuming you have these exact sources since you have brought up the original claim. So the burden of proof is on you to give those exact links that specifically shows that it is indeed 'disinformation' since that is what you have continued to claim. So I'll ask again:

Can you give links to these exact examples and sources in regards to these "'conspiracy theorists' spouting misleading information about "digital ID" and is indeed 'disinformation' and what exactly are the 'claims' that they are making that is in relation to the WEF movement?
Or the site operators could simply use less invasive analytics/adtech.

It’s been a few years now, GDPR compliant analytics/advertising is a solved problem.
My experience of unions in general is more akin to the corrupt demagogues of Rome, or the corrupt magistrate of Japanese historical drama.

Initially they were an alternative, but no longer given current case-law relating to corporate sovereignty and other legal frameworks/interpretations that allow dual faces when its most beneficial (i.e. your a person when it suits, your a corporation and not your responsibility when you'd go to jail as a person).

I've been paying close attention to the rail workers which have been largely absent from media and ruminating on what normally happens when you tell people that they cannot strike and must continue to work without pay increases in the face of staggering inflation over the span of 20+ years.

> Do you think if we start shouting ...

I think, at least from my studies, evil has a way of shooting itself in the foot, and compulsion; coercion and deceit all fall into that definition, at least when it comes to cascade failures and their resulting outcomes (historically, thinking of the Cultural Revolution under Mao).

You can only really do whatever is within your sphere of influence, given the consolidation of power outstripped my generation, there isn't much to do besides prepare for the worst.

If it is inevitable as most cascade failures become at some point, at least insofar that it happens regardless of anything you do, those that are prepared have greater opportunity to survive.

Engines either burnout or stall when the balance of factors disrupts normal operations.

I'll take a look at Timothy Snyder, I hadn't heard of him.

I'm familiar with LL, I liked Lawrence Lessig's presentation on tweedism. Really to the point.

As for your comment about Companies and the economy not functioning without labor. That is true, but its a troubling area because for a time they can function without labor. This is part of why AI/GPT related derivatives should be banned; but that's a topic for another day.
The competitors in practice were REXX and TCL. All three provide embeddable interpreters as libraries, and easy ways to extend what is available in scripts with custom domain-specific functions that one could call from them.
That's whining not feedback. Good reviews are immensely valuable which is why I get really frustrated at Amazon's blatantly hijacked review system.

Sorry to hear about your experience though, I hope subsequent reviews were better.

> It's because I'm human.

I sometimes wonder whether a minority of other people on this planet have reached that level, or ever will.
Can't live without Double Commander. If anyone is wondering how it looks: https://ibb.co/Xbbp9qM
Unless you're dealing with some country in turmoil, at high risk of a revolution, and the government is currently engaged in suppressing dissent, the most likely case is that the content provider is making a business decision to exclude certain geographical locations. Could be market segmentation, could be them wanting to avoid having to follow a very good and beneficial set of laws, which prevents certain abuses and thus cuts into their profit margin (a well-known example here starts with "G" and ends with "R").

Either way, the point stands. Region-locked for bullshit reasons = not on the Internet.
It’s very common in the US as well. It’s called fluoride treatment and is usually reserved for children.
But they're not solving overlapping sets of problems. That's the point.

* WASM competes with native machine code (x86, ARM, etc) as the format of an executable binary.

* Container images compete with Apt, RPM, and tarballs as a packaging and configuration mechanism.

* Container runtimes compete with systemd as a way to manage process trees.

There is no overlap here.
That’s pretty interesting and i think that hetzner price is cheaper than i can self-host.

Powering that host would cost me around £12/mo

That bandwidth is £44/mo

That host itself amortised over 3 years would be £22/mo
I'd say the contemporary perception of moral philosophy is so far removed from Aristotle and the Socratics a modern audience may not even recognize e.g. the Nichomachean ethics as a discussion about moral philosophy if you go through some of its key arguments and points without citing it as a source.
adrian_b vs. health scientists throughout the world and history, ca. 1:1e10

Who to believe here, who should we believe here, hm, very difficult problem, adrian_b's passionate statements or practically all the professionals of the world. I go and contemplate over this for a while now. : )
One quick example: two Virginia Republicans tried to stop Barnes & Noble from selling two LGBT books to kids.

https://www.washingtonpost.com/education/2022/05/20/gender-q...
Nvidia Computex 2023 Keynote with Nvidia DGX GH200 MGX and Spectrum 4
The industrial revolution replaced muscle power with machinery. AI is finally at the place where it can replace brain-power for many tasks, and will likely keep improving. I think you are underestimating the significance of this. I don't see too many horses with jobs these days.
Yes, but even without that there are a fair number of people I'm aware of who live (monogomously) in seperate flats/houses to their spouse.
The first meta-analysis of water fluoridation studies – The York Review – was conducted in 2002 and found that the data on efficacy was limited and of low quality. [1]

A point to be considered here is that the institutionalised belief in water fluoridation for the half-century which preceded the York Review was apparently not grounded in much solid scientific enquiry, if any.

This review was conducted 3 years after the CDC published "Ten Great Public Health Achievements in the 20th Century", which included water fluoridation as one of these great achievements.

Another curiosity of this public health belief was the guideline that water fluoridation levels need to vary in a region based on temperature. This was because it is apparently a predictor of water consumption amounts by small children.

Colder climates were meant to have higher levels of fluoride (up to 1.2 ppm) because people apparently drink less water, and warmer climates were meant to have lower levels (0.7 ppm), because they drink more water.

It indicates that consumption is a very important factor in considering additive levels, and that all other factors are less important than climate.

This was codified in a 1957 paper "Determining optimum fluoride concentrations" (Galagan and Vermillion) [2] which includes their scientific formula:

parts per million of fluoride = 0.34 / E

"Where E is the estimated average daily water intake for children through 10 years of age in ounces per pound of body weight. It may be calculated from the estimation equation E=-0.038+0.0062 temperature, where temperature is the mean maximum temperature in degrees Fahrenheit."

This seems to reflect the kind of scientific rigour behind this belief, and perhaps the absurdity of the formula is why the US DHHS updated their guidelines in 2015 to settle on a flat 0.7 ppm regardless of climate [3].

[1] https://www.nature.com/articles/4801410

[2] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2031310/?page=1

[3] https://www.federalregister.gov/documents/2015/05/01/2015-10...
It seems to me we'll see large glue model, which will be able to read from model last layer and write directly into model first layer and are trained at composing them. Some is already happening, and it cannot be generalized, but the idea of being able to glue already trained medium sized model together and then do a retrain of the whole thing to improve performances seems already establishing itself in products and will allow much efficient expenditure of training resources.
That's not the fault of the underlying technology, if anything it will be EASIER for predatory adTech to display such things when the entire UI is rendered in an opaque <canvas>-equivalent. How do I get uBlock to block specific elements (like a video player) when there is no longer a discrete video element to block?
Right. These games from people who surely know how to use the Internet.

https://www.startpage.com/do/dsearch?query=digital+id+wef+tw...
Switzerland have like one of the best numbers of beds per person in the OECD.

Ireland (where I live) have one of the worst, and I followed the numbers religiously for most of Covid. Without the lockdown/other measures to reduce spread, the health care system would have collapsed multiple times (hence why we had some of the longest lockdowns in the world).

Like, my mother had cancer and suffered massively due to the lockdowns (I firmly believe it was a large contributor to her death last year) but that doesn't mean that they weren't necessary, at least in Ireland.
The addition of 's' has made it an unfortunate name!
"bs crypto" :))
The article is about the 50 Ohm impedance of coaxial cables, not the 50 Hz frequency of the power grid in many countries.
So what if it will take another 30 years? Barely 71 years ago MIT demonstrated one of the first Numerical Control mill for manufacturing [1] that gave us the world as we have it today: from our chairs to our CPUs, nothing could be obtained so fast/cheap/good without automated milling, molding, and so on. It just seems completely unimaginable how by 2094 we won't have synthetic agents being not only great tutors, but also replacing every job that we have today or we will be able to imagine in the interim.

The problem is then with our mental models, our economics, our metaphysics, not with the technology.

[1] https://en.wikipedia.org/wiki/History_of_numerical_control#M...
It is on the digestive system, but the benefits are much greater.
1e10 people is about 10% of everyone who has ever lived. It's more than the current global population.
True! Some books take a while to take off into the meaty part of the topic/story.

Until you reach that point, you may be disappointed due to mismatched expectations.

A good cover + summary + intro + PR can help to reduce it.
With some very long numbers and a hot market for short ones!
>it is beyond my power of understanding how this could be mandated by law in USA

Consider that fluoride ingestion has been linked with increased anxiety and depression[*]. Depending upon one's political objectives, this could be a desirable outcome. For instance, the "anti-terror" decades of invasion would be easier to accept for an anxious public. Or depression may lead to more consumer activity.

https://www.researchgate.net/publication/258252498_Fluoride_...
If the numbers look suspicious to you, I would suggest you check what is found more specifically about your company/organization.

GitGuardian can provide an automatic audit of your company-specific leaks we found on GitHub. Just ask: https://www.gitguardian.com/complimentary-audit-secrets-leak...

More details on how it works: https://blog.gitguardian.com/github-secrets-leak-free-audit/
RE: AI

I think you will enjoy this if you didn't see it: https://www.reddit.com/r/CuratedTumblr/comments/13tpq18/hear...
Business can definitely afford a certain level of "negative" production value. In fact, doing so to their worst clients or especially would be competition can be beneficial to them, as the funds cannot be removed for a time.
Yes, doing this is probably illegal due to banking regulations... If it can be proven to be malicious.

A public institution has to at least actually care about their public image or risk getting voted out, protested or picketed if it annoys sufficient amount of people, or sufficiently powerful people, in a democracy. A private one would just declare insolvency, restructure and rename, while still keeping the profits it achieved by "negative" bureaucratic actions.
> They reduce us to our produce. They ignore the very thing that materializes the creation: the human.

This viewpoint doesn't make much sense to me. When something I make is reviewed, it's that work that's being reviewed, not me. I'm not being reduced as I'm not the thing being reviewed.

And as the primary purpose of a review is to inform others if the work in question is good for them, talking about the work and not the creator seems entirely the right approach.
I think there's a few missing pieces of information (in this discussion, probably could be looked up by some intrepid soul)

Firstly what is the payout rate against, I could imagine it being:

- Plays
- Time
- Stake

Secondly, how is compliance defined:

- Convergence in expected value
- Degree of breach of threshold

On the second one, it's kind of interesting if the degree of breach is 'never breach threshold', because when a machine is 'first turned on' the first play must always be a win (crudely speaking), if the second play has a sufficiently large stake (such that a loss would break the payout rate threshold) then that probably has to be a win too, etc until people can't keep exponentially raising the stages... This is a boot-strapping problem really but still.

If compliance is in expected value then I think any of the rates can be made to work

For a rate in terms of plays or stake then you can just have a binomial variable with some probability. In this case each player/play would be exposed to the same probability; each play would be independent.

For a rate in terms of time the plays would not be independent because the duration of previous plays and payout would affect what payout with subsequent plays would be, so you would need a dynamic adjustment of odds over the time domain, but this can still converge.

For a threshold like you describe then at such a point you would breach the threshold you may need to payout in a situation where you would have not paid out when converging in expectation.

I think what you are saying is that this shunting of probabilities would make the process not random.

However, I think the probability that a 'shunt' occurs could itself be modelled as a random variable dependent on the play history. Assuming some random properties to the sequence of plays (which is a reasonable modelling assumption), this would still be random.

It wouldn't be 'fair' in the sense of giving each player the same probabilities or for plays to be independent, but it would still be random just a distribution weirder than a bernoulli one.

Also FWIW:

> I wouldn't expect the payout laws to be written in such a way that "eventually"

That is exactly how I'd expect them to be written, seems the most natural way to do things, with the same ultimate benefit.
Someone else gave a very good definition, but I'll add that historically, the Lambda Calculus was a system designed by Alonzo Church to get a formal notion of what "computation" means in mathematics. As in, a formally-defined set of rules for how a computation can be represented, and then be mechanically carried out to achieve a result. The need for such a system came about because of mathematicians wanting to define what it means for a function to be computable in a formal sense, and to be able to define and prove other theorems about computation. The other famous model of computation, which was invented at about the same time, was Alan Turing's "Turing machine", which he used to prove that the halting problem was not computable.

Just for a short taste, in the lambda calculus the base entity is an abstract function that can be applied to a variable and return a result. You are probably familiar with formulae like `f(x) = x`. In the lambda calculus formalism, this is written as `\lambda x.x`. However, it's important to note that there is no direct equivalent to something like `f(x) = x + 1` - addition or numbers are not a part of the lambda calculus directly. Instead, you can define numbers and then addition in terms of functions and variables.

Instead, the lambda calculus has rules for how function application should work to reduce complex formulae to simpler ones. For example, `(\lambda x.x) y` reduces to `y` [equivalent to f(x) = x; f(y) = ? => y]. Or, `(\lambda x.y) z` reduces to `y` [equivalent to f(x) = y; f(z) = ? => y]. And, if we go on to more complex expressions: `(\lambda x.x) (\lambda x.y) z` reduces to y by applying the reductions above successively (first we reduce the initial expression to `(\lambda x.x) y` then we reduce this to just `y`.

It can be shown that this model of how to reduce the formulae of lambda calculus is in fact equivalent to the model of the Turing machine that can write a symbol on its tape.
Well, extinction is also a form of evolution.
The drama around Go modules comes immediately to mind as a counterexample – and that one was a technical snafu that impacted many projects using Go. Pobody’s nerfect.