agluszak

21 ms·

301.
Open-source rebuild of X-COM Apocalypse(github.com)
7 points by agluszak 4y ago|2 comments
302.
by agluszak 4y ago
I hope some day we'll be able to get rid of Apple-Google smartphone duopoly. Free and open-source, privacy-respecting, hacker-oriented software on PCs has been around basically forever, whereas the situation with (mainstream) smartphon
303.
by agluszak 4y ago
I'm looking forward to Rust's adoption in popular game development engines. There's https://bevyengine.org/ in the meanwhile
304.
by agluszak 4y ago
Facebook also allows that
305.
by agluszak 4y ago
Now, the question is: is that a good thing? SMS is like e-mail - you can have many clients for the same protocol. Don't like your built-in SMS app? Install another one. You can't do that with 3rd-party proprietary siloed communica
306.
by agluszak 4y ago
> you periodically need a CS degree to follow code Why is that a problem?
307.
Long-term compatibility plans for Scala 3(scala-lang.org)
3 points by agluszak 4y ago|0 comments
308.
by agluszak 4y ago
Discord and other biggest communication platforms should be legally required to provide a fully featured API. Forbidding users from writing and using 3rd party clients is outrageous.
309.
by agluszak 4y ago
Well, so the solution should be to put the same regulations on bigger cars as well. Another thing is that I don't really see almost any pickups in Europe. Why do Americans love them so much?
310.
by agluszak 4y ago
We have a very nice phrase in Polish describing what kind of employees they are, literally it goes like: "there are those who are equal and those who are equaler".
311.
by agluszak 4y ago
> a waste of company money Well, I wonder how the CEOs, VPs, and other top level people actually spend their time at work. I get that they obviously must be doing something Very Important And Useful[1], because otherwise it would be a su
312.
by agluszak 4y ago
> React How come that FB is inventing the most sophisticated, cutting-edge web technologies, but at the same time their core products (Facebook app, Messenger & Instagram) are an absolute mess both in terms of performance and usabili
313.
Godot Rust(github.com)
2 points by agluszak 4y ago|0 comments
314.
StackOverflow Is Down(stackstatus.net)
59 points by agluszak 4y ago|52 comments
315.
by agluszak 4y ago
Introduction to Coq theorem proving using Rust static dispatch equivalency example
316.
by agluszak 4y ago
The title is a bit misleading: you're not formally verifying rust's opaque types - you're simply proving a intuitionistic logic proposition using Coq. There's nothing Rust specific in that proof.
317.
by agluszak 4y ago
My experience is that Nitter is faster than the official Twitter frontend
318.
Meta lost $2.8B on its virtual reality ambitions during Q2(cnbc.com)
1 points by agluszak 4y ago|1 comments
319.
by agluszak 4y ago
I hope more and more such laws will be passed in the EU. We need stronger privacy protection against big tech corporations.
320.
by agluszak 4y ago
There should be a law forbidding software locking. Otherwise I'm afraid it will keep getting more and more popular (like the "seat heating subscription"[1]). If I buy a piece of hardware, I own it. 1 - https://edit
321.
by agluszak 4y ago
Yeah, I know that, that's why I asked if that's what parent meant, because I can't see why Rust was mentioned there
322.
by agluszak 4y ago
"crab people" means Rust people?
323.
by agluszak 4y ago
> I wish we had a "C-like" language, which would... How about https://ziglang.org/ ?
324.
Veloren 0.13 – multiplayer voxel RPG written in Rust(veloren.net)
4 points by agluszak 4y ago|1 comments
325.
by agluszak 4y ago
Yes, that's posting that is a common practice I think. I always look for nitter mirror and post one myself if there's none. Probably it would be easier for me if I used a browser extension to do an automatic redirect, but maybe th
326.
by agluszak 4y ago
https://nitter.net/paulisci/status/1549527748950892544
327.
by agluszak 4y ago
Isn't that a bit... too late?
328.
by agluszak 4y ago
I don't know if that's irony, but do you really think that putting a service which cannot be trusted on Tor makes it trustworthy?
329.
by agluszak 4y ago
Huddles, Clips, probably some kind of TikTok-like stories next... for me Slack has never become anything more than a good and reliable, but still a simple chat app (one of ~10 I have installed on my phone) dedicated for work. > "In
330.
by agluszak 4y ago
At this point it is barely possible to ignore Facebook (Twitter, Instagram etc. also). I'm a great proponent of the fediverse, but FB without regulation will simply eat all the ethical alternatives.

More ›