cyclohexane

joined 3 years ago
MODERATOR OF
[–] [email protected] 2 points 1 year ago (3 children)

I won't remember everything, but one very important things comes to mind:

in Typescript, it is very difficult to assert on a type (let me know if you're not familiar with what I mean by this and I can explain further). In OCaml, this is trivial using pattern matching.

Why would you need that? The idea of a type system is it doesn't let you apply a function on a structure without the structure being of the right type. But the lack of type assertion in TS makes people follow hacky workarounds, which defeat the purpose of type system.

There are a couple of other things, like immutable types by default, automatic tail call optimization, functors enabling higher kinded types, etc.

Also in ocaml, you don't have to annotate any types on any variable or parameter, and you'll still get full type protection.

[–] [email protected] 6 points 1 year ago (5 children)

The only valid argument against typescript is that it is too similar to vanilla JavaScript. It does not go far enough. We need type systems like Ocaml's.

I suppose you can also complain about needing a build step, but I find this silly. There are so many tools that make this easy or automatic.

[–] [email protected] 7 points 1 year ago

Been using them for over a year now. I'm not a proud or loyal customer, but it's a very generous free tier and I haven't regretted it.

[–] [email protected] 35 points 1 year ago (7 children)

Requiring a candidate to know a specific programming language is stupid. Nearly all of the commonly used languages in industry are similar.

It's maybe more valuable to require knowledge in a specific framework, where knowledge is less transferrable between popular frameworks. Nonetheless, I personally rather hire an engineer that solves problems and learns flexibly rather than one that happens to know the right tech.

[–] [email protected] 24 points 1 year ago (2 children)

Some programmers are software engineers. They solve problems, sometimes problems with great ambiguity or non-straightforward solutions.

And some programmers are... code technicians? They understand and write code, but their job seldom involves problem solving. Often times, they're asked to code an already solved problem, or mostly solved.

This is not a diss. I was in the second camp for a while. But it hurts your career to stay in that. So be careful.

[–] [email protected] 10 points 1 year ago (1 children)

Not just the pricing, but also the low footprint, tiny size and fanlessness.

[–] [email protected] 5 points 1 year ago

Be careful that sometimes these providers will shut you down for hosting media servers. Even if your content is not illegally obtained.

[–] [email protected] 26 points 1 year ago* (last edited 1 year ago) (1 children)

A worrying number of my colleagues use AI blindly. Like the kind where you just press tab and not even look. Those who look spend a second before moving on.

They call me anti-AI, even though I've used chatGPT since day 1. Those LLMs are great tools, but I am just paranoid to use it in that manner. I rather it explain to me how to do the thing instead of doing the thing (at which it is even better).

EDIT: Typo

[–] [email protected] 2 points 1 year ago* (last edited 1 year ago)

There's 4ft.io too. Oh nvm looks like it's gone.

[–] [email protected] 1 points 1 year ago
[–] [email protected] 2 points 1 year ago

My bad for misunderstanding your exaggeration 😅

[–] [email protected] 4 points 1 year ago (1 children)

How is webview different from a browser exactly?

 

There's a lot of good information out there that would be lost otherwise.

I don't want to give Reddit traffic anyways, so maybe it's good to only look at the archived versions going forward.

 

I've been dual booting Linux and windows for about two years now, but in those two years, I have never booted into windows, except by mistake.

This made me think about removing windows and just saving that wasted space for Linux. I only ever dual booted for the off chance the peer pressure to play anti cheat games was too great, but so far it hasn't.

For the off chance where I want to play a game that doesn't run well on Linux, is it a good idea to do that via VM instead of dual boot, or is it too much hassle? Will there be performance hit or any issues with those games?

 

I am a software developer by craft and a linux system admin by hobby. I cannot commit to moderating and managing my own instance, but I would be glad to help someone with the technical aspects.

The most common complaint I saw in Reddit and here about switching to Lemmy is the difficulty of setting it up, so I thought I would help bridge this gap.

While I have never hosted my own instance before, I already checked the setup guide and it looks pretty simple to me, so I am confident I can do it. Please feel free to comment or DM.

It would be great if you can comment general questions. I can then respond to you here and maybe others will see it and know how to host their own instances too.

 

I'm thinking there could be three types of communities here:

One for non-US-centric (or eurocentric) sharing of news and politics

One similar to the above, but for non-politically-centered content. Maybe more focused on culture and other types of discussions rather than politics

One for asking questions or discussion of AMAs

Do any of these exist? If not, could we make them? I could volunteer to moderate. I am not very online, but traffic here seems low and manageable.

 

I find myself doing this a lot, and it may be good to share it somewhere. Consider it a way to combat capitalist realism. Yes, there are many unknowns in Communist society that are difficult and maybe impossible to predict. But it would be nice to have a community like this.

I am bad with naming things. What should we call it? Additionally, I unfortunately cannot dedicate the time to moderate it, so I would hope someone else is willing

 

I was curious about the difference between these two. I found a Reddit post about this, and I thought I'd summarize it here so that the content is replicated to lemmy.

Please be aware, this is not from a perspective of a computer scientist. I am very interested in computer science, but have a lot of knowledge gaps.

The premise of the question: Both of these seem to be methods of running two or more tasks / sub-tasks without necessarily using multiple cores. The concepts geeked similar to me, but I will explain the difference below.

How does the OS scheduler's multi tasking works (besides multi-threading)?

Basically, when the operating system is running two or more tasks, it may be running more tasks than cores available. To deal with this, it switches between these tasks very quickly - so fast it seems they're running concurrently.

Hyper threading

A hyper threaded CPU looks a bit different. To the user, it is interfaced almost like an extra core. Think about a multi core CPU. Every core is almost its own CPU. With hyper threading, some of those components are replicated, but not enough to make an extra core. (remember, CPU has many components, such as ALU, floating point units, load/store units, branch units, etc) However, the CPU arranges tasks in a way where two tasks can be using different parts of the CPU, hence can run concurrently on the same core. It is not super often that this happens, which is why a separate core is faster than hyper threading. But we are able to speed up tasks with concurrency faster than switching between them. This can be enhanced by the operating system scheduler scheduling tasks in an order making it likely to run concurrently on a hyper threaded CPU, in other words, scheduling tasks that will likely use different parts of the CPU and not conflict.

I hope this is a good summary, and I hope computer scientists can correct me if I'm wrong.

view more: ‹ prev next ›