skysight-inc/HackerNews huggingface dataset:
>> One of the most integral programming skills continues to be the domain of human coders: problem solving. Analyzing a problem and finding an elegant solution for it is still a highly regarded coding expertise.

Yeah right. I'm on windows 11 now, with English (Europe) as the system language and a double English and Greek layout. Windows continues to shit itself and randomly add two new languages and two new keyboard layouts to my machine for reasons unfathomable: English (US) and English (United Kingdom).

To clarify, this has been happening since Windows 10. You can find posts about it on the internet, like this one from seven years ago:

https://superuser.com/questions/1092246/how-to-prevent-windo...

The user who posted this says:

Please help, I'm desperate, this is my third computer with Windows 10 and they
all do the same thing.

If "analyzing a problem and finding an elegant solution for it" counted for anything, it would be very difficult for one of the largest software companies in the world to have a long-standing bug carried over two versions of its flagship operating system.

Nah, the truth is that nobody gives a shit about "elegant solutions" or problem-solving ability. Not in the software industry. And that's why LLMs _will_ eventually take over, even though they can't code themselves out of a paper bag. They can spew out code faster than you can type "public void integer FixKeyboardBug()". Why they fuck would anyone care if they can't actually fix any bugs, or create new ones at the same high rate they generate code?

It's going to suck so much having to use software ten years from now. You think it sucks now, but oohoho, just you wait.
The "extra material" has barely any relation to price, which reflects pretty much only to land value.
Blowing up a landing pad, trashing the local environment and sending massive amounts of concrete flying hundreds of yards not killing anyone is in fact techbro idiocy. Not doing something stupid like that has in fact been understood since launches in the 1960's.
I quite liked the article on Metal Gear!
Flying the Kite High Against Digital Colonialism: FOSS in the Era of EdTech
Remembering very recently disappeared Alan Arkin in his Oscar winning role...
Most languages don't have preemptively scheduled green threads like golang.

In Lua and Zig we have "cooperative multitasking" but we get to use the same library for both kinds of applications :)
100% skill issue, not a technical issue.
I agree that Slack is much more featureful, but I fail to see what critical piece of IRC functionality is missing ? If anything, you don't need a bouncer for chat history with suc, so it's more featureful than IRC.

With that said, I seldom used IRC so this is a genuine question for people who used it and miss some features.
> Is programming even the hard part about programming?

Exactly!

Figuring out Programming challenges isnt really ever part of the work I do. Which is mostly business process stuff.

Comprehending APIs is often a pain. A few times CoPilot has helped by auto-completing the incantation I needed when my brain wasnt working and I couldn't get an understanding from the docs.

So as you say, good autocomplete is all I really need.

That and decent documentation!

There is never a moment where I think I'll break my flow and have a chart conversation to write some code for me. Never.

One thing I did think would be useful: If AI could abstract my already written and duplicated code into testable and robust reusable Classes/Methods for me!
I know it influenced the async await design, but I didn't think it was quite the same. Will go do some reading!
Industrial Revolution iron method ‘was taken from Jamaica by Briton’
https://blog.bayindirh.io

It's a semi-regular, assorted blog about my adventures and experiences in life. Generally semi-focused on minimalism, computers and life in general.

It's powered by https://mataroa.blog/, which is very minimal and a joy to use.
That last part stands out to me, him being a researcher, that is. I wonder if there is any detriment to the idea of researchers or other “knowledge workers” who use social media at the risk of exposing new developments or ideas to people who may be uninformed or unqualified in regard to whatever the individual is exposing publicly. Could/does this affect what they share or how they/others perceive their work that is shared?
How to Create a WordPress Admin Dashboard Widget
I think these comments are just because of Elon hate. There are literally a total of 9 residents in Boca Chica who are likely just staying because they like to watch spacex. And FAA violation was largely a myth spewed by newspapers to cater to same audience. The investigation from FAA was normal procedure for any incident like this.
Just last week I went through the calculator tutorial and I gotta say nah this ain't it.

I had hope even though I knew what the deal with projectional was going in and indeed I was disappointed. The number of proprietary "dsl"s you have to grok to be proficient at using MPS is just mind-boggling and that's coming from someone that designs dsls for a living. Like by the time you get to codegen you're already 3 or 4 deep. And it's only for codegen, where you're generating Java, that you get the full projectional editor treatment. Everything else is just a gui form for some small "dsl" with effectively dropdowns, so you might as well just call it an API for a configuration system rather than a language. Like there's zero composition for the structure "language" and the editor "language". You're literally just toggling forms.

It's just a complete turn-off because even if it is "powerful" it's completely non-portable - you cannot ship anything without shipping MPS to orchestrate the cascade of dsls.

I tried to get mbeddr to work but could not even though I can drive gradle and etc fine.

Overall really disappointing.
Realistically, I don't know what the complexity of that algorithm is or if it's possible to have one. Making the argument it is constant time is intended to be a bit of a joke at how difficult it is to give it a time complexity. My interpretation of it as constant time (temporal multiplicand multiplied by the largest value in the list) is going by wall clock time, which is arguably the time that matters in an interview.
They come to the office and ask your employees what they are working on and they relate their experiences to each employee individually.

This is for a small company of 6
> Crypto at best is used for get rich quick schemes, scams, dark web payments, ransom demands etc. You said buying pizza with bitcoin. Where ? Is it an anecdote ?

To unpack this:

1. Crypto at best is used for get rich quick schemes, scams, dark web payments, ransom demands etc.

I think this is the bad faith in this discussion. Cash is also best for scams, crime, ransom demands etc. Knives are used to stab people, so should we limit cutlery to spnorkfs?

2. You said buying pizza with bitcoin. Where ? Is it an anecdote ?

https://www.coindesk.com/consensus-magazine/2023/05/22/celeb...
Was ifconfig made to be hostile too? :D

(/s)
Perhaps I'm just a bit older than some of the folks here but I'm referring to this: https://www.coindesk.com/consensus-magazine/2023/05/22/celeb...
I wouldn't be so sure. Combine current capability levels with the larger context windows and they can probably already point out most of the problems with code.

I recently fed a very large file into GPT4 and it handed me a few serious bugs that I hadn't noticed after a few self-reviews.
Ahhh the future. In which techbros idiots whining about regulations and then make mistakes that kill people or leave them with no money. This is why we can't have nice things
Yeah, a few years ago I steered our university research group towards using ZFS for a couple of new servers with 1.5PB storage each (2.0PB before raidz2), on RHEL (would have preferred Debian). Absolutely no problems with the system. The IT guys were a bit doubtful whether it would work well, for instance they insisted that XFS would be better at managing parallel requests, but when the system happily saturates a 10Gb ethernet with plenty of bandwidth to spare I don't think there's a problem. We have had ZFS flag up one hard drive so far that was returning false data, which was then hot-swapped out. Other filesystems would probably have just suffered data corruption without us knowing it.
Internet sleuthing is always fun to watch.
> But then more difficult questions arise: - Is the price of slack worth it, when the alternative is having more educated users that can do very basic command line calls ?

I'm not sure that it would be difficult to wrap that up in a web interface running on a single server that does nothing but execute those command-line calls - auth, data and everything but session would be managed by the web server.

You could perhaps even make a local GUI application that spawns ssh once and reads+writes to it, and have your 90% slack functionality done in a weekend.
> to "bootstrap" a business is short for "pulling yourself up by your own bootstraps" (yes, it's an old phrase) and means not raising any money.

Today I learned! Technically Kagi was bootstrapped up to this point (I've invested $2MM+ of my own money to get us this far). This is the first external fundraise (as noted in the annoucement) and what makes it very special to me is that people participating in the round are Kagi users who were already a part of our journey.
This program has no concurrency so you could do it without threads.
They failed this federal test on basically every level.

So that’s a major case.
This a new vector of attack.
Force navs to reroute traffic because of fake alerts.
But Rust macros also do this, the procedural macros operate on the AST of the macro

https://doc.rust-lang.org/reference/procedural-macros.html
Yeah pretty much any pagan religion has some sort of post mortuary soothing story. Worth looking into?
> Comprehending APIs ... good autocomplete ... decent documentation

The ability to ask questions about contents of the documentation as opposed to inefficient RTFM is one of the possibilities for which I recognize LLMs as potentially especially useful. (They should also be able to point to the source like actual "search" though.)
Shiny Zhu is looking for #DevRel Advocate or #TechSales roles:

Location: China

Remote: YES

Willing to relocate: APAC > EU

Technologies: Full stack (.NET/Python/JS+SQL/NoSQL/Data science), #DevRel for 4+ years. Air travel for 10+ years.

Résumé/CV: https://www.linkedin.com/in/shinyzhu/

Email: shiny[AT]shinyzhu[dot]com

Book a chat: https://cal.com/shiny/15min
Conversely, and I don't mean to sound flippant, but are there any pros of (ab)using types in this way?

These projects are interesting in an amusing "oh look, another Turing complete type system" way, for the author to gain expertise, and as something to highlight in CVs and to chat about during interviews. But other than that, I would never actually choose to use any of this in a real-world project. Depending on the stability of this API (TPI?), and subjecting colleagues to esoteric libraries would be a nightmare to maintain and support.
There is a detailed example of this uploaded a few months ago here https://youtu.be/5zW9_ztTiw8

[In fact, I just noticed the author of the OP video posted on this one]
could be wrong about c#, but c# and f# are comes from same parent
Or if you work in web development in Europe. Moving away from Google Analytics and Google Fonts was a huge deal in the last 3-5 years. Companies kept looking intensively if they still use it somewhere and it was a lot of work.
See https://www.youtube.com/watch?v=2EsqMLT0Hzw for the video version of this.
A slightly too simplistic analysis.
I wonder whether there' a reason behind all of this that they absolutely cannot share, perhaps related to the challanges and delays they experienced with the environmental assessment in '22? Maybe that they calculated they'd be better overall taking the hit on the pad in the short term and just getting that (already superceded) rocket launched, rather than opting for yet more bureaucratic delays?

(Total speculation, of course)
This is the most wrong, yet condescending and naive, comment I’ve encountered on HN so far.

I’m actually impressed.

Call me in 20 years, maybe you’ll have learned something.
CommBank. From a tech perspective they’ve been pretty good. They had careless cash early on.
For those who are wondering whether types can be computed in the same way as values -- yes, they can, with a proper type system. Idris [1] is a prominent example of a programming language with first-class types, meaning that if you can perform (finite) computation on values, you can do so on types. The difference between Idris and TypeScript (Rust, C++, etc.) is that the former treats types as values, and therefore has no traditional separation of values and types; everything is done with the same syntax.

Zig strives to use the same syntax for metacomputation, although its approach is not tightly integrated into the type system, which is why you'd see compilation errors at expansion, not function definition.

[1] https://www.idris-lang.org/
Ask HN: What lifestyle choices do you make to be productive?
For me:

Waking up early. Having something exciting to do helps. Like drinking coffee recently.

Recharging well. In between work sessions, I feel like activities like going for a walk, playing an instrument and showering work better to keep me productive than browsing YouTube.
Yeah the phone companies laid those thick 144-strand bundles before wave division multiplexing. They figured the only way to get more bandwidth was more fibers, right?

WDM came along and caught them with their pants down; now all of a sudden you could just attach different devices to the ends of the fiber and get 16x the bandwidth. No backhoes needed. Then CWDM let you split and combine channels in locations without a reliable power supply -- no electronics, just prisms!

Unfortunately their response -- those who weren't killed off -- was to get the antitrust regulators to look the other way (i'm sure the "national security" card was played) while they bought each other up and carved countries into a checkerboard of regional monopolies.

But hey, if you squint at it from far enough away you can see two colors, so that's not a monopoly, right?
I've found out that self-posting on hacker news gets you super deranked. If you really like the writing, please be the one that posts it here.
> As I mentioned in my article on the British Midland crash, the most effective way to prevent this kind of accident is by fitting airplanes with an Engine Indicating and Crew Alerting System, known as EICAS, or similar equipment. These systems automatically monitor engine performance and, should an engine fail, will produce a message informing the pilots which engine is the cause of the problem, dramatically reducing the probability of an incorrect identification. However, retrofitting the systems onto older 737s, which are most at risk, is not required and may be impractical or impossible.
The boilerplate is nice for “a vue project” but it starts to fail when you want “a vue+ts project that includes our internal components library, auth, terraform, uses tailwind, etc.” It doesn’t take long to set this up by hand, but automating it makes it less prone to human error - which would be harder to catch in CR because the changes will typically be massive.

But if you CR the Yeoman generator, every project’s initial commit can start from a known-good state since all you need to do is provide it the project name and location.
It is at least as real as Iran's Quantum Processor.

"All the information on this website - aviationjobstoday.in - is published in good faith [...]"
uh, open a thread that does that and `join` on it waiting for it to complete, but why would you need that in your example?
This is the quote from the post you're responding to:

> That sounds like shoehorning Android into a place it does not fit in. It is essentially a single-process OS, only the running app gets all the resources it needs...None of those things you'd want in a server OS.

That is obviously referring to _servers_.

> Does the vast majority of people do more than one thing on their computer at a time?

The vast majority of people are not running servers. In fact, I'd assume the majority of people do their computing on either iOS or Android.

Really the question of why "there no major push towards Android for Servers and Desktops?" is mixing two very different issues that should be discussed separately.
Whatever you want to call it, it creates extra complexity, failure modes, and barriers to information access.
Not in Rust if you use something like Tokio.
Use common sense. "[..] blood on your hands [..]" implies he's indirectly a murderer at least. Calling someone a murderer is in the best case defamation or an insult.
> My Ubuntu 18.04 machine somehow "rotted" in ways that previous installs didn't -- everything became slow and janky, sorta like Windows

Oh man, this reminds me of two years ago. During Covid lockdowns, I figured I'd try Ubuntu, see what's up with gnome. This was 20.04. I was pretty meh, but it was okay. Then I found out about Regolith [0], which is a "spin" or whatever it's called, that comes with i3 (like Kubuntu has KDE instead of Gnome).

I don't know exactly why, and I was too lazy to dig, but that thing was one of the most sluggish experiences I've ever had. At the time, I'd daily drive an i5-6500 with integrated graphics, and my regular Arch with i3 and light Picom effects (blurring for notifications and dimming inactive windows) worked great on the integrated GPU. Somehow, the Ubuntu version was worse on a newer i5-8500.

[0] https://regolith-desktop.com/
I don't think its outright denial as much as a general question on whether or not humans are contributing to it as much as "authorities" say (especially when the climate change conventions are traveled to by jets that contribute more to global warming in one flight that a person can reduce in a year, iirc the stats), and the resistance to all the restrictions placed on middle class when upper class and government gets a pass.

The other thing is that there were predictions made about some things like Miami being underwater in early 2020s that never came true, and the same type of predictions that are being made.

So tbf, its not really that unwarranted to be skeptical.
Discussed previously:

https://news.ycombinator.com/item?id=8984648 (8ya)

https://news.ycombinator.com/item?id=16732948 (5ya)

https://news.ycombinator.com/item?id=23218782 (3ya)

https://news.ycombinator.com/item?id=28657358 (2ya)
That just means that it isn’t Turing complete which is true of many DSLs.
> I think these comments are just because of Elon hate.

No-one mentioned Elon Musk, yet you're pre-emptively getting defensive on his behalf.
I've already had the GPT3.5-Turbo model walk through and step-by-step isolate and diagnose errors. They 100% can troubleshoot and correct issues in the code.

Literally you give it the code and the error and it can walk you through finding the solution.

When I say walk you through, I generally mean when you provide it a function but the error is caused by some input that doesn't conform to expectations. If the error were just a defect in the code it can generally point that out instantly.

Obviously GPT4 is even better.
In any sensible API, saveToDisk would return an error status (a Result type in Rust). If you don't check for errors, then probably you didn't care of the data was actually saved or not.
I can't help but think "glass houses"

Imo its more acceptable and moral to work in the defence of your nation than to design increasingly intrusive data harvesting / advertising machines.

But as ever there isn't a correct answer and everyone is entitled to their opinion.
I get the remark, it's certainly an
interesting line of thought. In a way, this model reminds me of Ubuntu Core [0], although Ubuntu Core is more freedom loving than Android, but that is not your point obviously.

Somehow I feel uncomfortable with the suggestions you make, but I find it hard to articulate. Somehow this does not sound like an attractive model, it sounds very "involved". Let me try to articulate why.

I think a lot of the Android tooling sound new-ish, but actually I find it to be old-world in the server space. We have been moving more and more into declarative infra-as-code paradigms: Spin up a multitude of servers from a single text file that declares the final state of the entire architecture. Think Docker compose, Kubernetes/Terraform, Ansible, Chef/Puppet, Nix(OS).

In a world where your servers/configs live in Git, where is the advantage for something as involved as Android, which in the end is just a Linux kernel with some APIs on top (and a privacy invading proprietary layer, again, not your point I guess)?

[0] https://ubuntu.com/core
found the american :)
No, Russel's paradox and the Law of the Excluded Middle have not much to do with each other. (It is not easy to prove such a negative statement, but I googled them together, and found absolutely nothing.)
> It's going to be no different at all from the current situation.

That's not true at all. If OSB is passed, things will be quite different in the UK afterward.
Yup, this is a very non-Mac-like Mac-only app.
I've created read-write DMGs with Disk Utility because you can encrypt them with a password. Basically first-party VeraCrypt without FUSE.

Though, when my MacBook broke and I had to switch back to Windows, I had to migrate it into an actual VeraCrypt volume.

The tool I used for this... was mounting the volumes on both machines and then using SFTP to copy the files themselves.
Actually they use it even if you call them. Rather than do the “name, dob, etc”, they send a push notification to the app and require you to accept it.

Which phone verifies you to continue the conversation.

And I guess you’re right. The receive sms and read out the code is similar. Tho this doesn’t have a code. It’s an in app push notification which you simply accept (or reject if not expecting it)
I remember >10 years ago thinking that learning another language was probably pointless because google translate is 90% there already and soon will obsolete that knowledge. Or all the people saying trucking is on the verge of being automated.
I'm pretty sure this program has no concurrency even if you port it to Rust and use Tokio.
>It comes down to the course - a course that just teaches a cargo cult like set of steps is a bad course, one that involves a proper discussion of the fundamentals is a good one.

totally agree here

>All I'm saying, the fact that a course uses a particular tool chain isn't the determinant factor to whether a course is good or not.

I totally agree! My comment was related to the commented mentioned that the whole 6 month training is worthless if GA get's blocked

I guess we aren't that far apart :)
I suppose Gnome is aimed at the Red Hat enterprise customer base. Those computers are no private systems, they are company hardware.
What matters for company hardware is standardization: easy to roll out, easy to train users, which means a standardized, simple GUI. Building @hellodanylo 's dream workflow isn't the mission and doesn't scale anyway.

If you want a custom desktop workflow exactly to your specification build it yourself or pay someone to build it. Expecting people with different opinions to do it for you for free will certainly be a disappointment.
We can only know what was a dead end, waste or bloat in a complex systems pathways in retrospect. I would prefer for humanity's sake to see more avenues of technological advancement pursued rather then only those conforming to some(one's) definition of efficient/correct. SpaceX might be construed to be blowing private investment in some guy's grand vision of space exploration that might turn out to be simply vain. Time will tell. Deriding people exploring the edge of human progress because they don't fit with your values is presumptuous.
Your tweet is in the article actually :)
Who made those predictions?