skysight-inc/HackerNews huggingface dataset:
You're misrepresenting the situation. Gibraltar was Spanish for a few centuries ( after the Reconquista), and after it lost a war the UK annexed it. It's not some colony far away, for Spain, it's a part of the Iberian peninsula, and is entirely dependent on Spain.

It's like Hong Kong, in a sense. Land the UK took because it could from a weaker country due to its strategic location, but which is mostly integrated with it's former country in terms of labour and services.
How would you suggest the UK "stops the small boats"? Any attempt to stop them by force or push them back would result in a large number of drowned migrants. The only way to stop them is to discourage them from getting in the boats in the first place. It would be nice if the French did that on their side of the channel, but they don't.

The point of the Rwanda scheme is to make getting in the boat an undesirable option, because you'll just end up somewhere you don't want to be. The hope is that few people will have to be sent to Rwanda because they'll stop paying people smugglers to make the trip.
Not keeping up with the times with VS?

Eclipse is still my get to go, InteliJ wants me to buy Clion + InteliJ licenses for features Eclipse does out of the box.

VSCode isn't an IDE, plus Rust is the new kid in town.
> Cryptocurrency has both of these effects.

So, you have "both of these effects through cryptocurrency", but when you arrive at your house, it's taken over by someone else. What now?
Thank you. I missed that when I checked Wikipedia earlier.

Wikipedia is known to have inaccuracies at times and it's surprisingly hard to find good sources on this subject. FWIW, Snopes disagrees in this fascinating piece about known cases of people being buried alive:

The practice of ‘waking’ the dead (having someone sit with the deceased from the time of death until burial in case he ‘wakes up’) began out of this concern.

https://www.snopes.com/fact-check/just-dying-to-get-out/
Could you list some things that are red/green flags when perusing someone's public code/projects?

I'm preparing to publicly release a project with the intent of building it up to demonstrate my own experience level.
I'm asking as someone with next to no prior public code despite developping back-end almost full time since I dropped out 10ish years ago.
I guess I'm asking for external criteria for whether I'm impostor-syndroming!
It's not that simple. Finding collisions for md5(f(x)) could be harder than for md5(x) if f is a half-decent hash function. For the former, likely the best you could do is a (brute-force) brithday attack, with complexity ~64. OTOH, the best known collision attack on SHA-1 has complexity < 63.
I once had the idea of implementing an LSP server for Kotlin/Java by embedding it as an IntelliJ plugin and backgrounding the IDE while doing the actual coding in Emacs.

It kind of worked, but once I stopped needing to use Java for my job it became too much of a hassle to flesh out.

https://github.com/Ruin0x11/intellij-lsp-server
I'm aware of the hype and the optimistic studies around vegan diets (as an ex vegan I've been through a lot on the topic).
The problem with the vegan narrative is that it tends to focus on 2 main outcomes: weight management and the health of the circulatory system.
This is fine and nobody doubts that compared to a typical diet composed of processed foods this is a great improvement.
What the discourse is severely lacking is what are the shortcomings of this diet.
You always get generic messages that you must be careful and keep an eye on b12, iodine, iron, zinc, vit d, calcium and b3 but we never had large studies about how well this warnings are being followed.
Are you in an optimal weight? How about your lean mass? Any deficiencies? I couldn't find any large scale reliable study on these values. But by experience of myself and people I know (and by many people who had to stop this way of eating) it seems like it is a real problem, much more difficult to get around than the news outlets will make you believe.
Hare doesn't care much about mathematical purity, and the features it does have were chosen on the basis of what is useful in systems programming.

There are sum types (tagged unions), but product types (tuples) were a late addition and we still don't have support for tuple unpacking or pattern matching on them.

Tuple unpacking is something that's been put off for very long but looks like it is going to finally happen soon. Pattern matching on types other than tagged unions hasn't been completely ruled out yet, but is also not guaranteed to happen.
Clay tablets were often wiped and re-used. A lot of the ones we have preserved were preserved because the buildings used for storage burnt down, hardening the clay tablets and preserving the writings.

In other words, clay tablets get re-purposed too.
Hare has some pretty neat features I have to say:

https://harelang.org/tutorials/introduction/#using-yield

https://harelang.org/tutorials/introduction/#tagged-unions-i...
https://hn.algolia.com/?q=uriel
We still didn't see Apple desktop m-series cpu
And you know, maybe 12900k is 15-20% faster in single core, but cmon - it's 250W tdp cpu vs something that doesn't even need active cooling
How it is reproducible if you cannot control your input data?

There are GC languages like D, where you can have C++ like RAII deterministic deallocations.

Learn to use the features.
THANK YOU for the difficult work you do working on a DAW. I have enormous respect for your domain, you are "doing god's work" (or noodles' work, or whatever floats your boat) for sure!

I think it's a common mistake, especially in classical music, to think about musical traditions as "rooted in clear rules and numerical relationships." It's analogous to thinking that language is rooted in clear rules and structures.

The truth is just the reverse, the rules, numbers, and structures are rooted in music. They exist to describe an organic, emergent cultural mechanism that is continuously changing. Ask yourself: which came first, music or theory? Language or grammar? There are plenty of musical styles with no formalized structure or numeric relationships, just as there are plenty of languages with no formalized structure or even spelling. Grammar and music theory/notation are fingers pointing at the moon, and we are looking at the finger.

And when we try to engineer systems to help people point at the moon, we should be focused on the finger. Musical structure and numeric relationships are the way people communicate about music, and the tools should speak their language. Unfortunately they have to grapple with the painful inconsistencies in that language and those structures. Computer music comprehension has problems analogous to computer language comprehension - emergent complexity so high it took neural nets to finally achieve real utility.

PS - it's true that Western music has, near the bottom, some relationships that were mathematically derived by none other than Pythagoras, among others. Relationships of fourths, fifths, octaves, and equal temperment all had numeric justification... But that justification was still only there to describe the practice which had already become common, an explanation of "why this sounds harmonious" as well as a proscription for "how to sound harmonious". That some rules are internalized by some generations and broken by others illustrates exactly the problem with the system.
It sounds like Hare has a philosophy around safety here and it's just not documented - at least not where I could find it, scrolling around a bit.

I did find this page, though:
https://harelang.org/blog/2021-02-09-hare-advances-on-c/

Which I found very interesting.
Why would a grocery store have a phone number at all?
It's unpopular with left-leaning journalists, lawyers, and politicians. Polls are mixed about whether it's popular with the general public, but that's what elections are for.
I used to think the unix way of doing this was overly baroque, till I had to figure out how a terminal emulator worked in Windows, which requires an actual instance of the windows default terminal program (con.exe I think?) be drawn on the screen. So if you want to grab the IO from a terminal program (say to make your own terminal emulator), the standard solution is to draw a windows terminal off the boundry of your monitor somewhere and scrape the text out and send it to your program.*

*(I think this situation has improved somewhat in recent years with Windows Console?, but I haven't had a chance to play with that yet).
Not staticassertion, but I'm a hobbyist in real-time audio. I like Rust as a vocabulary for describing/teaching safe programming (&/&mut/Send/Sync). I find that multithreaded programs written in Rust are usually correct while multithreaded programs written in C++ are usually wrong, because Rust encodes the rules of shared-memory threading in its type system (&T: Sync objects are thread-shared, but are either immutable or atomic or requires locking to acquire a &mut T). I also appreciate guiding users towards exclusive references (&mut) to make it easier to reason about code. However I find it makes it too difficult to mutate through shared references or write unsafe code (passing Stacked Borrows while lending out &mut is more like solving puzzles than writing imperative code, and writing code that never touches & and &mut is a quagmire of addr_of_mut!() and unsafe blocks on every pointer dereference), and the Rust community appears uninterested in making unsafe programming more ergonomic.

Personally I'm a fan of C++'s unique_ptr/& as an unsafe escape hatch from Rust's single ownership or runtime refcounting overhead. It's at least as safe as Rust's unsafe pointers, and far more pleasant to use. Qt's QObject ownership system is reasonably ergonomic and QPointer is fun (though dangerous since it can turn into null unexpectedly), but Qt uses it pervasively (rather than only when safe memory management fails), relies on prose documentation to describe which pointers transfer ownership or not (resulting in memory management bugs), and QObject child destruction and nulling-out QPointers relies on runtime overhead. I haven't tried ECS or generational indexes yet, but those are popular in games, and Vale has its own ideas in this field (https://verdagon.dev/blog/generational-references).

On an aesthetic/principled level, I'd rather punt alias analysis to the programmer (pointer/restrict or &/&mut) rather than compiler complexity/magic (TBAA and provenance checking). Glancing at https://harelang.org/specification/, it seems Hare lacks an equivalent of restrict/&mut, and I wonder if that prevents the compiler from ever adding support for removing redundant loads/stores through pointers.
How are those legal anywhere? Thankfully they aren't here in France.
How do you encrypt your data in a way that you can decrypt several decades later?

The script you downloaded from GitHub, or data format used, may long be gone.

Especially relevant if you store in the cloud (you should probably encrypt in that case).
Svetovit: God of Abundance and War
I don't even know who owns/CEOs it now. I'll be there with popcorn to see what happens but nah I doubt my usage of Twitter will change unless the platform goes boring first
Elon Musk wants to own Twitter to protect his ‘freedom’, not everyone else’s
> True. But DaVinci Resolve only crashed on me once in 6 months. Just sayin'

FUD Alert ! FUD alert !

I know lots of people working extensively with Premiere. Not one of them has complained of crashing.
Requiring "Real Name" (and making it public) is an incredibly privileged position that immediately destroys the website for a significant amount of people.

Anonymity is very valuable, especially for some of societies' most vulnerable, who should have a place on social media.
> All this makes me want to do is delete my entire Github. I do not want a future employer judging me on the basis of the half-finished amateurish experiments I knock off on my free time as I'm learning a new language or messing around with a new framework or just screwing around in general because I'm bored.

This is my Github too; part of me thinks I should finally arse myself, remove unused repos, and build a portfolio with some example projects of how I build software (hopefully allowing me to skip a technical interview assignment), and maybe build some libraries for various purposes. Doesn't have to be anything unique.

I mean my CV is impressive (according to recruiters / employers), but it's a high level overview of projects I've been involved in, it doesn't really boil down to my individual achievements because projects are generally team efforts.

I do believe this is the danger of judging someone by CV alone though; just because they were a part of a project, doesn't mean they were big contributors to it. I've seen plenty of people who do one small commit per week and call it a day. There's always the one team member who gets carried by the rest of the team, just like in school. (childish as it might be, I do believe managers should review individual team members' contributions and to let people go if they're only along for the ride.)
> What missing elements do you see in free software that we should be
trying to patch?

The hard work is still to be done on the legal and cultural levels.

I don't want to use free software as a marginalised, "not supported"
exception and constant "inconvenience" to others who have been
deceived or bullied into domesticated monopoly silos.

I want a right to choose (or build for myself) software that fits my
needs, practical, ethical, technical, financial and cultural, and to
have those choices work at least as well as for a big-tech consumer
for most common tasks in a modern digital society.

Surely the real action is now on the protocol and interoperability
level? Things have essentially not improved since the late 80s when
you couldn't load a DOS file on a Mac, except now the barriers are on
the network. In this regard I am pleased to live in Europe which I
think is doing good things to promote software freedom and diversity -
though I hear you have reservations. Do you think the dangers (in
Europe) are that we simply replace corporations with governments as
enemies of freedom? If so, how can a free market (rather than top-down
legislation) address the seemingly insoluble problem of forcing giants
to open and interoperate?
Hahaha. And I'm sure the price is cheap. Only an arm and a leg. Oh. And your soul. And with the caveat that the 250 Mbps will only be available in the middle of the night, when everybody is sleeping.

After having had to pay Vodafone 50 euros a month for 10Gb of data through LTE for years, due to the impossibility of getting any connection faster than 3Mbps (even as a business), we are also, through the miracles of governmental financial incentives and magnificent planning (only 2 years late), getting the joys of high speed internet in our area. 100 Mbps. Hoooray!

Telecommunication in Germany is a cancerous, price-gouging cartel that needs to be eradicated at all costs, packaged on the first-available Falcon Heavy flight, and propelled at escape velocity out of our solar system.
It is also often of form of courtesy. You don't want to burden single parents further by elaborating how damaging this can be for their kids, especially if you have them in your audience and it makes it even worse if they take it to heart. So in that situation being polite and being honest collide like in many situations. There are some true believers, but they are far more rare.
Too late, the main corpus of a contract is now officially known as the contract bell.
> C++ definitely isn't it, and while Rust does bring significant advances in this field, it's a very large and complicated language.

It really isn't. Not compared to C++, at least. Or to managed language runtimes, which are just as "large and complicated", only beneath the hood.
I don’t know why the author spends so much time “debunking” the M * N argument for LSP. It seems a minor side point.

It’s a bit incoherent anyway. The author’s argument seems to be that if you have language-provided pluggable language servers and editors that can host these language server plugins appropriately, then the M * N shrinks down to a small problem, without the help of LSP. Well, OK, but that’s actually the original LSP M * N argument, except with LSP replaced with something just like LSP.
I think that's pretty poor speculation. We know nothing about M2 and the i9-13900K yet. On top of that, responsible use of energy is exactly where we should be heading, not absolute single threaded performance.

Also if you ever owned a top end Intel MBP you'll know how much pain Intel can inflict on you.
I've just dug through the Neovim ecosystem trying to upgrade my 5 years old .vimrc and I feel it has come a long way since LSP became a thing.

It can now actually act like real IDE as the editor knows about the code pretty well.

https://github.com/folke/trouble.nvim

https://github.com/tanvirtin/vgit.nvim

https://github.com/kosayoda/nvim-lightbulb

Some features look pretty close to what you get in JetBrains.

I can see some parts are kind of rough until you Google enough to fix/customize to your needs but if I take enough time, I might as well feel like its a decent replacement for a real IDE.

For a starter, AstroNvim helped me figure out what the juicy plugins are these days.

It seems NvChad and LunarVim are preconfigured competitors to it.

I wonder if JetBrains one day gets left behind for not using LSP ecosystem but perhaps Fleet might implement it.
I see a lot of comments here deriding githubs, but what if you’re breaking into the industry? Surely in this case its a good thing to have a github link on your resume? For me, being one of those people trying to break into tech, I curate my github with projects, whether success or failure, to show the sum of my own initiative and research, whether borrowing code structure from a given online course for a bigger project, or practicing a concept on my own (I got much better at this recently). While I may not have a degree or previous work experience, I think my github can be a useful indicator for a prospective employer; whether I’m at a place they are fine with and/or I’ll be someone they could get up to speed with if need be. Maybe I’m wrong…
> If this were really a huge part of most people's experience of Urbit (that they want to search apps by name rather than by developer) then it would be important to know.

This is people's experience, period, not limited to Urbit.

> most people just follow a link from the developer's web page in practice

Or, rather from widely available lists of "10 best apps for X right now".

How do you expect anyone to find any apps in Urbit if there no sites to speak of and no lists of apps to speak of? Here was my experience trying Urbit out: https://news.ycombinator.com/item?id=31124587

> is complaint #10 on a list of complaints where ##1-9 mean these kinds of people are never going to use Urbit much anyway.

Yes, it's possible number #10 on a list of complaints, but they are not in 1-2-3-...-10 order. It's all of them together.

Put yourself into the shoes of a person starting with Urbit. Download Port. And then tell me what exactly the new user is to do? Suddenly "it's not a huge part of people's experience on Urbit" becomes "the biggest part and the biggest part #1" because there's literally nothing there.
We do not want to "blow up the deal", a lot of effort & ongoing research has been applied to adapt without breaking it's purpose or charecter or brand.

Same Twitter, just better.
The presumed target audience probably isn't children, it is mostly older teens and adult (British) tourists who may recognize American candy from social media and US films/series. But as others point out, that is likely just a front for money laundering.
> But this seems to be a VSCode issue.

That’s a protocol issue! While LSP has a method to report a transient (edge triggered) error, it doesn’t have a way to report a persistent (level triggered) status. And to solve configuration problem, you really want a “status” concept - you need an LSP health indicator which is either red or green, and which you can click on to get info about what the server thinks the project is. There’s no such feature in LSP at the moment.

https://github.com/microsoft/language-server-protocol/issues...
The biggest missing feature here would be a way to not only select by type and for example allow something like

type foo = (A int | B int)

Which from my cursory reading does not seem to be possible?
Yep, we're getting too impatient and that's not helpful when it comes to think deeply about what we've been taught. Yet that's the most important part of any job IMO. I'll check it out, maybe you're right and he's rambling. That would be surprising to me, which is the reason I replied to your post.
To clarify, no one is picking a Macbook because it integrates with the existing IT infra, we are simply not allowed to use anything that doesn't integrate with the various corporate malware. And since they couldn't get Linux to play nice with those requirements, it's not even offered as an option.

Our devs are picking Macbooks because it's the lesser pain in the butt, many would go with Linux if allowed.
I've googled people's names + github if their GH wasn't provided, just out of curiosity.
It's certainly much more complicated than Go, and not just on the surface
I see that Hare exposes itself via the hare module in stdlib. Is there any plan for metaprogramming/macro (not preprocessor) in Hare?
The capitalization gives away that it's likely also a book.
> It depends how you write the app. But an app always knows the Urbit identity of the ship it is installed and running on

So, it has all the access necessary to go ahead and steal my money, right? Because, quote, "network identity and keys are already baked into all your interactions with the network"
Hmm. I see.

Actually, I never put on TV in the background. Either there's something I want to watch or there isn't, in which case I turn off the TV.

I sometimes keep music on in the background. But this is only if I actually feel like listening to music. For instance, I can drive for hours with no music on (and no, my car exhaust note isn't very exciting).
I dont really understand how Elon could just ignore Twitter, if something happens in Spacex, they can handle it in private, but if something happens in Twitter, like Trump is unbanned and he starts to share Russian propaganda, everyone is going to know about it right away.
Is Elon going to sit and focus on other things while his phone is going mad?
People have boycotted bigger things over less. I think it's perfectly reasonable for someone to not want to support Musk and not buy their products or support a site they own (especially if you think they're going to make it worse).
I see this attitude everywhere and I swear it makes no sense at all. Interviewing and selecting
and hiring candidates is gatekeeping. Thats literally all it is.

I guess the implication is that it's elitist or somehow unfair gatekeeping?

If you ask the question "is it a more elitist form than gatekeeping than looking at your fancy university credentials or experience at a FAANG?" then I think it's not so much.

IME it's less time consuming than leetcode and take home projects and about 1000 times less soul sucking than both.
It's not just in big cities either. My small provincial town has several shops and take-aways that appear to do no business at all. They're open for a couple of afternoons a week and never have any customers. There's a pizza place run by a single elderly man who gets annoyed if you go in and ask for a pizza (although he will treat you to a lecture about how wonderful Vladimir Putin is).
What makes ZITADEL a great Keycloak alternative
> Help us by suggesting anything that comes to your mind.

whitecollar.com is free and represents the people who needs your product.