skysight-inc/HackerNews huggingface dataset:
The Spilhaus World Ocean Map in a Square
I will definitely have to give it a more throughout reading, I have implemented a naive JVM which shares some similarities, though much less compile time guarantees (I do not compile anything, but load java class files).

My only gripe is that for my next iteration I want to use a template interpreter (instead of a naive execute instruction, fetch next, loop, which will have two indirect jumps, while a template interpreter instead can work like write instruction implementation addresses into an array, jump to the first, and let that implementation jump to the next one found in that array, having only one, better branch-predictable jump), and I believe it is not possible in a “high” level language (high, as in not assembly). Also, better control over the stack. But if I use in-line assembly (kudos for its authors, it is a really great abstraction!) then I can pretty much throw out almost every Rust type, as their memory layout is not well defined (I do know that I can force a C-layout, or packed, but I would need even stricter guarantees than that), so I can’t use them from within an asm block. So I am really thinking of whether Rust is a good choice here, as an interpreter will have plenty of unsafe, pointer manipulations, non-sync memory reads/writes (data racing Java is valid code, and it is well-defined so I have to basically use some sort of atomics? Not sure how well defined that part of Rust is (AFAIK it copies C++’s model, but even that postdates Java’s memory model, which was the first language to feature such)

Just to give an example of something I’m struggling with, I would like to have a Stackframe struct, but to use its elements from asm I can only implement it as a raw pointer-wrapper with a pre-defined layout, which will get hardcoded into assembly. Is there something I’m missing? Would be glad for some feedback.
How do you mean? I always thought the colours seem fine, and googling this it says it has 24-bit colour support[0] which almost seems excessive for a terminal. Are there some limitations or problems I'm unaware of?

[0] https://wiki.archlinux.org/title/Alacritty#Colors
Veterans Affairs is also a big Chunk of change that also goes on in perpetuity. 412k employees and 10+ million on benefits

Depending on how you count, defense industry could be 3.5 mil employees.

https://siteselection.com/issues/2012/sep/sas-military-econo....
gRPC tunnel to reverse the client-server communication
I believe that "diversity is our strength and therefore must be expanded" is speech. If you require companies to fulfill some diversity quota, you're doing so because of that belief. The idea itself is part of the current left's canon, so it certainly is political.

It's just something that most here do agree with, so they're fine with it.
Fixing mosh failing on macOS (2020)
> I don't have a great way to pull out sshd specifically

If it's using systemd, try

systemctl status sshd

If CPU accounting is turned on, you'll see how much CPU time was used by sshd, plus when it was last restarted, which at least gives you something to work with.

If not, you can enable it with:

systemctl edit sshd

then adding:

[Service]
CPUAccounting=yes

and restarting the daemon.
With integrity I meant “intactness”/ wholesomeness, or being a balanced human being. I refer to the value system of society. This is different to individualism in the popular context.

In the way I meant it, classic individualism can often be opposite to being a balanced (and whole/integer) individual.

It is never an either/or situation. There are also several layers.

For example, a society could be advocating for solidarity with a community at expense of individualistic expression, yet in its nuances all individuals might be more balanced: maybe because they are part of a community, and the individual is catered for by having a culture that carefully balances understanding of the individual against the requirements of society.

The labels of socialism, capitalism etc are smokescreens that prevent us from looking at the nuances of culture and how it affects us.

For example, capitalism will celebrate the individual’s right and freedoms on the frontend, where in fact society expects us to be successful and sacrifice a lot for our material economic success.

Again, the cultural “pressures” and “elements of care” express themselves in different layers and contexts. The richer a culture, the more layers to mitigate the influence of another. Layers of culture can be: Family, Work, Sport, Arts, Internet social spheres, Organisations or hobbies, etc.

Thus we would do well to increase richness of culture again, vs. the overbearing influence of our telephones (for example).
You're just echoing the article:

> The news came as no surprise to Pentagon watchers. After all, the U.S. military has the distinction of being the only U.S. government agency to have never passed a comprehensive audit.

Although your argument that it's supposed to force them to make progress doesn't seem correct:

> But what did raise some eyebrows was the fact that DoD made almost no progress in this year’s bookkeeping: Of the 27 areas investigated, only seven earned a clean bill of financial health, which McCord described as “basically the same picture as last year.”
America spends more on defense than probably most of Europe. Look at the amount of aircraft carriers, aircraft, tanks, helicopters, ICMBs, submarines, and soldiers we have. It's a lot and I have a feeling Europe leans on America heavily and as a result under funds their own military greatly. As members of NATO, they may figure that they don't have to worry about a blitzkrieg from Putin. A lot of the power projected by America is from massive DOD spending in developing new technology like our carriers, tanks, missiles, cyber warfare/security, subs, various planes (JSF, F-22, stealth bomber, SR-71...etc).

However, this assumes no game theory. If America hadn't invested as much as it did in DOD, I think it would be weaker and Europe would have to compensate and would then produce more of it's own needs.
Archived: https://archive.is/8deOZ
> What if some theories that aren't testable eventually lead to theories that are testable and useful?

The history of physics is such that this almost never happened. In fact I'm struggling to think of an example in which it did, though I'm sure there are some examples somewhere.

The few things I can think of are stuff like antimatter, which popped out of the theory and weren't taken seriously until they were unexpectedly confirmed by experiment.

On the other hand as you mention the history of physics is littered with theories and frameworks pushing beyond the experimental frontier, only to be discarded. String theory being only the most recent example.
I'm perfectly fine seeing nullable references in a new systems programming language, but it's disappointing that nullable is the default. If you care about both performance and memory safety, being able to compile-time guarantee that you don't need a null check in a specific location can be big!
You're reading a lot into the headline and not the explanation. For overcommunicating, the real nugget IMO is:

> A lot of people mistake activity for productivity

I've worked with a few of these people, and they generally tend to be very active on slack/email, make their way into meetings and ensure they're involved in "the process", while derailing every single one of those conversations into tangents, and then slide off into the next cycle of meetings and talking.

> How is promoting your own achievements a bad thing in the context of overcoming obstacles?

I think you're taking the article to the extreme here a little bit. Again, these problematic people tend to be the ones who talk about how involved they were on system X at $PREV_JOB, and if we need to do something like it again we should talk to them about it. It's not about saying "hey I crushed it this year, here's N things i did really well", it's people who deflect their current lack of progress and work by pointing at their previous achievements.

I wish I didn't know this from past experience, but I do....
Not all distros have a default (e.g. Arch)
I also tried this and didn't see much improvement. Go already uses a fast allocator for small sizes so they are likely to all end up similar memory regions regardless. A bump allocator reduces the GC pressure a tiny bit compared to that, but that's not significant.

The real alloc win would likely be some kind of small-string optimization, which Go (specifically, the requirements of its precise GC) makes difficult. This is probably my biggest performance frustration with Go, 16 bytes for a string and especially 24 for a slice is so much waste when often 99% of your data is smaller than that.
That sounds like mathematics and specifically geometry. Maybe that was the term OP seeks.
This is an impressive project, and great example of teamwork. Yeas ago I'd used uclinux on an fpga, which was designed at the time to run on simple processors without mmu support, had you looked at that option? That said it's a lot more fun for the cpu guys to build those features and see them working. Any stats on the final HW design, mhz, resources, etc?
This is because we didn't just kill Abel, we destroyed Abel, and this caused all of Abel's children to be recursively destroyed.

TT
Why Unreal Engine 5.1 is a Deal [video]
Create a new nodepool/scaleset in another region (i think that should be possible)
If you last checked in on AI image makers a month ago
Jobs programs are never good. You are taking money from productive people at gunpoint and then "creating jobs" which are functionally equivalent to digging a ditch and filling it up again.
I wish people stop fantasizing about battery powered planes completely. All EV planes are ultra-lights without pressurized fuselages and no ability to fly in the tropopause. So they can never be particularly comfortable or safe aircrafts. All commercial airliners will run on some kind of chemical for the foreseeable future. If not hydrogen, it will be synfuels/e-fuels or something similar.
I'm not a fan of private companies or governments limiting speech, but there's a difference between the government saying "you're not allowed to say that" and the government saying "you're not allowed to say that if you want to be associated with the government".

It could totally be a slippery slope towards the government amassing more power and then granting contracts only to those who parrot the party line, but I believe the solution to that is to reduce government size and power.

And also, I don't find your position so controversial that you'd need a throwaway account.
Gigapress? Seems pretty revolutionary for car making but what do I know.
It's got some novel ideas: better than many new languages!

Don't quite grok why it eliminates the need for ref counting though. Tree structures are fine when you have them, but frequently you don't. The docs claim Rune programmers never write destructors even though there's no GC, so is there no equivalent of RAII? How do you model graphs?

The constant time stuff doesn't matter. Virtually nothing needs to be constant time like that and when it does you're probably writing in assembly anyway.
The Destruction of Abel, Jeremiah 27:14.
Until a satisfactory implementation exist I'll take the phising alternative every day of the week.

We'll see how it plays out but I'm not optimistic this is going to end well.
Dart does not have arrays, it has lists. Try replacing "Dart array" with "Dart list" instead.
That's just your experience. Many coops are run pretty efficiently.
Interesting, do you have a source where I can get deeper into the application of splines to reilroads? Specifically, how to arrive at the jerk minimization problem. All things railroads are too descriptive with little engineering/physics formulas.
DOS Codepages and Their History
https://www.nlrb.gov/about-nlrb/what-we-do/conduct-elections

If you have broad support from the employee base, “they” can’t block a union certification election. If you’re having trouble forming a union, you’re probably struggling at the “get employees to want your union” step in the process.
The thing about notes is that I have gotten really used to have them available across all my devices. When I'm in a meeting I might want to jot down or cross off an item from my phone. When I'm on a train or plane I'd use my iPad. At my desk it will be my Macbook.

Texmacs notes will be available only on devices where I can install texmacs, which excludes the iPhone and iPad.

Currently, Obsidian + cloud storage ticks all boxes for me. It is free, works across all devices. It uses Markdown so it's quite readable even unrendered, and the renderer works without requiring any kind of compilation.

Even smoother is Apple Notes, but without maths support (which I rarely need in notes though).
"A PowerShell Profile is a script composed of written instructions that execute when you launch a PowerShell session"

Sounds like a script to me, or maybe a "session script". Calling this a "profile" seems like an odd use of that word, but maybe it's just me.
I think you have conflated "tests aren't useful" with "*unit* tests aren't useful". I am asserting the latter, not the former! Testing in general is absolutely something that you can and should do when working on a production kernel
Why a cooperative and not a partnership (that is typical for law firms or business consultancies)?
Nice work Tom. Personally I am not sure if I would trust a storage provider without any imprint and a registered company. (btw the website is not gdpr compliant...)
In addition, the ToS make me afraid using your service as a backup solution :-)
"ExtraLayer.eu may cancel or suspend your access to ExtraLayer.eu services at any time and for any reason without notice. Upon cancellation or suspension, your right to use the service will stop immediately. You may not have access to data that you stored on the service after we suspend or terminate the service. "
anyway, good luck with the project.
> What we want is a well-behaved, predicable mix of programming and those relational operations. We have to end this SQL madness.

These are great goals! Thank you a lot for working on them, and for taking the time to participate here!

> We should be able to isolate syntactic fragments where it is easy to ensure safety properties, at the minimum the datalog fragment.

Again a great goal! Luckily, for every given Prolog program, it can be decided statically whether it is in the usually considered Datalog fragment. Likewise, for every given Prolog program, many things can be statically decided, for example it can be said statically, i.e., by just "looking" at the program without running it, with certainty that impure constructs do not occur in a given Prolog program and that these transformations can be applied without changing the declarative meaning of the program.

I think it is a very good idea to restrict oneself to a fragment of Prolog, especially if you need a lot of leeway to optimize programs, and to reason about them. For example, query optimization is much easier if you know that no side-effects occur in a Prolog program.

The question is whether all this needs any syntax beyond what standard Prolog already provides. Prolog is a very flexible language and supports user-defined operators. If possible, I recommend to keep to this standardized syntax, and to use a sensible fragment of it to facilitate reasoning, at least for as many programs as possible. The availability of existing teaching material and research papers you mentioned is another excellent argument in favor of this approach. It is perfectly OK to only support a proper subset of full Prolog, in fact that is exactly what Datalog does!
MadNotes – Minimalistic Markdown Notepad
MadNotes is a minimalistic markdown notepad. Opened in browser's new tab, always at hand, fast to write. Most convenient way of taking notes.
The World in Its Extreme
Part 2: https://www.theatlantic.com/past/docs/unbound/langew/extreme...

Part 3: https://www.theatlantic.com/past/docs/unbound/langew/extreme...
That’s why they’re collaborating with IPFS, a p2p content addressed file system
Quarto is great. Basically ipynb markdown plus pandoc, and so far my experiences with it have been that it Just Works.
It's really frustrating because there are actual experimental results that need explaining. Particularly in cosmology and quantum gravity, but there are also open questions regarding neutrino flavors that don't conform to the standard model. But even more simply there is real work being done on such things as quantum computing and superconductors. Not to mention even more basic and practical things which are still not characterized well like the mechanics of piles of sand or grain (yes, really).

I left physics in 2008 in part because I was in the same boat as you and had gotten disillusioned with both string theory and particle physics. Now I kinda wish I had stuck it out and focused on more practical, less hyped-up areas.
Also other internal languages: borgmon, borgcfg. Don't think they use borgmon anymore though.
No Prusa mini support. I hope it will be added soon since this way of printing could be very convenient for certain parts of a model.
https://en.wikipedia.org/wiki/Shamir's_Secret_Sharing
Speculation: option pools (at least pre-ipo) are generally a fixed %age and therefore relative size. With fewer engineers the ones left get a higher piece of the pie? Just a guess.
Came here to say exactly that. In particular, the episodes that deal with lofting (24 & 25): https://www.youtube.com/watch?v=oKJagvumvCI&list=PLB00JHoTw1...
> The only close competitor is C++, where the author uses the little-known MemoryPool class from the <memory> library.

I was like I know C++ and I’ve never heard of MemoryPool.

Turns out that MemoryPool doesn’t exist in <memory>. In the source code they’re talking about it’s an alias to std::pmr::monotonic_buffer_resource.

https://benchmarksgame-team.pages.debian.net/benchmarksgame/...
Light bulb! Yes. That makes sense.
I think the point behind "constant time" here is that the comparison always takes the same amount of time, and not based on how many characters in the two strings are equal, to prevent a timing attack. "Constant time" isn't very accurate here because given a choice of hashing algorithm, the hash is a fixed-length string and therefore even a trivial string comparison technically "runs in constant time", at least if we allow the typical abuses of language in CS.
I suspect for the kinds of projects this might in theory be targeting, they aren’t doing any dynamic allocation at all.
The US benefited from opening up to China. It returning to the dominant economy in the world was an inevitability with or without US support.

Being on good terms with them and dealing with inflation by using their labor force bought the US some time but US politicians just acted more irresponsibly (warmongering) instead of capitalizing on the temporary windfall.
This is an interesting idea for language design:

> Users of Rune are protected, because the compiler sees that macSecret is secret, and thus the result of hmacSha256 is secret. The string comparison operator, when either operand is secret, will run in constant time, revealing no timing information to the attacker. Care must still be taken in Rune, but many common mistakes like this are detected by the compiler, and either fixed or flagged as an error.
I'm 60, and I bike everywhere.

I have a non-zero chance of getting into an accident, but on the other hand, I haven't been so fit in 30 years.

My guess is that my expected lifespan is increased by this decision. (I would add that I live in a very bike-friendly city.)

---

There's a further ethical calculation I would do, which is that using a car is wildly irresponsible giving that we are systematically eating through our resources and destroying our climate and with it our biosphere. (Electric cars are better, but still tremendously consumptive of resources.)

So even if I were less safe and the fitness issue were less important, I would still choose not to use a car, like I have chosen for my entire life.
And it’s not new, either. First commits to the repo are well over a year old.
We live in a world were science and technology won. Religion is desperately trying to latch on in order to remain relevant.
So you think it’s just the start?

What’s the thing with CBDCs?
> That doesn't sound like a hardware bug to me at all.

It isn't. It's a rare case of a software bug being worked around in hardware. That alone makes it fascinating.

The natural way of handling it in software would be to disable interrupts temporarily while changing the stack segment and pointer. You could just say that software developers should do that, but there's a performance cost, and more importantly: The rare random failures from the software already out there that didn't do this, would give your precious new CPU a reputation for being unstable. Better to just make it work.
Ah, yes, this is pretty close to what I needed. I across referenced it with my county's parcel survey :)
Twitter feed has only the people you follow.
> The past two years created a new type of hype: PMs. Until the Tech Giants (eg: Google, Meta, etc) made PMs the ‘new normal’ of how to get any product functionally built and delivered, down to the tiniest button, startups used to do just fine with no PMs. Chances are very high you could do with less (no?) PMs. Also an excellent forcing device to kill some of your internal bureaucracy.

I think the PM fad has been around much longer, to the point one almost forgets how to build products without PMs. But from my experience, I find that the prevalence and empowerment of PMs is largely turning Devs into highly-paid code monkeys, as opposed to the highly-paid and empowered value builders that they should be. Much of the busy work that many PMs are doing can be replaced with a bit of Agile/Scrum training of a few devs per team.

At the same time, I would say that having a product owner who develops a deep understanding of the domain, actively talks to customers, and steers the vision and direction is immensely valuable. But I hardly see any of my PMs doing it.

Anyway, I am seeing a lot of negative sentiment towards the prevalence of PMs these days, which I mostly share. Would love to hear any counter-thoughts or corroborations of this. Are PMs necessary? How should they be utilized?
There are public interest exceptions to European right-to-be-forgotten laws.

Cases are handled on an individual basis. Sometimes those exceptions apply, sometimes the needs of the individual supercedes those public interests.
Squad, Tribe, Union
A not insignificant portion of HN posts are selling something and not all are related to tech. It's worth having a similar skepticism for other posts, it's eye opening
Git's ui is bad because it was not planned out. people added features as they needed them without enough gatekeeping to maintain consistency. Linux in general is notorious for it's bad interfaces(I'm looking at you iptables)

I regard fossil as the gold standard of a good version control command line interface. but it has the benefit of having effectively one developer. but even hg has a more consistent interface. did they just care more? perhaps it was the benefit of learning from the mistakes of git?
Indian-American living in the Bay Area, I used Regrid as suggested by another commenter.
One of the positives for sure.