skysight-inc/HackerNews huggingface dataset:
That's a great argument for keeping the official system neutral and uncorrupted but given how things are going, it's kinda too late for that.
Hello! Thanks for your question.

First of all, there are three layers of abstraction within Caten:

1. caten/apis | High-Level Graph Interface
2. caten/air | Low-Level Graph Interface
3. caten/codegen | AIR Graph => Kernel Generator

The inputs of the compiler are just Common Lisp classes (similar to torch modules). For example, in Common Lisp, we could create a module that does SinCos:

(defclass SinCos (Func) nil
(:documentation "The func SinCos computes sin(cos(x))"))

;; Forward creates a lazy tensor for the next computation.
;; You can skip this process by using the `st` macro.
(defmethod forward ((op SinCos) &rest tensors)
(st "A[~] -> A[~]" (tensors)))

;; Backward is optional (skipped this time)
(defmethod backward ((op SinCos) &optional prev-grad)
(declare (ignore prev-grad))
nil)

;; Lower describes the lowered expression of `SinCos`
(defmethod lower ((op SinCos) &rest inputs)
(let ((x (car inputs)))
(with-context
(a (%sin (%add x (%fconst (/ pi 2)))))
(b (%sin a)))))

The `apis` layer is the high-level interface, while the `lower` method is the lower-level step before code generation.

Next, the framework generates an Abstract VM (AVM) representation:

#S(AVM :GRAPH Graph[seen=NIL, outputs=(STC6466_1)] {
<ALLOCATE : TID6464 <- (shape=(1), stride=(1)) where :dtype=FLOAT32>
<Node[BUFFER] ALLOCATE(NID6480) : SID6479* <- ()>
<Node[BINARYOPS] ADD(NID6484) : BID6483* <- (TID6464, LID6481)>
<Node[UNARYOPS] SIN(NID6486) : UID6485* <- (BID6483)>
<Node[UNARYOPS] SIN(NID6488) : UID6487* <- (UID6485)>
<Node[SPECIAL/VM] PAUSE/BACKWARD(NID6501) : STC6466_1* <- (UID6487)>
})

Then, the computation graph is translated into schedule items:

FastGraph[outputs=(val_6)] {
{ Allocate } : [ val_0 <- (1) ]
{ KERNEL } : [ val_5 <- val_1, val_0 :name=FUSED_SIN_SIN_ADD_LOAD6511]
}

Finally, the code generation step produces the following C code:

void fused_sin_sin_add_load6511(float* val_5, const float* restrict val_0);
void fused_sin_sin_add_load6511(float* val_5, const float* restrict val_0) {
val_5[0] = sin(sin((val_0[0] + 1.5707964)));
}

This C code is compiled by a C compiler and executed.

So to answer your question: the compiler takes Common Lisp code and generates C functions.
Inside the sphere.
One is payed to the state, the other to another person, as in one regulates the relation to the state, the other the relation to another person.
That describes the typical straw man in the argument. Many people with some university preparation try to take a position that empathy for the suffering of ordinary people is greater if you performatively believe in systems and colonization.
> Your TOML is rather convoluted, a more normal way to write it would be

Anecdata, granted, but I've seen a lot of TOML written exactly like the "convoluted" example, and none like your more spread out version.
Very well said "people gravitate toward the simple and assume the difficult is impossible." I often get grief for saying people are lazy - I will use your careful tone
This is my understanding as well. What matters is that the records contain PII, not where it came from.
They can, however, take all his profits from the new show until he's square.
Jones continued to inflict harm on families who’d lost children, and profited significantly from it both financially and politically. He defied multiple courts, too, so there was no question of premeditation or incapacity, just repeated decisions to cause harm year after year.

That’s the difference: true crime podcasts don’t cause harm on that scale, and few people are going to defy the authority of the legal system the way he did.
That's not what this judgement says. It actually says the sale did not generate enough money for the creditors and the process should be run again. I think the Judge maybe naive in thinking that re-running an auction will generate more money (normally it will generate less, as the losing bidders will drop out) but he did not agree with Jones' claims.
Just to add to this point, in fact Chicago has increased spending by 50% yet test scores have kept decreasing -- https://www.illinoispolicy.org/chicago-public-schools-is-spe...
> If you obtain personal data from other sources,

This is the case where you are a website, e.g, using "Login via GitHub" and GitHub sent you the users email address.

What you are asking is for a third party to tell you of any possible instance where your email address is mentioned. This is absurd.
Not only on your phone. It does the same on my laptop on Firefox.
If the system is the best then it should work. If it worked then there wouldn’t be a bunch of people cheering on a cold-blooded murder.
I think it just has to be understood that "choice" means choice for some but not for all, and society has to be OK with that. (I'm not OK with it).

In a system with a mixture of public and private schools, the public schools will always be a necessary feature of the selectivity of private schools. Not only to accept "problem" kids, but also to operate in areas where it's not profitable to run private schools, or in cases where private schools run into financial and management problems and must be bailed out.

So it's not so much that the private schools are "better" but that they both function as interdependent parts of a system.

On the other hand, there will always be a need for special education... mainstreaming all kids in one classroom hasn't worked very well either.
Probably not all profits but yeah, substantial garnishing.
Isn't this just circling back to the original ontic vs epistemic though -> map vs territory?
That would be comparing apples to oranges, you want apples to apples.

Everyone replaces their car at some point. If you are comparing a new EV, its best to compare its impact compared to a new ICE. We all know its probably best in most cases to keep any vehicle, even one that is inefficient, on the road for its useful life.
> And it's especially rich in a time where the most popular podcast genre is women commenting on brutal murder cases as they're fresh and being investigated, and throwing out their pet theories about real living people being responsible. What's the difference?

I am totally fine with convicting those for slander too. It is a pretty disgusting market.
Shout out to the Red Book.
Breakfasts aren’t provided as a form of babysitting. The prevalence of breakfast clubs in schools in low income areas should be a hint as to why they’re instituted. After school activities are more babysitting adjacent, but if parents can’t afford after school minding but really need to hold down a job, it seems like a great idea that also gets kids into sports or chess or whatever.
Maybe. What do you think we disagree about? Open to hearing your POV.
QXmpp 1.9.2 – Cross-platform C++ XMPP client and server library
Scientists have to get good at marketing because they will not get funding otherwise. They have to pitch their research towards an interested panel though, whose members have background knowledge. This means that they can merely bend the truth and exaggerate the potential impact of their research.

Popular science magazines are quite different. They publicize for views, and nobody cares how accurate they are.

Presentations of a public company are somewhere in between. The target audience is not nearly as qualified as a scientific grant panel, but they can sell shares or even sue the company if it underdelivers on its promises.
It's a 30-second read, so it didn't particularly bother me.

I've done consulting in esoteric products, so the content is accurate and a useful cautionary tale.

Imho, the skill gap is the original sin. If the team inheriting ownership is seriously underskilled, no amount of knowledge transfer is going to fix that -- so stick to whatever is dirt simple and most obvious in language du project.
Does this spam their inbox? How do you mitigate that?
>He was fined over a billion dollars, in what world is losing a billion dollars no consequences?

Parent’s point is that the amount of the fine doesn’t matter if he is able to avoid paying it. It could have been a quadrillion. A fine only matters if you actually have to pay it.

On an average-person-level, some municipalities nearby me have decided to not basically not do anything about parking fines. As a result, there are vehicles that over ten thousand dollars of fine. But they are still allowed to renew their registration and drive their vehicle. So it’s just a made up demerit.
It's not a punishment, it's a debt. If you steal a sandwich and eat it you'll be fined, that's a punishment and a transaction with the state, and you'll also pay the owner damages, which is not a transaction with the state.
The sentence you're claiming isn't hyperbolic is hyperbolic. While you can absolutely reasonably disagree with the judgement, I don't believe you can reasonably use a phrase like "seems like a nut" to summarize his part in this, if you're at all familiar with it and are being honest. "Immoral" would be the absolute minimum descriptor one could employ, even in the context of cold objectivity.

And why should we compare this to the podcast you're describing? They're two completely different kinds of immorality, and are not teams I must pick from.
You both seem to agree that LLM answers are just noise
I wish somebody would figure out a way to get the Smart Keyboard Folio working with the 13" M4 iPad Pros.

I bought one with the Magic Keyboard and returned it. The MK makes it into a laptop and that's not really what I want. The folio is perfect for me. It doesn't add much bulk, it can fold all the way around to be flat, it's easy to remove, and is nice to type on (IMHO).

So I'm back to using my well loved 2018 iPad Pro with the Smart Keyboard Folio. It's my favorite computer to work on. Not sure what I'm going to do when it finally dies. I don't think I'll have many options aside from giving in and getting a Magic Keyboard. To me, it seems to be the least worst option.
Just to be clear, getting banned from a slack got you mad enough to spend weeks (?) arguing with some random guy over email about GDPR - all because you desperately need to know what was said about you in a groupchat? And then you write an article about your experience to get sympathy on HN?
The complaint that many things are implementation-defined is a (valid) complaint about the spec, though.

JSON is essentially just a specification for some syntax. When you actually want a full and well-defined serialization/deserialization format, this can lead to fun surprises with JSON.
Nope, no hard border. Just progressively more difficult (and not linearly). My assumption is that, because any such large-scale human endeavor is a network, the complexity increases by some superlinear rate with size unless a almost superhuman effort is effected to counteract that.

Even in the 50-90M range, healthcare systems start to show serious orchestration/efficiency/coordination issues. Healthcare is just the final boss of this type of thing, because everybody needs it and there actually isn't enough to go around.

Regardless yes, I think the US should definitely have states try to figure this out at a smaller scale before even thinking about trying to achieve it at a national level for 300+ million people. Added benefit that some friendly competition amongst states might actually help move things along.
You have zero knowledge of my consumption or my life. You also know nothing about my environmental care or actions. You’re extrapolating from my use of a computer to post comments to assume my use of energy is a net negative, which is as bad faith as it is wrong. It is possible to live in such a way that you reduce your impact to a minimum in some areas and then do a net positive in other.

Additionally, the number of people who consume Google’s services is irrelevant. Millions of people consume tobacco products too, it doesn’t make it positive.
Yes. Certainly not a uniquely chaotic time period, but we've left a stretch of time that was unusually calm (relatively speaking). The chaotic period we've entered seems even more chaotic by contrast. We're only at the front end of it, though. In a few years, I predict, we'll be wistfully reminiscing about how calm things are right now.
Thanks for sharing. I'm livid at the scope of injustice, corruption, and lack of accountability...

From a previous discussion [0]:

> I wish they'd not bury the lead here's what it is: For three decades, Chevron dumped billions of gallons of cancer-causing oil waste into the rivers and streams of the Amazon Rainforest in Ecuador.

> This produced a devastating environmental catastrophe that resulted in the deaths of thousands of Indigenous peoples and farmers. Even today, Indigenous communities continue to face imminent risk of death due to exposure to Chevron’s toxic waste.

> https://chuffed.org/campaign/free-donziger/bb

> The youtube video description doesn't even explain it.

Here's a link to their Patreon to continue to support such informative creators [1], and a link to the Free Donzinger campaign [2].

[0]: https://news.ycombinator.com/item?id=41848861

[1]: https://www.patreon.com/Boy_Boy

[2]: https://chuffed.org/campaign/free-donziger/bb
Not to be confused with Varying Vagrant Vagrants ( https://github.com/Varying-Vagrant-Vagrants/VVV )
> Your task is to ...

Don't project.

> Scream Hitler all you want

You're a better judge of your own faults. I had someone else in mind.
Hello, it is the same idea as tinygrad and apache tvm but in common lisp.

So yes, you could call it a lisp ml framework.
I think widespread approval for cold-blooded murder indicates a fundamental problem with the system that needs to be fixed. You think it indicates a problem with the populace that needs to be fixed.
Another request:

[spoiler alert]

My strategy was to put the numbers in this pattern

11116
22226
33336
44446
55556

It works most of the times quite well. I clear a normal column from time to time and get more space. Slowly the 6 acumulate and I get the last column. I got 200 points almost without thinking.

Perhaps if you add 7 it would be more challenging (or completely impossible).

Another posibility are willcard (that are good for any number) or crap (that must be deleted with a gren ball).
Internet usage and prospective risk of dementia: Population-based cohort study
That's like saying Xfree86 is a fork of X.org, MySQL is a fork of MariaDB, or OpenOffice is a fork of LibreOffice. "Forking" is an event that happens in time, so project A cannot be a fork of project B if A existed before B.
I feel like your first paragraph has some slight sense, but then you demolish it with the second paragraph which just shows that you actually have no idea who Alex Jones is or what he has done
I am totally fine with holding all media accountable.
Non-native speakers care about grammar.
To elaborate, we treat pointers as more than just integers because it gives optimizers the latitude to reorder and eliminate pointer operations. In the example above we cannot do this, because we cannot prove at compile time that x doesn't live at the address returned by oracle.

For some high-quality further discussion, see Ralf Jung's series of blog posts starting with https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html
Sokka Haiku Bot Iteration on Comment on UnitedHealth CEO Andrew Witty
> The colloquial term for USA however is "amerika", which is exactly what Americans call themselves colloquially.

This reminds me of something I was thinking about recently.

I started noticing a few years ago, when I began listening to a lot of podcasts made in the UK, that there's a gap between how Americans colloquially refer to ourselves and how the rest of the world does. The upshot is that the term "America" is used much more liberally overseas. For example, journalists overseas will often use "America" and "American" even when referring to our institutions, cities/states, and leaders, whereas domestically we will switch to "the US" or "the United States" in those situations. Put another way, domestically we usually say "America" when referring to our national and cultural identity, but often (but not always) use The US or The United States when referring to our country. I'm an American, but I live in the United States. Anthony Blinken is the US Secretary of State (foreigners will say American Secretary of State). Britain's ally in WW2 was the United States, and they were glad when the Americans showed up to fight. Gavin Newsom is the governor of the US State of California. If I return from 6 months abroad, I might say "Gd bless America" after my first bite of real cheeseburger. We'll chant USA! USA! at the Olympics and make an impassioned argument that American cars are the finest in the world. And so on.
Authorities Detect 50 Drones Fly from Atlantic Ocean into NJ
Yesterday afternoon, during a Congressional Hearing, long time NJ US Congressman Chris Smith advised the committee that Sunday night a unit from the Ocean County, NJ Sheriff's Department Department detected a flight of 50 drones flying in from the Atlantic Ocean and continuing into and over NJ skies.

Smith also reported that the Commander of the US Coast Guard stationed in NJ told Smith that one of its boats was followed by 12-30 drones while on patrol Sunday evening.

Smith has requested the Department of Defense to take proactive action to protect New Jersey's coast as well as taking down and capturing one of the drones.

Meanwhile I have not seen any front page newspaper headlines nor top of the hour news casts. Nor any statement from the President in response to a direct report from a veteran US Congressman that his state is being invaded from offshore by unknown actors. How can this be?
(That was just an attempt at a joke, btw)
I think doctors' incentives are more aligned with patients than the incentives of insurance companies. I agree that incentives aren't perfectly aligned, but I'd rather a doctor decide whether I should get a treatment than an insurance company, given the system we have.
The example in this blurb is a pretty good one: https://www.hboehm.info/c++mm/why_undef.html
I think you're confused about who/why survived on the Titanic...
> I think Tesla is going to win this.

If Tesla can do level 5 in 2-3 years as you say (and that might be a pretty big “if”), that places them 5+ years behind Waymo.

What leads to the win here, then? Waymo constrained by the cost of LIDAR? Is it truly such a massive % of build cost that they can’t succeed? Is it that Tesla is vertically integrated?
Bankruptcy runs by different rules than foreclosures (which is why people about to be foreclosed on often file bankruptcy). Specifically, junior creditors are protected, and everyone gets a proportionate share of the proceeds.

In a foreclosure, the senior lienholder usually gets the property and the junior lienholders either get nothing or get what’s left over after the senior creditor gets whatever they were owed.

I’m really not sure why the creditors in this case did a shady no bid deal… it seems they would have had an easy time buying out the junior creditors and then getting whatever they want, although I’m also not sure why anyone would want the “infowars.com” domain and a warehouse full of vitamin pills.
Funding varies by locality, but yes, the public schools get funding from the federal government, the state government, and the local government. Most local funding is provided by property taxes, which can vary by local housing valuations. Most state funding programs try to allocate funds to equalize the per student funding across the state to help correct the discrepancy by locality. Federal funds are usually grant related, but oftentimes those grants are need-based or targeted to higher needs groups (% on IEP).
Would love to read more about how you have mobx structured here. I have a similar graph of mobx objects for something I’m building but haven’t come up with an ergonomic sync story yet.
This looks really nice and the prose had a positive/easy-going feel to it.

When the actual code examples begin, the very first couple of lines confused me:

package hellope

import "core:fmt"

Is the quoting of package names optional?
Job Security, Lasting Choices: Birth Rate Insights from Germany and Australia
Yeah I'm not denying that, he clearly caused harm. But he's definitely being punished for it.
Ok yes. I agree with your summary of our positions.

(Except that I think it's not really "widespread approval", it's just a very vocal bubble that gets amplified online.)
> I can’t stop myself from thinking that working on a book for 6 months, doing its projects, is a huge waste of time for me, and because I already feel late, I find myself, yet again, in a cycle.

That’s such an important observation. Many of us have become so fooled by the notion of fast consumption and immediate gains that we have all but stopped putting in the meaningful work.
No public testing, no benchmarks, no clear information on context window size or restrictions for extensive use, no comparison with the newest Claude Sonnet 3.5 or O1, nothing.

What we do get is a price of $ 500,- per month from a company that has been caught lying about this very product [0] and has never allowed independent testing.

Cognition, I am sorry to tell you, but there is no reason to trust you. In fact, there are multiple good reasons no to, even if you offered Devin at a fraction.

If this were e.g. Anthropic launching a new beyond Opus size model that was still performant and came with "chain-of-thought" capabilities, a far more extensive context window that still fully passes needle in haystack and is absolutely solid in sourcing from provided files, keeps on track even when provided with large documents, has few or no restrictions on usage and comes with extensive, verifiable benchmarks that showcase this offering being a significant upgrade over other models, maybe such a price could be justified.

You know why Cognition? Because they haven’t actively lied. What they did instead was let people use their models and actually test the advantages. Even Claude Instant way back when had certain use cases that made them have their own niche and showed they could execute before expanding with 2 and the larger context, then 3 with more applications. You never did any of that, you never gave anyone reason to believe what you claim, you didn’t even release benchmarks. See the difference?

Seems more like a simple cash grab, attempting to ride the O1 wave. OpenAI has a hard time justifying their Pro pricing, you doubling that makes this an out of season April fools joke. Waiting for the inevitable reporting that this is just another API wrapper for Claude or ChatGPT with our old faithful RAG.

[0] https://www.youtube.com/watch?v=tNmgmwEtoWE&pp=ygUJZGV2aW4gY...
Hey, don't get me wrong, I had an old LaserJet IIp back a couple decades ago and loved it dearly for the unstoppable, if often very picky and difficult, battleship that it was.

I wouldn't have it back these days, though. A LaserJet M203dw serves the same role in my current fleet, with vastly higher output quality and input flexibility, and vastly lower environment and consumable requirements; I've lost count of the book blocks I've used it to produce, and the next time it lets me down will be the first.

Meanwhile, the "finicky thoroughbred" role in my current fleet is filled by a Canon Pixma Pro 100, which takes eight easily refillable ink tanks and is extremely particular about which laptops it wants to be friends with. This is tolerable in a machine that produces gallery-quality 13x19 prints on demand, at incremental cost basically only of paper. For a document laser, it's been a long time since anything other than total imperturbability has been a reasonable expectation.
I like that it looks like the print book. I have dual screen and when it comes to tech books. I few the pdf fullscreen on one monitor while trying things out actively on another. when I'm on the go, it looks great on a ipad.

for novels where I'm reading for story, I use a kindle but for textbooks, I strongly prefer pdf