skysight-inc/HackerNews huggingface dataset:
No. Undefined behavior means one thing and only one thing, at least when it comes to C: "behavior, upon use of a nonportable or erroneous program construct or of erroneous data, for which this International Standard imposes no requirements"

There's no such thing as "insofar as both specifications apply to it, that is defined behavior, not undefined behavior." Undefined behavior in C that is standardized by POSIX is still undefined behavior. Indeed, that is why "Possible undeﬁned behavior [includes] behaving during translation or program execution in a documented manner characteristic of the environment." Behaving according to the POSIX specification on a POSIX system (or according to the specification of any system on that system) is explicitly accounted for in the definition of "undefined behavior."

These things are objectively, inarguably true, and recorded in black and white. I do not understand why you are so relentless in trying to gaslight HN about them. Just stop.
There's a speaker behind each runner in the starting blocks to avoid that being a factor.
Naturally one can't know all the languages of the world.

Even so, I have done consulting since 1999, with a small 2 years pause in research, and have several languages that I keep switching, every couple of months when project reassignment takes place.

The usual T-shape kind of consultant, know some stuff really well, and others good enough to deliver.
This is true, though an AMD 5700U mini PC might go for $300, or less if you can find a bargain. However, it will hands down dominate a N100. 2.5 to 3x faster, not to mention the APU (vega 7) for video/gaming capabilities. I was always Intel, but AMD has really stepped up in the last few years. Their APU line up is top notch, and pretty incredible for the mini PC market (and laptops). The newer gen are great too, but for the best bargains, then Zen 3 lineup is the way to go
The "navigat[ing] through latent space" sounds very interesting. Do you have any class docs going over what you teach, or other docs/sources to learn that?
They say they are collecting the water, not dumping it. They say they even collect rain water that lands in the ponds in case it is contaminated.
If you're suggesting that Steam doesn't have an effective monopoly on the PC market, I have bad news for you. One of the biggest differences between Steam and Apple is that Steam does a better job of hiding the effects from users who will lash out at creators who talk about problems on the platform.

An indie creator I follow recently implored fans to buy their next game on Steam and not other platforms... because in order to be profitable they absolutely needed to get their game to be ranked on Steam above a certain review threshold, and reviews of the game would only count towards their ranking if matched with specifically a Steam purchase. And once again, I get this weird feeling. I'm struck that at the point where a creator is begging users to reinforce the most dominant PC gaming platform because if those users buy the game somewhere else that has better creator terms and fees, the platform will (in effect) punish their store listing, something might be going wrong with the market.

Sometimes Apple advocates will point at similarly bad situations in other markets and say, "what, are you going to regulate that too?"

Don't threaten me with a good time.
This seems like a really bad idea, because it will allow areas with large amounts of corruption to use corruption to manipulate the vote. Any state could add thousands of votes to the total and change the vote, whereas limiting that to a few battleground states means that people can clearly figure out where they need to investigate and spot fraud, and this will be restricted to battleground states not areas that are extreme in a spicefic direction where fraud is most likely to happen.
> the opinion [1] seems to indicate that the geofence itself is not admissible, but evidence obtained as a result of it is still admissible

That means they can geofence to get a short list of suspects, and then file proper warrants for some of them if they have more clues?
The compact addresses that -- states that aren't part of the compact and don't produce vote counts just won't be counted. It won't matter because the compact states would have enough EC votes to ignore those other states.
Haven’t had the chance to play with WezTerm just yet but wanted to share that the author is an incredibly smart, friendly, and humble.

Had the opportunity to work on a project together at work some years back and I can only aspire to be 1/10th as good of an engineer as him. A true hacker.
I don't think I'd want to have a system using exit polls... they've been wrong before. Once you're using polls why have elections at all?

Anyway, my point is states opposed to the NPVIC already have at least one good idea to stymie it. I think they could come up with plenty more. What if states refuse to certify their own votes until a majority of states vote to force a result equivalent to the "old" system?
There are a few capabiliti es lacking from Algolia which I'd really like to see in a replacement:

- Negative search / exclusion: the ability to exclude terms from a search, as in "procfs -linux", which would look for any references to "procfs" which did not also reference "linux".

Edit: This exists, see dang's reply below.

- Replies to a specific user, e.g., "by:dredmorbius inreplyto:skeptrune <search terms>". I'm often looking for a specific context of my own previous comments.

- An improved date-bounding interface. If there's one thing that frustrates me about Algolia's interface, it's the GUI (and syntax) for defining dates. It's cumbersome, and at least on my browser, the dates are generally hard to read or invisible. Going back years is especially cumbersome.

I'll add: Algolia has been massively useful, and the fact that I can search HN, especially for my own content, has been a huge part of the value of the site, and is worlds ahead of other online platforms. (Mastodon / the Fediverse is catching up here, Diaspora*'s lack of search was among my main frustrations with the site and explains my absence there after more than a decade of participation.)
Covariance and contravariance are mathematical notions, and have to do with whether each multiplicative constituent or the tensor is a vector in your given vector space (covariant) or a linear functional on this space (contravariant). There is no inherent physical meaning to either concept.
Now, if only it could be used without necessitating JavaScript...
It would be cool to have this without the AI stuff.

Also, does the WASM build perhaps enable using Postgres as an embedded db, where typically SQlite would be used?
I work on neural nets back in the mid 1980s, so I was somewhat familiar with their structure, backpropagation, squashing functions, etc. I wanted to get back into them, so I started by rederiving all backprop formulas by hand here https://github.com/tbensky/NeuralNetworks/blob/main/Backprop....

Then I wrote up a NN from scratch in Python to train some simple vectors and even got it to train some MNIST characters https://github.com/tbensky/NeuralNetworks/blob/main/ANN/ann.... (but it was slow).

With that basic refresher, I got into PyTorch and worked on training a PiNN: https://github.com/tbensky/PiNN_Projectile (neat video of it training: https://youtu.be/0wlHa1-M7kw).

Now I'm working on understanding kernels with CNNs (this is my question, I'm making good progress on answering): https://ai.stackexchange.com/questions/46180/kernels-on-a-tr....

Having loads of fun!
Your "nobody" is doing all the work. Steam distributes to Windows, but you aren't required to use Steam to distribute to Windows, and then many people don't. Adobe isn't paying Valve to distribute their suite. Epic doesn't use it for Fortnite. Random enterprise software developers have nothing to do with it.

It's like pointing to the existence of people who willingly buy a BMW as a justification for forcing everyone to buy a BMW whether they want it or not.
Words can have more than one meaning. As far as I know, no one voted you to be arbiter of all terms and their One True Correct™ meaning. It's pretty clear what the previous poster intended to say.
Sure, if everything one does is either CLI stuff, or UNIX daemons, containers, ....

Because in the reign of graphics , GUI, GPGPU, HPC, HFT, ML, game engines,numeric analysis, ... there is hardly any library that really stands out.
If a patient is asked do they smoke, and they vape but don't smoke, I'm thinking that most will answer that they do not smoke.

Heres a thought: Data wise, lumping vaping with smoking is a favor to vaping manufacturers who resist stricter regulations. It lets them hide behind an argument that its safer while not showing what the actual risk is vs not doing it at all.
LORAN was great for being in the right part of the ocean, but being up to 1/4 mile off when navigating land is unacceptable as a replacement for GPS.

WWV isn't a precision timing source, and is only sporadically available depending on a number of factors.

The best option would be something like a sub carrier on DTV and FM broadcasting, along with a beacon at all cell sites.

Auctions of the airwaves are a hidden tax, and should end.
Global male cancer 2022 statistics, 2050 projections using population estimates
User-specific search is possible in Algolia using "by:<username> <query>". So "by:dredmorbius privacy" will find my posts or comments on privacy.
On the topic of Hacker News search… a useful trick that not enough people know is that you can take the ID of a story and use search to return all comments ordered by most recent first - great for keeping up with what’s new in a specific conversation.

Eg for this thread the most recent comments can be found here: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

I built an Observable notebook to save me from having to manually construct those searches here: https://observablehq.com/@simonw/hacker-news-homepage
Language Server Protocol from Debug Symbols
> The path forward appears to be radical ISA switches

Why up to this day people still can't make x86 clones? The amd64 architecture is nearly 20 years old, and lots of compilers target ancient processors.

What kind of legal protection is there that is lasting for that long?

(Anyway, I'm glad RISC-V is taking off.)
This shows you have important your letters are.
Ah, they abandoned the old code with the bad license: https://github.com/c-smile/sciter-sdk

At least something is BSD licensed: https://gitlab.com/sciter-engine/sciter-js-sdk

They sure hate admitting that: https://sciter.com/prices/

(and the links on sciter.com go to the old repo, abandoned for a long time.. I really don't understand why this is supposed to motivate anyone into using it)
If they were as smart as Apple, they'd probably try!
Bush 2 won it at his re-election, but Regan was the last Republican to win his initial term with a popular vote (and no incumbent advantage).

Also of note is that of the five times the popular vote winner did not win, four of those times it was the Republican who won and once it was the more conservative of the two parties (before the Republicans existed).

So yeah, the EC so far has only ever benefited the Conservative Party.
Are we not all sinusoidal in the eyes of the Function?
California bill would abolish state fire hazard rankings
And what if he has a decoy snail?
IIRC somewhere on the Python mailing list archives there's an email about whether to add the HTTP redirect handling and then SSL support - code to urllib, urllib2, or create urllib or httplib.

How does performance compare to HTTPX, does it support HTTP 1.1 request pipelining, does it support HTTP/2 or HTTP/3?
That’s not the behavior that’s in question.
What I'd like to see come back is amateurship, or at least non-professional, non-salaried participants again. Like, it's not their main gig. They do something else, but are level A amateurs who love a sport or activity without getting paid a salary.
IIRC, they have a single pixel wide display that strobes the logos, similar to a persistence of vision display.
F.B.I. Investigating Hacking That Trump Campaign Attributes to Iran
Interesting! Except I put a game camera in my room facing the door. I couldn't even get fresh towels without calling 4 times. Maybe I was just lucky.
Works great on iOS but can be a bit fidgety. I bought a data-only eSIM for Switzerland and as I crossed the French/Swiss border I had to go deep into the settings menu to enable the eSIM, set it as the data primary and keep using my primary SIM for phone calls and FaceTime, but then also disable data roaming on my primary SIM as to not accidentally occur charges in case reception of the eSIM fails. And disable roaming on the eSIM so I wouldn't occur extra cost if it connected to the French network, as I was close to the border. When going back to France I would disable the eSIM, set the data primary back on my primary SIM and enable data roaming on that SIM (after waiting for it to connect to the French network).

It would be nice if there was a more hands-off approach when crossing a border, or some sort of "do whatever is going to cost me the least amount of money" approach to roaming and having two SIMs.
"We've solved democracy! ... by disenfranchising a whole new set of voters."
Does anyone know how this compares to EGUI in terms of performance, binary size, flexibility, and overall experience?
And Trumpism ensures they will never win the popular vote again.

A Lincoln Party or some other new, reformed, conservative party of integrity would stand a chance however—something I welcome, though I would not vote that way.
She's done the reconstructive surgery now and seems to be handling it well. That last year must have been living hell.
That's the number of hours it took to do all of the paperwork necessary for the acquisition, times the hourly rates charged to the government (as a general rule for USG cost-plus contracts, 1.5x the developer salary to cover benefits, contractor overhead, etc.) by the people doing the paperwork.

The one I remember best from when I was working gov't contractors was that there were forms that certified we were currently complying with all current US trade embargoes and sanctions regimes. So we had to investigate and make sure that we were complying with them all- the State department has a searchable list of all the people and companies that are under various levels of sanctions. But that paperwork, times all of the other forms we had to fill out, times a competitive bidding process (with possibility for appeals) to make sure the government wasn't getting ripped off, etc.

This can happen in the private industry as well: I remember once seeing a whole bunch of level 2 managers in a conference room battling it out over exactly which laptop to buy for ~15 developers who needed special extra beefy hardware for a project, and commenting to my L1 manager that the price difference between the two laptops was less than the cost to the company of that meeting, so it would have been wiser to just buy the more expensive laptops and forget the argument.
The difference between a million dollars and a billion dollars is about a billion dollars. The difference between Meta 'smart' sunglasses and an AR headset is an AR headset. How are they 'onto' anything by selling sunglasses with a sneaky phone camera strapped to them? People wear them like sunglasses, because they are?
You are correct- what used to be considered scientific psychology is not up to the standards of rigor that we would still call it science nowadays.

It was at one point used as a psychology research tool, but it does not work well for e.g. predicting mental health outcome differences in different groups of people, and has been superseded by things like the Big Five personality traits, which are slightly better but also probably not that useful. MBTI is probably inappropriate and useless in the workplace as other people on here are complaining about.

Nowadays, I don't think it is appropriate to use it for anything except "for fun" or as a simplified tool for making sense of and using some of Carl Jungs ideas and techniques.

Carl Jung himself has had a lot of pushback in modern times for not using scientific methodology, and having ideas and methods that aren't even testable with modern scientific methods. I've heard people even say he "set psychology back 50 years with pseudoscience."

I disagree with that, because his methods and ideas work very well for myself and a lot of people. I think he was way ahead of his time in finding "hacks" that work to improve mental health, and overcome psychological challenges... however his ideas and methods were so far ahead of his time it will be a very long time still before they could potentially be connected to any sort of mechanistic or biological psychology, or neuroscience. They should probably be regarded more as spiritual or psychotherapy tools, in the same vein as things like meditation- but still not totally worthless nonsense like astrology.
I think the people who find this definition to be mysterious are really looking for (borrowing from Ravi Vakil[0]) "why is a tensor" rather than "what is a tensor". In that case, a better answer IMO is that it's the "most generic" way to multiply vectors that's compatible with the linear structure: "v times w" is defined to be the symbol "v⊗w". There is no meaning to that symbol.

But these things are vectors, so you could write e.g. v = a⋅x+b⋅y, and then you want e.g. (a⋅x+b⋅y)⊗w = ax⊗w + by⊗w, and so on.

So in some sense, the quotient space construction[1] gives a better "why". It says

* I want to multiply vectors in V and W. So let's just start by writing down that "v times w" is the symbol "v⊗w", and I want to have a vector space, so take the vector space generated by all of these symbols.

* But I also want that (v_1+v_2)⊗w = v_1⊗w + v_2⊗w

* And I also want that v⊗(w_1+w_2) = v⊗w_1 + v⊗w_2

* And I also want that (sv)⊗w = s(v⊗w) = v⊗(sw)

And that's it. However you want to concretely define tensors, they ought to be "a way to multiply vectors that follows those rules". Quotienting is a generic technique to say "start with this object, and add this additional rule while keeping all of the others".

Another way to say this is that the tensor algebra is the "free associative algebra": it's a way to multiply vectors where the only rules you have to reduce expressions are the ones you needed to have.

[0] https://www.youtube.com/live/mqt1f8owKrU?t=500

[1] https://en.wikipedia.org/wiki/Tensor_product#As_a_quotient_s...
Or servers, and about anything that really benefits from concurrency.

Even a lot of games could be made with go. The gc wouldn’t really kill the frame rate of a game unless you really push it.
Carnap born 1891.
How it feels being downvoted by a bot army on Hacker News.
Context: started a company that did essentially this about a decade ago. Haven’t looked back much. My data may be stale or just biased.

> We used old control software that spit out data in massive 10 GB CSV or TDMS files. After a long day and night of testing, no one wanted to go through all the work to review the data.

> We think Synnax is unique in that it provides a bridge between <lab/automation DAQ systems>

On the surface it seems like anomaly detection is still the hard problem, but you’re not setting out to solve it?

Time series databases are state of the art generally in finance, not in industrial/InfluxDB, so I don’t think saying you’re 5x influxSB on writes is going to persuade too many people, especially given the cost now for a terabyte of RAM. I’ll just move all of it to an in-memory database before I’ll take on the switching costs.

The thing I wanted was one solution for something that was always two: a properties/metadata database, and a separate time series database.

It seems to me like you are maybe building a level too low and could get a lot more value working on the problem that you say motivated you in the first place. It is hard because of all the context required to automatically detect anomalies, but I think that is why it is valuable to solve.

The value we had was we rolled in the data/cellular connection all the way down to the endpoint, so they could avoid IT integration, which was a big hurdle at the time. I don’t know if IT integration is still a hang up for your customers.

We found that visualization layers tended to reach down just far enough into the data intake world that it was really hard to sell just another tsdb.
I can say for certain of course, but I would guess at that being the result of the poor service that travel network providers typically offer. I have also used travel eSIMs in Japan and had generally a pretty poor experience (bad coverage and slow speeds). Conversely, I've had non-travel, regular monthly eSIM contracts in both the UK and Germany and experienced few issues (at least no more than my experience with physical SIM cards).
> We need a Supreme Court reform if we want to keep the nation.

More like you need the US house and senate to legislate and coming to stupid party deadlocks, gamesmanship, and worrying what an unpopular vote means to future electability.

The supreme court of the US gained so much power because the legislature stopped legislating.

Source: studied American civics in school
Last time I did the math, you'd have to win 100% of the vote in the 100 most populous cites, plus a few million more, to win the popular vote.

Cities are big, but they aren't that big. The 10 biggest cities only have 7% of the population, and then they get a lot smaller from there.
These aren’t landlords and notice is typically given as part of the room registration process. That’s not the behavior in question.
I agree with the bit about individual cause of action, as long as it includes attorney fees too, as that is the way to go from having to file yourself, to getting juicy lawyers lined up to make bank (from my experience litigating FOIA).

In fact, with FOIA in Illinois the only way to hurt a non-compliant public body is with the attorney fees[]. There is a civil penalty per violation, but it isn't paid to the litigant, but it is paid by the public body to the county. As one government lawyer said to me, "I don't care if I lose! I just write a check out to myself!"

[] some of the lawyers I know who do this work agree to split their fees with the litigant as an incentive for them to see it through, which I don't think is technically legal, but it let's people keep the government honest and make some change for their effort
Not anymore, now that this precedent is set.
Firstly, sprawl is the result only if it is around a central core(s) to which many people need to travel on a frequent basis.

This is wrong. As an extreme example consider this. If all families in the U.S. were as evenly distributed as possible with each family having at least a 1 acre lot then it would be correct to say that we are sprawled out. Sprawl in the sense we are taking about refers to spreading out.
HiRISE in MRO is a pushbroom imager too… so we have sent the tech beyond Earth’s orbit :)
That mildly stated problem is the crux of the matter. LLMS hallucinate and always will.
What then is the behavior in question?
One more reason to avoid app stores and build/use PWA or just web apps.
I've never used one but am biased against them because they seem like a step toward a future where it's impossible to unplug a device from The System at all.
There’s a big difference between building something on curl and jq and building something using a language’s standard library.

Everything is just bits at the end of the day. Just about anything can do anything.
Run FLUX.1-Schnell locally on your Mac
Ha, and that video isn't visible outside the US!

I guess pick one or the other depending on your country (or if neither works, search for one that does).