idk if all my calendars around me have been implementing it wrong, but if not, UTC is also affected by daylight savings, making it the same time zone as GMT
idk if all my calendars around me have been implementing it wrong, but if not, UTC is also affected by daylight savings, making it the same time zone as GMT
What are you on about? The open letter was specifically advocating against sponsorships and advertisements of the Military Industrial Complex. I.E. private companies who specifically try to turn a profit from countries going to war. Companies that literally earn money over people’s dead bodies. I think the people that wrote the open letter were very aware that being sponsored by the military was something that is hard to avoid. However there is a clear difference between being sponsored by a military and being sponsored by, like, literal death merchants
Hate to be that guy, but all those articles are 5 years or older. Have people had more recent complaints about systemd or did that movement that complains about it kinda move on?
Thunderbird has matrix support now? 🤯
I think that when it comes to functional programming with effect systems, unison is currently the closest to showing how it is actually done. Koka and languages like Effekt are of course very nice, but they don’t show much going for them besides the example nondeterminism and exception effect. Verse, that language that was going to be used as Fortnite’s scripting language, also plans on adding these effect systems a la Koka.
Overall, I think one of 2 things will happen:
ah I think that’s where I’m at odds with a lot of lemmy NixOS users then 😅, since I am and have always been pretty hesitant to recommend NixOS to anyone in particular. I find the upfront costs of NixOS too big for me to recommend the OS to anyone who wasn’t already looking into it and knows its downsides and upsides.
I do agree however on the fact that using nix is purely beneficial. It doesn’t hurt if you just add a .nix file to your project, since it doesn’t do any harm to an already existing project. It can just install your build tools and then consider itself done, and if you don’t happen to like nix after all, the new installer makes uninstalling easier than ever. There is pretty much no downside to downloading the package manager, something I can’t say about the OS.
Having said that, I don’t think nix should be the end-all be-all standard in package management. I’m sure there will be other package managers that will be better than “nix but with yaml sprinkled in”, and are capable of improving the state of the art. At least, that’s something I hope to happen. For example, I have reservations about using a full-blown programming language for doing my project configuration (see people’s problems with Gradle for why you might not want that). I think a maven-style approach (where you’d have just limited config options, but can expand the package manager’s capabilities by telling it to install certain plugins (in the same config file!)), could be worth looking into, and I’d be lying if I said I wasn’t on the look out for a potential better nix alternative
I mean seeing how people here act after having been on nixos for a few weeks I would say it’s an apt comparison. I swear we weren’t that obnoxious when I started using the distro in 2019 D:
Alright as someone who likes Haskell and has dabbled in unison before, I believe I can answer all these questions for you:
- Why is
helloWorld
there twice?
It is common in languages like haskell and ocaml to first mention the type of a function, so in this case:
helloWorld
is '{IO, Exception} ()
. That is it’s type signature (important for later)helloWorld
is \_ -> println "Hello, World!"
- What’s the
'
for?- What are the
()
for?
Here is where I have to get into the nitty gritty of how unison actually works. Unison has what programming language researchers call an effect system. The type signature of helloWorld
indicates that it can perform the IO
and Exception
types of side effects, and these need to be handled. (in this case, they are handled by the compiler, but other types of side effects can be handled by the programmer themselves)
However, for reasons Unison does not like dealing with eagerly evaluated non-function values with side effects. For this reason, there is '
. Essentially, what it does is turn a value into a function that accepts ()
as it’s argument. We could therefore say that the type signature of helloWorld
is also () -> {IO, Exception} ()
. The last ()
indicates that, next to it’s IO
and Exception
side effects, it also returns ()
as a value. This is because, in functional programming languages, all functions need to return values (or run infinitely, but that is for another topic)
Now I’ve been used to functional programming for quite a while now, so things that seem natural to me can be absolutely woozy for anyone not used to this paradigm. So if anything still feels vague to you feel free to comment
Whatever metric they use to track installs has to prevent abuse like this
I would be eagerly awaiting a follow-up response from unity from this, because as it stands right now, consensus among gamedev circles is that unity won’t prevent abuse at all, which is just awful for multiple groups of people.
Yes but it would have been nicer to have a transition period in which both methods are supported for a little while so that you don’t literally break every extension in existence up to this release
Yes but actually not by much, [email protected] has 37.7k subscribers, which is their biggest community
I used to play burnout paradise vanity pack. Haven’t gotten into it but it seems to be on a revival since players found an older unreleased (and unfinished) version of Big Surf Island
Meh, I think the people that are interested in the spacebattles thread will have found it through other means like HN. As for discussing the events as they unfold I think that’s best left to the forum itself, rather than discuss it at a proxy on Lemmy
For anyone interested, there is a forum thread which is the closest thing we have to a live blog, along with the thread author’s opinions on how veritable the claims of each party currently known to try and replicate the study are.
As a nix user, guix looks legit nice but it took me until 2 days ago to actually find community projects made for guix(https://whereis.みんな/) . Sometimes I just wish they used the same store and daemon as nix so that nix packages can work as guix dependencies and vice versa.
(Also major thing stopping me from using guix is I don’t get service types at all, let alone how you’d define your own service :( )