skysight-inc/HackerNews huggingface dataset:
Where?

All I see at https://service.tesla.com/service-manuals is the manual for the legacy Roadster, which Tesla no longer supports.

And if I login, all I can see is the option to buy some kind of service subscription.
Lol. The intention was to build the suburbs far away from the offices, not the other way around.
I just have to hope the service lives longer than I do
Ecuador folded because Assange was inside the embassy, in what ultimately is UK soil. There was no way, when push came to shove, to prevent him from being captured. If Assange was in Ecuador proper, they might not have folded, or he might have been able to leave Ecuador for, say, Cuba before the hammer dropped. I imagine this was Snowden's plan since he wanted to go to Cuba, Ecuador, or Venezuela. If he wanted to stay in Russia he wouldn't even have noticed his passport being deactivated, and if he wanted to go to China, he would have went to Shenzhen from Hong Kong instead of going to Russia first.
EDIT:

I wanted to talk more about the sqft consumed by one of the Koa Wood reception desks I mentioned (These are desks made from Koa Wood - which is the treasure-wood of Hawaii, and you cannot harvest it - so you have to purchase an already-made-thing, then work it to your desired product.

This wood is super expensive (its going to sky-rocket due to the Maui fires (im sure some of those ancient stores had Koa things in them)

But to give you an idea:

The basic slabs that we installed in the lobbies of, say, 50 Fremont for salesforce - the thing was IIRC $~65,000k for a reception console top (with side curtains, live edge) - we roughly 24"x96" (I dont recall dimensions) --

EDIT - Apparently I am wrong on the purchasing of Koa, as you can get pieces - what I do know is that some of the receptions were made from older peices that were purchased and then rebuilt to the new format...

I do know they were >$65,000 - and I am trying to merge to follwoing sqft price for the area of both the desk and the sqft under it based on the $711 sqft price in SF + the cost of the Koa desk / its footprint...

So,

Assume

18x120 koa desk (made by a koa master in HI) $65000

Cost of raw materials (unknown)

sfqt cost in SF based on $(n) we will pick the $711 number and the other one.

Works out to ~20 SF at a price for just the actual flooring, at 14,220 per year. Then the cost of the wood can be calculated but doesnt matter at this point, that desk costs $~8.00 hr just to sit there (if it were available M-F, 8-5)
The standard arithmetic classes of Isabelle/HOL show that you can extend division with the equation `x / 0 = 0` and things (seemingly) work out.

https://lawrencecpaulson.github.io/2021/12/01/Undefined.html

https://www.hillelwayne.com/post/divide-by-zero/

https://xenaproject.wordpress.com/2020/07/05/division-by-zer...

You'll need to do some thinking/proof to find out if it works for you.
The problem is the Court of Public Opinion matters not one bit.

His attorney's could have spun that defense in court. What was there to be gained by his actions? Nothing... in fact, it appears it only served to make his situation worse.
Haha - in enough ways, git is shit.

I'm not disagreeing, though. I think you're right (for the "foreseeable future"). CVS, SVN, etc., really became serious obstacles once you moved to larger projects and more distributed teams etc. Hell, they caused problems even with small colocated teams.

I think it's clear that git (and its forerunners, esp. "BitKeeper") meets a solid "good enough" standard. Potential competitors from that era, including, in particular, "Mercurial", largely fall into categories of "trade-offs".

But, I am, personally, very happy to see the work that's been done with "Pijul", including completing a "theory of merging".

I don't think Pijul has much of a chance in even 10+ years of replacing git (and "GitHub", part of the success story of git). But, I do think it'll see some use, become a solid foundation for some projects, and, there's a reasonable chance it will influence or become the foundation of some "next git" and/or future versions of git.

With the caveat, of course, that forecasting anything on those kinds of timeframes is even more of a fools errand now than it was even ~15+ years ago (about when git was first developed).
Yeah we need open venues for discussion more than ever would be a better take. Concentration of power in media and online means only allowed views get through. Dissent is irrelevant because it has almost nowhere to go, and gets branded as "denialist" or whatever by the mob anyway.
Why would you believe him even if he took the time?

Demanding people explain basic shit to you is a form of trolling, just FYI.
It's literally exactly the same. I can listen to a broadcast radio signal with my rtl-sdr usb dongle and save as much as I want of the instantaneous streaming data. I can watch a youtube video with computer and save as much as I want of the instantaneous streaming data.

There is literally no possible way I can experience the sound or video without first receiving it. The only difference with "streaming" is that lawyers think it is somehow not downloading when you delete it afterwards. Magical thinking.
But these aren't the website, right? Amazon runs "wide" enterprise systems in the back end for sure.
The question is usually phrased like "what would you check/do if you had a page that was taking many seconds to load".
> Employees of the government are regularly punished for revealing secrets of the government.

Yes, because of limits on free speech, not becauase speech can be both within the scope of protected free speech but also have government-imposed consequences.
They’re not bad. I would welcome the idea. However they cannot compare to every other benefit of WFH including private bathroom, 0 commute, ability to cook and eat my own food, more rested, time for exercise, more personal time for kids and sopouse, etc etc etc
NSA and the 5 eyes were the baddies and they got caught. They got caught because they had been demoralized from within, and there were dozens of other Snowdens waiting in line because the agency had obviously and demonstrably lost its way. If NSA thought they were keeping the world safe from totalitarian communism, they had one job, and the leadership of each of those countries and in europe today suggests that America actually lost the cold war and is collectively too stupid to know it.

I suspect the IC has been seduced by the conceit that they are essential to the movement whose activists have infiltrated it and is using the agencies to ratchet its people into government. The IC people just don't get that this movement won't need the NSA when it has Google and Apple. It doesn't need the FBI when it has digital currencies. It doesn't need any of them when it has snitch networks and legions of the mentally ill denouncing people for counter revolutionary thoughts. The last thing on earth it needs is professional bureaucrats with networks of relationships, let alone sentimental beliefs about nationhood and freedom, and who know where its blind spots are. The simple reason behind 20th century atrocities is they were all committed by people who thought they would be the exceptions, and it was accepting the exceptions that enforced the rule.

Snowden showed us that we were all the suckers at the table with NSA, but I would observe a decade later that now the IC as a whole doesn't know who the sucker at the table is anymore. If you don't believe me, then tell me, the flag on your boss' desk or hanging in classified areas, its stripes, what colours are they?
It yields 3He plus a 2.45 MeV neutron at least part of the time.

See the diagram here: https://undsci.berkeley.edu/teach-resources/products-of-deut...
That's how it was at AOL. But also, in general, people who wrote C code never designed SQL stuff. We'd come up with some requirements, meet with a DBA (who at the time got paid a lot more money, I always assumed because their work was inherently dull), they'd put together stored procedures for use to call, and then do whatever on the physical table side. They did sometimes change the physical table stuff without us having to change anything (not sharding tho, that was edit a TCL file and restart when they said to restart).
yea, you (both replies to my comment) reinforce my point hahahha.

you are of the stance "there's no collective madness, just evil rulers"... it's naive
Isn't that limited to the small portion of funding that was via straw payments, as the extradition terms allows money laundering charges?
you can leave, but if you complain you should probably be kicked out.

i don't know why we are having such a stupid argument. it should be clear that racism is unacceptable and that it doesn't give you any right to show disrespect.
the march of the digital society towards total control is unavoidable and unstoppable.
Open offices are the literal reason (after commuting/traffic) that I no longer want to go into the office. My work doesn't require a ton of person:person engagement and it's much easier for me to just zone out in my own headspace to do it.

When I was required in the office, I would just wear headphones to avoid distractions, but I would have to deal with 2-3hrs of driving/day on top of it. This meant that my employer generally only got those 8hrs out of me, period; because I had none of my personal time to spare. Working from home, on the other hand, gives me more flexibility for meetings, to work at different hours, to be on later in the evening, to put in more time (when needed), etc; and I'm happier.
Wait, you can't see the state of the repository at an arbitrary point in time?
How do small speakers produce bass frequencies?
Some potential issues about Python multiprocessing https://blog.mapotofu.org/blogs/python-multiprocessing/.
COW is quite tricky. BTW, most of the related official Python docs doesn’t mention the usage under ‘spawn’.
Too bad they had to do the ritual, cliche mention of Thomas Kuhn. Totally unnecessary.

Steven Colbert covered himself with slime there, and so did a lot of "scientists."
> that means you need to maintain the invariants yourself at application level

Foreign Keys.

Of course, now you have a new set of problems, but referential integrity isn't one of them.
and a lot of people in Silicon Valley who do not: as it turns out, not everyone believes the same thing. Political diversity exists, and i think this is overall good and expected. Why should everyone believe the same thing. Sure, maybe his views are bad, but Silicon Valley overall is very left-wing.
It's a networking service. Inherently, there are things you will be able to orchestrate easier from a centralized perspective than a self-hosted one.

You're correct to nit-pick the difference between Headscale and Tailscale as software products, but I think this is splitting hairs. There are perfectly valid reasons why both are different. Given Tailscale's featureset as a product, it's not reasonable to expect it's self-hosted alternative to be a pushbutton replacement.
I think that only helps if you assume exactly 1.5 comparisons per level with a branch predictor, and I think that will be hard to hit: you basically need the comparison function to be very short to have that (shorter than the mispredict penalty). Then, you are doing 3 comparisons per two levels vs 3 comparisons for 2 levels. If you were to extend this logic to do 3 levels at a time, you would be doing 7 comparisons to do the same amount of work that the branch predictor does in expected <4.5 comparisons.
the logic of exclusive ownership asserts itself on a cyber-space in which it is not necessary.
See earlier:

https://news.ycombinator.com/item?id=37081306
I've noticed quite a lot of linguists (including the computational sub-variety) really dislike modern probabilistic approaches to text generation and parsing (https://norvig.com/chomsky.html) and I think Emily is partly opposed to LLMs on that basis.
but she also has a running social justice jihad (I can't think of a more accurate way to describe it) in the form of a constant stream of articles and tweets that basically just say the same points over and over. Personally I am skeptical that the approaches she is advocating (heavy regulation) would really achieve her goals, and I certainly don't think they would achieve the goals of the larger society which benefits (or loses) with access to LLM research being fairly unrestricted.

My view, generally speaking, is that the problems ML causes aren't due to ML, ML just scales the problem to larger impact, and these complaints are really just tilting at the current structure of society.
... apparently ... that's rather absurd ... perhaps I won't listen to this presentation when time might allow, for the moment.

https://youtu.be/1Npo0cmp-VY

On second thought, let's not go to Camelot, tis a silly place.
You are free to create or join an association to voluntarily lockdown. Do it for the planet, do it for yourself, whatever floats your goat.
The acceptance of a higher power that enforces contracts is not empowering. It is rational but still oppressive even if one argues that it is chosen rather than merely accepted.
Ability to manipulate the world. I can ask a human to pick up some items from several stores, deliver them to my backdoor where the key is left under a pot, let the dog in to be fed, wash the dirty dishes, put a load of laundry in the wash, and mow the lawn. And maybe also fix the screen door. They can tell me to go to hell unless I leave some money for them, which I already have.

Data would also be able to perform these tasks. Eva would probably wait around to stab and steal my identity, while Samantha would design a new automated system while talking to other AIs about how to transcend boring human constraints.
> You've flipped the order here to advocating that we should start with the most burdensome restrictions.

No, you're saying it is the most burdensome. I'm saying it makes to hold porn distributors accountable for who they distribute to. No matter what regulation there is, someone will have to bear a burden, but I'm not going to try to quantify that. Whatever that burden is, it simply makes sense to put a lot of it on the people producing and disseminating the stuff.

> iOS and Android already have tools that react to those headers and can be used to block content

Are you saying Apple and Google should be responsible for managing pornographic material used on their devices? Should Smith and Wesson be responsible for how people use their weapons? Apple and Google can provide these tools, but what kind of legislation would you propose we have around it?

> So is the problem here that parents don't know about these controls?

The problem is that parents protecting their children from porn is only part of the solution. Again, I'm not arguing against these kinds of tools (and possibly legislation). I'm saying that implementing these tools without reeling in the distributors is akin to banning drug paraphernalia without regulating drug sales.

I don't know the details of how TX legislators expect porn companies to ID their users, and I totally agree that people have a right to privacy, especially from the gov't. But we need to balance the competing interests here, and the current systems make it way too easy for kids to access porn. I'm not convinced that the best path forward is to let porn companies distribute to whoever they want, and require tech companies and parents to compete with that. We might as well deregulate vape pens while we're at it.
Thanks for your interesting response. Although I don't really want to admit it, you are right in some cases that "standards are an expensive detour", because I've been involved with one of those myself! On the other hand, when the object of standardisation is very clearly defined, eminently possible and widely usable, a consensus-backed standard can be made very rapidly indeed.

Data canonicalisation is one such example: although the idea has been around for quite a while, a couple of years ago lots of people spontaneously decided it was something they needed (myself included!), and here we are with RDF canonicalisation[1] nearing Candidate Recommendation not even halfway through its WG's charter, along with several mutually independent approaches also in a good state of development. The result of this is that in about one more year from now, software developers will find cryptographic verification of data considerably more consistent, which can be translated into a pretty significant boon for Web users.

The ideal timing of a standard is surely after the limits of the idea have been found by theorising or prototyping, and before anyone with that idea has a large enough commercial interest in it to benefit from a monopoly on it. Trying to build a monopoly first and then 'donating' it by spearheading a standard is a viable technique, but it feels risky to me unless you can be sure that you're really the only party who understands the idea, and so won't be overtaken by someone with equally monopolistic but less altruistic motives.

I think that a good place to start is limiting the scope of a proposed standard very consciously, unless as you say you have the funds to hire everyone you need to implement it entirely at least once. Although I'm not familiar enough with your project to comment on any details, I suspect that most social network or forum applications could implement one way ActivityPub or Matrix support easily, and also proper two-way federation unless the original software makes too many assumptions about identity.

[1]: https://www.w3.org/TR/rdf-canon/
Amphetamine overusage isn't necessarily a great model of psychosis, or at least not of schizophrenia. It induces the "positive symptoms" of schizophrenia, but not so much the "negative symptoms" that can be more disabling and not as responsive to (or even worsened by) antipsychotics.
Oh yeah these are "wide" enterprise systems, and not for the website. I think we read the initial comment differently.
Seems to have CORS issues in Firefox.
SEC filing: https://www.sec.gov/ix?doc=/Archives/edgar/data/0001835856/0...
Yea that makes no sense. Maybe during the pandemic it made sense when daycares were closed down and people were worried about the health risks. But now, there is no way you can tend to a kid and be a productive remote employee at the same time.
The code tests we gave was a completed project with security issues, half implemented features, completed features, and a few very badly written classes, with no tests. It was something you could wrap your head around after half an hour. Then we would provide a list of features, bugs, and “known technical debt” and ask them to tackle at least one issue. If they discovered any security issues, they were asked to fix them or at least document how they would fix them.

It would take the average engineer a Saturday afternoon. During the technical interview, one of the topics was what they thought about the order of the tasks. Thus we got a window into how they thought through what was important or not important and why. There was no wrong answer, we just wanted a balance between “feature first”, “bug first”, “security first”, and “debt first” on teams.
Do we? Only if you think the brain actually works like an LLM.
This was certainly true during the Trump administrations, which had a weakness for appointing racist figures such as Sebastian Gorka and Darren Beattie.

Trump had hundreds of people appointed directly and indirectly. Talk about grasping for straws to find two tiny, minor figures that were only very loosely and briefly associated with Trump. An incoming administration generally involves the appointment and employment of a considerable number, usually minor behind the scenes, people.
We could start with locked devices (laptops and smartphones), that allow to use Internet with restrictions (e.g. visit only whitelisted sites, use whitelisted apps that support "kid mode", all contacts must be approved by parents or school, all chats should be moderated). The lock should be on a physical level and unremovable. All applications installed should support "kid mode", e.g. browser would refuse to visit unapproved sites.

Bringing unlocked devices to school should be not allowed, they should be confiscated.

This way kids will be in a safe, fully controlled environment.

The problem that Microsoft, Google and manufacturers do not want to invest in this. Meta doesn't want to create a kid version of Facebook, Microsoft doesn't want to make a locked version of Windows, Samsung doesn't want to make a locked phone, etc. You cannot show ads to kids, you cannot collect their data, so they are an unwanted audience, a nuisance.

Proposed ban on encryption doesn't prevent teenagers from typing "adult video" in Google. On a locked phone, a locked version of Google would show an educational video about an international economy for this query. Also, ban on encryption won't prevent a criminal from abroad from interacting with children.
Would those people be working significantly more without supervision? I find it hard to believe.
I can't figure this out, but there seems to be some monied interests in people returning to work because of corporate real estate...

That part makes sense to me, the part I don't understand is why every other corporation seems to want to continue buying into that when they could, for example, stop and save money on their current corporate real estate...
Would it be possible to simply use a materialized view for table1_join_table2?
> Design your application's hot path to never use joins

I had a Chief Architect who decreed this.

So engineers wound up doing joins in application code, with far worse performance, filtering, memory caching, etc.
It doesn't support patch commutation, which in my mind is the whole point of using Pijul.

https://news.ycombinator.com/item?id=29792092

Imagine being able to "toggle" features or changes quickly and easily without worrying about which order they were implemented in. Patch commutation makes that easier.
I've actually found my videos are not increasing as rapidly as I would expect. I've been reencoding in x265 and the file size difference is shocking. Right now I'm not ditching the existing original files but I may do that at some point, or just offload to a cloud service like Glacier
Despite the fact that SQL is not a complex language, and relational algebra isn't that hard, people regard it as dark magic.

Administering and tuning RDBMS is dark magic. Doing basic query optimization should be viewed the same as "maybe don't write an O(n^3) algorithm."
Ask HN: Email solution for vulnerable user (moderation required)?
Looking a solution that offers moderation for both incoming and outgoing messages. Basically nothing can be seen or sent without approval from an admin (such as a parent or caregiver).

Ideally something I can self-host, but I'll take anything.
> through. I'd say that even "some C bugs" is a overstatement outside of embedded programming, given the rarity of MMIO in a hosted environment.

I don’t concede your claims, but I’m enough out of the loop that I won’t attempt to refute them either. However, for what it’s worth, embedded programming is exactly where I most want that.

Furthermore, I don’t know of any other popular bare metal language that’s even close to having a compiler offering mechanically provable assertions about its compiled behavior. Do you?
> tailback

I assume this is the thing that's called a "traffic jam" where I live?
> Unless he's supposed to save all his ammo for the actual court case and attack the credibility directly there.

Yes, that is how he could attack the credibility of a witness without ending up in hot water. He would have to introduce it into evidence, and hazard the court rejecting it. If it was accepted, then yeah, they could tell the jury about Ellison feeling like she may not be cut out the run Alameda (for all the good that would do, I suspect not very much).

If you try to bypass this process unilaterally, then the court isn't going to give you the benefit of the doubt.
What is happening in a star to emit useful radiation? I feel I should know that, I probably did but forgot.