skysight-inc/HackerNews huggingface dataset:
This is just a deleuzian metaphor for the weird kind of space I perceive certain abstract thoughts with.

>many distinct (euclidian) spaces, whose axis connect to each other through a graph

Imagine having pictures hanged on the walls of your mental palace that act as portals to others rooms and corridors within that palace, and that must exist parallelly to each other, in different "universes" otherwise their volumes would intersect. The kind of geometry the Antichamber video game features.

Or picture this: a representation that relies on its axis to convey meaning, for instance the political compass meme. Walk along an axis long enough and it will connect orthogonally to another axis, for instance, authoritarianism may connect to anger from the emotional compass.

Simplexes: a generalization of triangles to n dimensions. A 2-axis representation (the political compass for example) could connect to spaces with 3 axis (the ascended political compass: https://external-preview.redd.it/UQgZCVQ4OLg_Hz16FGdu9-qxfq9...).

To represent this you could connect one tip of a segment (a 1-simplex) to the tip of a triangle (a 2-simplex), each vertex in these figures representing an axis. This is where my deleuzian metaphore collapses because I'm conflating the notion of axis with the notion of the "left" and "right" part of an axis. And I'd also be tempted to consider that planes should be allowed to connect to axis (to support that portal through a painting I mentioned above).

So this is just a sketchy thought, but this seems legitimate as it's not something I conceptualize but something I perceive (sometimes). But I think there may be something interesting behind these perceptions because it seems they deal with separate concerns through some kind of orthogonal geometry that is structured: putting a concept in a dimension orthogonal to another concept doesn't lead that dimension to be orthogonal to all other dimensions/concepts in your mental palace, as that would be the case if it took the shape of a n-dimensional space. And because the orthogonality is structured, it allows to deal with more than 3 concepts spatially at the same time and embed them within something your eye can picture in 2D or 3D, using diagrammatic annotations (colors, marks, etc). Finally it allows to put a concept C in several orthogonal relationships to distinct concepts, for instance A and B, and to keep these different instantiations of concept C orthogonal to each other.

This is what my mind pictured as I was explaining this ; colors and graduation marks/boxes faithfully representing what I just perceived: https://pasteboard.co/kMecyenyZdzg.png

Note that the two colors, the green of the axis and of red of the sticks could be thought as two individual concepts of their own, orthogonal to each other.

https://pasteboard.co/3VYEyepnVouQ.png

If a mathematician is reading this, please accept my deepest apologies. Here's another paper that seems thematically related to this: https://ieeexplore.ieee.org/abstract/document/10008602
More drawings in https://adamfuhrer.com/

Feature request. In https://adamfuhrer.com/ , I expected to be able to click in the images, but I only can click in the small rectangle with the name.
Wow, just... wow.

Theoretical computer science is literally more solid and real than any code you could write. It's literally the mathematical foundation of how your favorite language works. It is all precise mathematical proofs, not just 'thoughts'.
I was hoping this stream of consciousness was going somewhere
Didn't you know? Silicon Valley isn't just saving the world. It is the world. Tech doesn't exist outside of it.
This is backward.
The issue is that in an healthy low unemployment environment, more companies would compete for those workers that would be able to negotiate a higher wage.

There is a ton of research on this and a lot of things I have read around minimum wages is that it might actually hurt workers more than anything.

Once minimum wage laws come in, a company needs to decide to raise prices or stop doing business. Raising price helps inflation and starts that feedback loop. Stop doing business means now the workers are out of a job which is even worse.

The real solution is to create an environment where companies compete to get workers. This was the case not so long ago after covid where most people didn't want to go back to work and some fast food chains had to raise wages to 25$/h
Actually, MSFT made the same blunder when it came to HoloLens. Well .. they did start to build some of the core spatial context (and had a fabulous headstart). But somewhere along the way, they yielded to Unity/Unreal. This was mind boggling to me as giving away the keys to the platform to another party was literally the founding story of Microsoft (with IBM having made the blunder). I wonder if engineering leadership recalls history when making such strategic goofs.
ChatGPT prompt reply copy-pasted in a published research paper
Or like oil - “black gold.”
It would be really fascinating to see a map of the progress of legalization and the changes in crime in the state in which it was legalized and surrounding states which aren't.

This is a riveting article.
What advantages would there be with a native string type over []const u8. (For those not fluent in zig, a string is typed as a slice constant bytes, where a slice is a pointer + length)
They actually do that. Consensus is a goal. But if it can not be achieved then at some point people will just create a protocol anyway, even if Gnome doesn't implement it. People who claim this isn't the case haven't actually followed the space at all.

Of course issues still get stalled on this, because it takes a while to figure out that the disagreement is to fundamental. Often a compromise is actually found in the end.
Your first two sentences are compelling facts. Where did you learn about them?
I know what speculative execution is and have some understanding of spectre already. What I don't get is what it means to exploit a speculative race condition.
> Obviously he has to be smart, you don't make a multi-billion dollar company/fraud without being incredibly smart

I think we want this to be true. We want a meritocracy based on intelligence. But I’m very skeptical it’s true.

I think he could be a total moron combined with some money, some connections, luck, and the lack of the things that hold many of us back such as self doubt, fear, morals and ethics, and obeyance to the law.
Confirmation of the world's oldest woven garment: the Tarkhan Dress (2016)
A properly worded slack message is indistinguishable from an email, and can pretty much be treated as such
I absolutely love how Medium has made the reader experience so abysmal that I rage-quit the tab before reading the content I came to visit.

https://shitposting.pictures/bZBf40QrhqZh
> What is the basis for your perspective that NZ is failing to "make it work"?

Regarding solar! Not about renewables as a whole. Any perception that NZ is green is primarily due to other factors than environmental concern. Hydro was a good choice and it’s green, not because of it being green. We burn coal to make milk powder and trash our rivers to fuel the dairy industry.

Recycling efforts are abysmal and there is a regressive attitude to greening transport.

The high level of green energy is great, I just grow frustrated at the lack of progress.
Right, it's like an entire second trial. But the guidelines give a pretty strong indication where the sentence is going to land. Either way: the nominal losses are what is most likely to control; in particular, if you steal a bunch of money, bet it all at the track, and make enough to pay back your victims, you're not getting credit.
It really is! Americans like myself feel the magnetic energy of old European city centers yet we relegate them to vacation rather than import them here.

My only guess as to why developments don't achieve this is that the most desirable outcomes to society is that all stakeholder interests can't possibly be seen within a development plan. With that a more narrow band of priorities are emphasized and bureaucratic processes lead to a rationalized and simplified plans rather than the controlled chaos that incremental and democratic growth creates.

(in the same way a product manager may propose a box to be the product shape - if profitability and volume is prioritized, and the box shape is explainable to regulators and management. While if the product had been iterated through organic public reception, it will evolve to take an ergonomic shape formed and validated by users over years).
Thoughts on https://en.m.wikipedia.org/wiki/Be_Right_Back ?
5% is a pretty big regression.
Source on Occam's razor being anything more than a philosophical framework? Kind of silly to even bring that up in this scenario without looking at the possible motivations or lack thereof.

https://www.msn.com/en-us/news/crime/boeing-whistleblower-wa...
Why tell them? Isn't it a basic principle that companies try to keep salaries secret?
I spent a half a day or so relatively recently trying to build our CI base image with Nix (at the recommendation of our infra team), but it was huge, and some stuff didn't work because of linking issues.

One issue that really bugged me was to build multi-arch images, it actually wants to execute stuff as the other architecture, and only supports using qemu with hardware virtualization for that. My build machine (and workstation) is a VM, so I don't have that. I do have binfmt-misc, though, so if you just happened to fork and exec the arm64 "mkdir" to "mkdir /tmp", it would have worked. Of course, this implementation is a travesty when docker layers are just tar files, and you can make the directory like this:

echo "tmp uid=0 gid=0 time=0 mode=0755 type=dir" | bsdtar -cf - @-

(As an aside, I'm sure this exact layer already exists somewhere. So users probably don't even have to download it.)

Every time I try nix, I feel like it's just a few months away from being something I'd use regularly. nixpkgs has a lot of packages, everything you could ever want. They all install OK onto my workstation. But "I need bash, python, build-essential, and Bazel" doesn't seem like something they're targeting the docker image builder at. I guess people just want to put their go binary in a docker image and ... you don't need nix for that. Pull distroless, stick your application in a tar file, and there's your container. (I personally use `rules_oci` with Bazel... but that's all it does behind the scenes. It just has some smarts about knowing how to build different binaries for different architectures and assembling and image index yaml file to push to your registry.)
The Government's Sentencing Memorandum:

https://storage.courtlistener.com/recap/gov.uscourts.nysd.59...

Exhibits:

https://storage.courtlistener.com/recap/gov.uscourts.nysd.59...

https://storage.courtlistener.com/recap/gov.uscourts.nysd.59...

https://storage.courtlistener.com/recap/gov.uscourts.nysd.59...

https://storage.courtlistener.com/recap/gov.uscourts.nysd.59...

https://storage.courtlistener.com/recap/gov.uscourts.nysd.59...

https://storage.courtlistener.com/recap/gov.uscourts.nysd.59...
I can’t see any logic in the manufacturing theory. V is already on the clock many times so they’re making them, and IIII is more material and parts.
I don’t want to piss on anyone’s hard work… I just do not like the proposed syntax for string templates.

STR.” doesn’t make sense. STR looks like a constant. . Looks like a function call or field access, and “ shouldn’t follow period. Recycling these characters is just hard to grok.

And the API just leaves too much of the language to upend imho. There’s a reason why Java doesn’t do things like operator overloading… it’s a cool party trick but in the long run it does more harm than good on codebases you werent the sole author on.

How about a new string delineator and use the \{brace} format and we call it good? Super easy and IDE support would be a snap too.

I just feel they’re reaching for too much. But i DO appreciate they’re taking their time. Java is one of the last bastions where people are doing real effort into maintaining backwards compatibility.
An UTF8 String would have invariant of always having valid UTF8, omitting need for further UTF8 validation.

If you're working on bytes string in Zig the status of them is unknown, so you have to always validate even if it's just Utf8. In Rust you can omit Utf8 validation for bytes from a String.
Well, Zig does have Unicode support in its standard library. A "String" type wrapping that functionality would be slightly safer but, I don't see it as some huge wart of the language. You could always just define your own.
PopOS most recently, and I ran into significant UI lag, jank, bugs all over the place with the correct NVidia drivers installed and everything. I tried it on two machines, and had pretty much the same experience. After troubleshooting and seeking resources/answers, I eventually gave up and told myself, "maybe in another 5-10 years", as we all say.

That was a few years ago. Anything older I've forgotten honestly at this point. It's been a long time, and I'm certain things are probably better these days, but I have absolutely no reason to switch. My muscle memory and setups on my current machines are too good to let go of.

I have a Steam Deck -- but their experience is so tailored that I'm not sure it counts. I'm not actively using the desktop environment unless I need to use a different game platform. I wouldn't be using this machine for work at all though.
The more I've used the language, I'm starting to think that this decision makes sense in the context of Zig. Common string operations involve allocation, non-constant time access, etc. I can definitely understand how strange that sounds without the rest of the language around it as context, though.
Post with the link in the text field get a penalty here and it's more difficult to get to the front page. My recomendation is to repost it with the link in the URL and leave the text field empty. You can later post a comment explaing that you are the author.
In fact, Zig has pretty much the same support for strings as both Rust and Go. The primary difference which people seem to complain about, that "[]const u8" is not written as "string", can be solved by writing `const string = []const u8;` at the top of your program if you like.

Rust: `&str`, 'some bytes, and a length', 'Constructing a non-UTF-8 string slice is not immediate undefined behavior, but any function called on a string slice may assume that it is valid UTF-8, which means that a non-UTF-8 string slice can lead to undefined behavior down the road.' - also `String` and `OsString`.

edit: apparently Rust enforces that &str cannot be created with invalid UTF8, at the additional performance cost of runtime checks, so it has stronger guarantees than other languages like Go/Java/Zig/etc (as usual)

Go: `string`, 'in effect a read-only slice of bytes', 'a string holds arbitrary bytes. It is not required to hold Unicode text, UTF-8 text, or any other predefined format. As far as the content of a string is concerned, it is exactly equivalent to a slice of bytes.'

Zig: `[]const u8`, 'some bytes, and a length', 'Zig has no concept of strings', 'by convention parameters that are "strings" are expected to be UTF-8 encoded slices of u8.', 'Generally, you can use UTF-8 and not worry about whether something is a string.' - and the stdlib has functions for working with unicode and strings.
Chinese firm's leaked files show vast international hacking effort
> The banner is malicious compliance.

That must be why https://gdpr.eu has a cookie banner /s
> strdup does but it was only recently adopted into the standard, it was previously an extension.

Does it really matter when people were already writing code with strdup when the zig and rust creators were in middle school ? It was already there in BSD 4.3 (1986) apparently.
I think I am being crystal clear. The government spending on the car transportation scheme costs so much that it spends every few years enough money to build a statewide bullet train system, even though the car system is only treading water and not adding capacity. That isn't even counting the private spending on the car scheme, which is far larger. HSR is the deal of the century.
lol no the people who made Google a success are quite wealthy and securely ensconced in suburban homes in Cupertino, Mountain View, and Sunnyvale.
When those forms became distinguished as separate genres, basically yes. I think there was a vein of maybe more interesting "trance" in 92, 93 timeframe (I'm thinking about Oliver Lieb's stuff and maybe Rabbit in the Moon and some other stuff) that was a bit more techno-ish, but with some of the hallmarks of what came to be the "trance" form. But by the time people were specifically carving out "trance" it had basically the drum rolls and drug rush thing going on. By 96 when I started paying attention to that, it was already unbearable (to me).
That's very interesting, because as someone familiar with nix my take was that this was information I considered to be aimed at people who weren't familiar.
Yeah, I think I agree. Many many examples of people who made it or almost made it, without being smart or lucky (WeWork CEO) or in the right place at the right time or able to deceive people (ie Elizabeth Holmes)
This is much closer to reality.
I literally just had to shoot this exact idea down this sprint.
NASA PVS Library Featured in the Movie "The Martian"
Liberalism by Cass R. Sunstein
> South Fork can generate 132 megawatts of offshore wind energy to power more than 70,000 homes.

This is reasonably impressive in itself. But I think it's even more impressive if you know that all this comes from only 12 turbines.

https://southforkwind.com/about-south-fork-wind
It seems like the chips are speculating past a 'lock cmpxchgq', which corresponds to a seq-cst access (IIRC).

> or the acquire barrier must not be stalling later memory accesses

That is my impression. But I am really confused about this stuff in general.
I already have a trade; I was a furniture maker for 10+ years before changing careers to a more financially stable option...round and round I go.
I guess it depends on how hard it is to make a V vs. an I. For all we know, V's are more expensive.
I have used Spotify app on iPhone with no issues.

Is it just poor network or is it really the app?
At the current rate the lawyers are burning cash while handling FTX's bankruptcy, it seems like the customers of FTX may owe them money.
Everybody says they want a built-in String type.

And then everybody proceeds to write their own String library anyway.

"The only winning move is not to play."
I'm not wildly surprised, and am kinda getting the impression, that companies can fuck individuals any way they want, but… this couldn't be legal, right? I mean, especially the "that would be forthcoming" part.
I'm pretty sure the Death Star undid several eons of environmental conservation efforts on Alderaan.
The font is a custom build of Iosevka, which is almost certainly inspired by the commercial font Pragmata Pro (https://fsd.it/shop/fonts/pragmatapro/). When Pragmata Pro was first released a little over 10 years ago, it sold for around $400 (I know this because I and many, many others bought a copy back then).

As another commenter points out, you may have some rendering issue. Alternatively, you may just not like the font. Can't please everyone.
Agreed, not sure why you’re being downvoted. As if it’s your fault they weren’t jailed.
Okay I'm not interested in participating in this community anymore. It's an incredibly stupid way to handle anything and reeks of censorship and mob rule by a few that hit the flag button every time a story disturbs their world view.
All it takes is one defi guy who can really draw rouge the bat with a juicy posterior and artists&dans will get into crypto.
TLDR: This is a real thing, turbines have built in protection, and there innovating on the whole system to really do this. It's a potential game changer vs. trying to build seawalls or levees.

Read more, "Taming hurricanes with arrays of offshore wind turbines", https://www.nature.com/articles/nclimate2120

...and..., "Wind Turbines in Extreme Weather: Solutions for Hurricane Resiliency", https://www.energy.gov/eere/articles/wind-turbines-extreme-w...
Whataboutism is when someone posits a substantive deep problem and the other side lists a bunch of counterpoints that are shallow and unconvincing. I noticed you offered zero counterpoints to my core argument except that I am apparently a 12 year old.

So in addition to misusing "whataboutism", you simply fell back to ad hominem. Finally, you were the one that went on the intertubes and espoused your view. I did not inject any new subject matter except to counterpoint your pretty myopic viewpoint.

I don't care if your feelings were hurt by simple argumentative debate, the point of my response isn't to attack you, but to offer a different viewpoint to anyone ELSE that reads this. You are correct, it is futile debating people like you.

Teslas have their problems, but they aren't trash. In particular if you look at GM's EV recalls, Porsche's issues with the Taycan, and various EV startups having major issues and scaling problems, Tesla did phenomenally well. The only other companies that did similarly were Chinese and Korean companies that are almost literally parts of their respective governments with unlimited budgets, and armies of near-slave labor in the case of the Chinese.

And it is debatable if any other EV company is actually producing EVs at a sustainable economic profit. Likely the Chinese have turned the corner in the last year or two. Everyone else is still using ICE sales to pour research into their EVs.
Yes I believe the point is to have fun.
Uh, let's take an example: Mars gets a force from the gravity of the earth. That force has magnitude and direction so is a vector. Mars also gets such a vector from each of the Sun, Jupiter, Andromeda, dark matter, .... Then to determine the direction Mars will go, have to add all those vectors with the current value of the Mars momentum vector. Soooo. the universe adds vectors, that is, does computation. Done?
The way I read a watch ignores the numbers anyway (arabic or roman) and I know where 9 is etc.

if the device is upside down it is evident and I don’t even try to read it, I right the clock or take off and restrap the watch.
You'd think they would have learned from the example of Tumblr.
Show HN: Podsynth – Simple Canvas for Language and Audio Models
Hey HN! I'm excited to share a preview of Podsynth (https://www.podsynth.com/). It's an open source canvas for testing out mixes of language and audio generation models. With it, you can test your llm/audio ideas before building a complicated app.

The initial preview features an "RSS → Audio Summary" workflow. It grabs recent items from an RSS feed, invokes a language model to create a summary, and generates TTS using an ElevenLabs text-to-speech model.

It's still very early, but I'm thinking to support:

- API endpoints to invoke your creations

- More models and more providers

- n8n, trigger.dev, or other scheduling/workflow integrations

Try it out, and let me know what you think!
What part? If it was the shares were part of the lockup I’d look harder at it.

But in this case what incentive would they have for this to go badly for participants?