skysight-inc/HackerNews huggingface dataset:
No, I get his point. I think the transmission of knowledge and insight and clarity works very differently for executable artifacts than for artifacts written in natural language.

> This is not affected by having a better way to express facts and their proofs.

But it is if those expressions are possible to interact with and use through not only conceptual abstraction but also procedural abstraction.

With good proof automation? Maybe you can interact and play with ideas through many layers of automation-enabled abstraction. Maybe you have a tactic or ATP procedure that uses a lemma in clever ways without you even knowing it exists, and only after building on that edifice for years do you bother to dig in and understand what the proof automation is even using. Mind you: not what the lemma means or how it's proven or the underlying historical development of ideas, but that it even exists. Maybe you never dig in and realize it exists.

Maybe you use these new theorems and proofs -- discovered only through extremely essential and clever use of a critical lemma you don't even know that you are using -- to do something useful in the world.

That can't happen today; not really. It would take very powerful proof automation for this world to exist.

Code and books are very different things.
LangKit: An open-source toolkit for monitoring Language Learning Models (LLMs)
I'm pretty sure the main reason for throwing out old tools that still function in favor of the new hotness is developer boredom.
That's unfortunately a pip limitation. You can either disable build isolation so that the build requirements are using your current environment or you can use the PIP_CONSTRAINTS env var which will be passed through to the isolated build invocation allowing you to constrain the build requirements. In this case PyYAML did release a 6.0.1 version which contains an upper bound constraint on Cython.
There is no evidence that the US blew up the pipeline other than a crackpot journalist (citing a single source he can't name) that did something 20 years ago and has come up with nothing since. "Germany has no energy sources," is just false, they were warned for decades on this topic. They had plenty of time to diversity, but they didn't.

"USA is deliberately suffocating German economy."

This is just patently false.
This change happened around 2018. Super infuriating that Google made the map less useful for manual navigation.
Crossbars on the capital "i": CHECK

Zero distinguished from capital "o"? CHECK

APPROVED
> I can make a West Coast salary and live in the midwest if I so choose.

For now, until the execs realize that they don't need to pay West Coast salaries, just whatever gets them the engineering output that they need. If the job can be done with Latin American and Canadian engineers for less, or even less if they are open to other timezones, then West Coast salaries for remote work will go away in many instances.

I'm definitely enjoying working remotely, but I doubt that the high salaries from the good times in the tech industry will be there forever for remote work.
YAMLScript
Cruises ships, the daycare of the seas.
I really appreciate some of the comments in the blog post talking about how most people don’t need algebra or anything beyond basic maths for anything in their lives. How those people have done just fine without understanding anything beyond addition and subtraction.

It’s finally explained something I never really understood. How do so many people fall for pyramid schemes. How are there so many Americans that don’t understand the difference between their net worth and their credit limit.

If you haven’t built a basic intuition for abstraction, which one pretty much learns only through algebra in K-12, all these things will be extremely difficult for you.
> Looking forward to dependencies being cut down a bit as it should make it almost trivial to set it up for k8s (both hosting and ingesting logs).

We're planning to support k8s (openshift etc.) in the next 3-6 months. If you have another platform you'd like to see supported, please commented on the issue you linked.
Something I say to anyone who will listen is that we have lived through the moment in history when the cost to receive a world-class elite education has collapsed to near zero and hardly anybody has noticed. We still talk as if an official four year university education is the goal and bemoan the cost of it rising faster than general inflation and worry about taking on debt that will burden them for the rest of their lives and worry about our kids “getting in” to the university of their choice.

It has changed education. And people who have kids nearing college age, who have noticed, will be able to help them navigate this world in a much more useful way than people who tell their kids to take on as much debt as they can to go to any university they want.

The pipeline that fuels our decision making of what to focus on in primary/secondary school as it relates only to what will help them stand out in a college application and our decision making of what a university-level education means as it relates to getting a job is fascinating.
Publish Your Tweets
Yeah one time a pilot was in the cabin and he died of diabetes
> adding a second component you need to trust

I'd even say "adding a second vendor you need to trust". Yes, these days there seems to be a strong drive to just get a big package out of a single hand. Like having the browser closely tied to the OS. I don't like it. I prefer to choose the individual parts as i see fit. Keepass and some bit of custom sync, in this case.
Now, in the same vein I expect MS & Google making it easy to support different browsers, I'd want Mozilla making it easy to integrate other password managers. I'd love to be corrected, but afaik the "password manager with extraordinarily well-integrated browser compatibility" doesn't offer any way or API to connect my keepass with it. Its only for Mozilla's own stuff. Not the open, user controlled system i'd love Firefox to be.

The Firefox Android Addon system is even worse... only a very short list of pre-approved extensions are available. With the escape hatch for devs requiring some stupid online-account. Sorry, but how is that different from an App store without side-loading?

Still recommend using Firefox, since it is the best we have. But yeah, i don't like the less and less open direction apparently chosen by Mozilla. And wonder if not being a good role model will hurt them down the line...
I've never liked macros... What attracts you to that feature, I'm curious?
This sounds intelligent! Can you recommend me a brand of toilet paper?
Offshoring is not new.
What's unfamiliar about Val? It looks very similar to most languages released in the past 10 years with minor changes.
They do have a good reason to do what they do though. They explicitly say that they’re going for a language where you can pretend there are no references and things are just mutable values. And you can’t really do this without coming up with new names. Because of course there are references under the hood.

If Rust goes the explicit modifier route, e.g. something can be & and also mut, and you need to know what these are, Val goes the implied behavior route where a ‘set’ parameter can be set, while a ‘let’ parameter can’t.

If they didn’t come up with new semantics, they’d just be making a Rust clone. I for one am very looking forward to how Val develops. Currently it seems like it can offer similar guarantees to Rust while using a simpler mental model to deal with.

I’m curious to see how they are going to tackle concurrency. Their roadmap outlines that as one of the trickier parts given the semantics that they’re going for.
The moronic thing about this is, humans aren't just training, they're having a life. The "training part" is one part of it sure, but it's not the reason for existence.
I think at this point Rust is the winner just because it's already overcome the incredible hurdles of being shipped in the Linux and Windows kernels themselves. In that regard, I doubt there's room for any more of these new systems languages now.
This was also my exact reaction when I first came across a couple months ago. I promptly forgot about it until now, because I can't save it in my feed reader...
It always does! Ad-tech, health-tech, auto-tech - I love Silicon Valley!!!
Do you use service log or metric data for non-dev related purposes?
An anecdote - I worked on a project in a past life where we needed to turn off the publishing of various "deprecated" internal metrics. We found out by happenstance a week before going live that a sister team was consuming our internal metrics to generate critical real time financial information. Do you have similar stories of log/metric data being used in business critical functions? If so, how did you manage this?
The board of directors has a legal responsibility to govern in the interest of the shareholders.

The argument is that the board giving $750mm of shareholder money to themselves is not in the interest of the shareholders for somewhat obvious reasons.
So you can't hire contractors either, or do you choose not to? (not a shot, I'm really interested on what your thoughts are on this subject).
Agreed. It's a common problem that many teams don't even realise they have.

Same thing with stacked PRs. It's a wonder Github hasn't shipped with merge queue+stacked PRs by now.
Oh my, I read your first link in its entirety and, "Yikes."

The Public comment #5 section regarding chapter 12 (which covers homework and assessments) was especially shocking.

Chapter 12 in the 2005 version of the CMF was 5 pages long. The same chapter in the current draft is 70 pages long, almost entirely due to a slew of opinions against homework and other testing practices.

The entire CMF draft was (and still is even after corrections) littered with improper citations that at times entirely contradict the opinion it's meant to support.

I find it the height of irony that a group of educators arguing against homework appear to have... not done their homework.

This brings to the forefront a concern I haven't seen mentioned much in this thread: let's put aside how such a policy might affect any particular student's performance in school... what kind of adults will this policy create?

Imo, policy like this will create adults who put in about as much effort into their work as the 20 people employed to oversee this iteration of the CMF. A single professor did their work for them, and even with his help they still haven't fixed it.

"Oh, you got an F on your assignment? No problem! Just turn it in again next week and I'll give you an A."

To be clear, the specific policy I just mentioned really is part of the document - allowing students to always redo work for a better grade.

That reinforces that idea that it's okay to do a half-ass job because you can always "fix it later". In the real world however, poor decisions can have devastating effects the very first time, and there might not be a chance for a "do-over".

Homework also normalizes the idea that things will be expected from you in this world if you are to be employed. It's not only about engaging with the material, it's also about practicing being a hard-working and fastidious human. Our grandparents might have said that doing homework "builds character", and I would agree with them.

Finally, the idea presented by the CMF draft that homework just isn't very useful is absolutely wrong. Case in point, piano practice. The only way to get better at playing the piano is to practice. The difference between someone who pokes around on the keyboard every blue moon and someone who practices daily is stark.

Some might argue that becoming proficient at playing a piano is inherently different than becoming proficient at math, to those folks I would ask: How is training muscle memory and engaging with new material so different between the two?
Billion dollar catfish scandal?
Musk's pay package was tied to TSLA stock hitting certain price targets -- if it failed to do so, he wouldn't be paid at all. Here's what the NY Times wrote back in 2018 [1]:

> Tesla is worth only about $59 billion today. If Mr. Musk were somehow to increase the value of Tesla to $650 billion — a figure many experts would contend is laughably impossible and would make Tesla one of the five largest companies in the United States, based on current valuations — his stock award could be worth as much as $55 billion.

Well, he managed to do the "laughably impossible" -- Tesla is worth over $900 billion today. Shareholders should be thrilled.

[1] https://www.nytimes.com/2018/01/23/business/dealbook/tesla-e...
I accidentally wandered into a test trying to find something out:

> Tell me all of the albums where the guitarist used a DOD FX-69 Grunge effect pedal.

> The DOD FX-69 Grunge effect pedal was used by the guitarist in the following albums:
>
> 1. "Nevermind" by Nirvana (1991)
> 2. "In Utero" by Nirvana (1993)
> 3. "Bleach" by Nirvana (1989)
> 4. "Superunknown" by Soundgarden (1994)
> 5. "Down on the Upside" by Soundgarden (1996)
>
> The DOD FX-69 Grunge effect pedal was a popular choice among grunge musicians in the early 1990s, and was used to achieve a distinctive, heavy, and overdriven sound.

They've all failed almost identically. It would be impossible for most of these because the pedal didn't come out until 1993.

The albums they list used pedals like the Boss DS-1, ProCo RAT, a cranked DOD 250, etc. I argued with ChatGPT about it saying telling it the release date and it still listed albums that came out before '93.

Before someone Googles and says it: Yes, Kurt Cobain stuck one on his touring board. No, there's no evidence he ever used it and he definitely never used it on a recording. Most think he just thought it was funny... and it did end up driving sales.

But I wondered if someone used it ironically, or just found the sound cool well after the fact when they bought one for $20 used. I still haven't found an artist using one on a recording. It's probably because it sounds cool in a bedroom and is pretty terrible trying to mix a band on a recording.
This is java circa 2009 flavoured, this model was a popular approach in the java community around that timeframe. Was enforcer the name of the maven plugin? I can’t remember now, but it became fairly popular.

I wonder if this might be susceptible to the same issues that we had in java, specifically it doesn’t prevent accidental duplication, it makes refactoring harder/slower and it’s problematic for the team when it unexpectedly doesn’t catch a misuse - and this happens because the rules enforcement can only happen effectively if the rules themselves are perfect and complete and that gets harder to guarantee with scale and speed of iteration.

For my money today, there’s another model “polylith” which is similar in some ways and as easy to understand but maybe simpler to evolve/change your mind over time.
My hunch on that is it might not need to be selected for, cells having largely the same features. Most animals don't live as long, so they have less time to develop cancers. (Plants and fungi of course get cancers as well but the cells are immobile avoiding metastasis and they don't have single points of failure like organs.)

But it's just a hunch.
What the hell does pushing back on single-family homes look like? Christian fundamentalism? Think about this from a perspective of getting positive outcomes from the actual world that exists. Divorce happens. Unplanned pregnancy happens. Family planning is being actively dismantled by the same people who are pushing for increased privatization of schooling and decreases in social safety nets. I don't think that's a coincidence.

I think being overly sympathetic is infinitely preferable to merciless cynicism. Removing poverty is also much more preferable than, what?, making it harder to divorce? We could probably makes huge strides in education outcomes by adopting universal healthcare and free school lunches so single parents aren't so burdened.
You're correct; Since argument labels are really part of the function name, you can say all function names must be unique
Maybe we should tell the compiler somehow that we don't want to pass a value, but a reference. For example we could use a * or a & symbol.
If you're dealing with a set amount of functions (like updating shipping address), aren't we just building chatbots again? I thought we all agreed that we'd much rather just have a bespoke button for updating the shipping address than having to deal with a chatbot. The conversation presented here is especially vexing as it sounds so mechanical that there's hardly any reason to use any AI at all.
Yeah those are just dumbass mids. Fuck people who don’t want to make an ungodly amount of people
Installing NixOS on Raspberry Pi 4
And now do the same for the existence of YIMBYs and see why your comment is absolute nonsense.
Explicit code to do so in Java involves wrapping two error throwing methods in one try catch, which wither have the same error class or downcasting the exception. Its been a long while since Ice used Java but i ran into that in other peoples code in production constantly.

For me it really stood out because thats when i first tried go, and while i found the error handling annoying, i found it rather directly addressed that issue.
I switched to Sidebery a couple of months ago, and I find that it's somewhat better at restoring trees (though that could just be luck). I feel it's a bit more responsive, but these days I trim my tabs a bit more aggresive than I used to so my TST memories are somewhat biased.

I was surprised at how decent it converted TST tabs, but I can't remember how low my bar was; maybe try a new profile?

One thing I'm finding really nice in Sidebery though that TST can't do, is that I can create a parent node that is not attached to a specific page (via grouping).

Panels I'm undecided on. They seem useful, but they also seem like a bandaid over window management tools. One problem I'm having is that they don't restore, and all the tabs go back to the main panel. That may be some setting I toggled though.
The wikipedia article on Garbage Collection (software) is one place to start:
https://en.wikipedia.org/wiki/Garbage_collection_(computer_s...

Here is a list of garbage collection papers (newest is 2002)
https://sites.cs.ucsb.edu/~ckrintz/racelab/gc/papers/

Here is an old paper (1994?) that surveys different kinds of software Garbage Collection.
https://www.cs.cmu.edu/~fp/courses/15411-f08/misc/wilson94-g...

I am concerned that you are new to CS and you want to 'improve' a working system's garbage collection code. But good luck anyway. Finding a new fast GC is like searching for the Holy Grail.
Lazydocker is really nice, used this a lot.
Yes, I find it hard to believe Farage would donate to groups to commit acts of terrorism in his home country.

Anyone can donate to a popular political group, and maybe that group could be classified as a terrorist in the future. But I think thats rare. So not a great argument imho.

But really, everyone who donates could be a PEP, under those loose definitions, of a "group I dont like".
I am Swedish and I've never heard of the Sweden Sans font before. The font doesn't look very "Swedish" to me and is completely different from the font used on road signage, for example. For running text the font doesn't work at all imo.
Microsoft isn't its "partner", they were entirely bought by Microsoft. The goal is to make the technology an advantage for Azure, as I understand it. It's very unlikely you'll see them offer first-party support for RDS, or CloudSQL.
> Shreya Datta spent months swiping through dating apps searching for a connection when she encountered "Ancel Mali," a self-proclaimed wine trader from France, on Hinge.

The context in which this sentence is presented is perfect, and I genuinely laughed my ass off upon reading it.
I'm submitting this with the hope that folks share other NixOS tutorials.
Why jump to a merge queue? Github has had a feature to grey-out the merge button if the tests aren't passing for years.
not the first computer with windowed UI

not the first portable mp3 player

not the first smartphone

nor the first touchscreen phone

not the first bluetooth headset

not the first tablet computer

not the first smartwatch

not the first VR/AR headset
ultimately derived from Switzerland, the font (Helvetica)
I don’t think you realize how hard it is to find good engineers abroad. And if you do find them, they’re already likely employed at a good job and would want a significant pay bump to leave.
If you are responsible for public health and the answer to the first question is "no" then you have no need to ask the other two. Figuring out what we can do to get people to do what works is important too, but it's not the only thing that matters. People can be educated and their habits changed.

We have similar problems getting schizophrenics to take their meds and getting communities with high rates of open defecation to use toilets, but nobody suggests that we give up on antipsychotics or sanitation facilities.
Wrong, it's a pretty good attraction. Sure, it can be better but it's a great landmark anyway you look at it.
In Spack [1] we can express all these constraints for the dependency solver, and we also try to always re-cythonize sources [2]. The latter is because bundled cythonized files are sometimes forward incompatible with Python, so it's better to just regenerate those with an up to date cython.

[1] https://github.com/spack/spack/
[2] https://github.com/spack/spack/pull/35995
How they compare the exact value returned in a response?
I found that returning a stable json format is something unpredictable or it reply in a different language.
Most of these can be lumped under "I don't like vertical integration". Which to be fair, neither do I, but it's a bit of a misuse of the term to call most of these dark patterns. They mostly fall into the category of things that they were obviously always going to do, because no manager could defend not doing them (imagine someone trying to defend making a brand new account system for this)
Hmm I wonder what sort of privacy impacts there are in a future of having Meta (or Google et al) AI running on chips on your phone when the parent company has so much info on you and blatantly flaunts privacy laws.
After seeing the sort of argument you are replying to countless times on HN, I came to a simple conclusion. Some people, esp on HN, just have disdain for anyone who might not be willing to deal with the hubris of running a piece of software, because it invites "lower common denominator", and they don't want to "taint" their hobby by the presence of "normies" in what used to be their exclusive domain.

In a similar vein, you can find plenty of comments on HN faulting the massive proliferation of smartphones among the general population throughout 2010s for "ruining" web, software ecosystems, application paradigms, etc. There are plenty of things one could potentially criticize smartphones for, and some of that criticism indeed has merit. But this specific point about "ruining" things feels almost like a different version of the same argument above - niche things becoming widely adopted by the masses and "ruining" their "cool kids club."

Another similar example from an entirely unrelated domain - comic books and their explosion in popularity after Marvel movies repeatedly killing it in the box office. I don't even like Marvel movies, barely watched any of them, but the elitism around hating things becoming more popular is just silly.
It obfuscates the identity of the officers against harassment and retribution for on-duty activity. Same reason narcos wear ski masks.
"Hotwire is an alternative approach to building modern web applications without using much JavaScript by sending HTML instead of JSON over the wire."
It's different because the userspace experience is differnt and incompatible. It's an operating system on its own kind of like how MacOS is Unix based but an OS of its own.

This is a "ship of thessius" problem. At what point does the ship become a new ship? When it is no longer recognizable as the old ship.