alexvoda

73 ms·

901.
by alexvoda 5y ago
The FSF is deceiving themselves and others by believing that just because a user no longer has the ability to update firmware on a device, that device is acually no longer running non-free code. I really do not understand what is so hard t
902.
by alexvoda 5y ago
The factors that actually impact the upper boundary of achivable security are availability of source code (open or not) and reproducible builds. The 4 freedoms do not actually affect any aspect of security, they are orthogonal. Also, just b
903.
by alexvoda 5y ago
Security is part of protecting your freedom from being compromised. I read this entire thread and wholeheartedly agree with marcan_42. FSF's position to draw a line where none exists is foolish wishful thinking and potentially dangerou
904.
by alexvoda 5y ago
Serverless is further towards the OPEX end of the axis because OPEX is generated and then payd whereas CAPEX needs approval first. With serverless you no longer need to request approval for new instances. The harder the management believes
905.
by alexvoda 5y ago
What about keyboard remapping for Wayland?
906.
by alexvoda 5y ago
GTK used to be intended as a cross platform toolkit. Or at least before it became the Gnome ToolKit and it was still the Gimp ToolKit. /s
907.
by alexvoda 5y ago
Great points. Those totally might be niches for batteries.
908.
by alexvoda 5y ago
Awesome project. A open source alternative for 3dconnection 3d mice would really be nice to see. It looks quite different in style of interaction compared to 3dconnection mice. I do not believe it is truly 6DoF. Instead I believe it is 3DoF
909.
by alexvoda 5y ago
Qt apps actually integrate great with plenty of hosts. VLC, Krita, Kate, Kdenlive, etc. work great on Gnome & XFCE & Cinnamon & LXDE & Mate and on Windows and Mac too, and of course on KDE. Maybe not native great but still g
910.
by alexvoda 5y ago
I can not have any sympathy for Gnome as long as it keeps breaking extensions and any other form of customization. Pure Gnome is not great for me. Gnome could be, but if any fix I apply will inevitably break, it simply isn't something
911.
by alexvoda 5y ago
Why do you believe certain comunities do have an interest in classifying stuff?
912.
by alexvoda 5y ago
Yes, it can be done. But as everyone here said, there are trade-offs. Most companies judged the tradeoffs to not be worth it at this point. This might change in the future. I would say that they are right, because right now battery tech is
913.
by alexvoda 5y ago
But electrifying the line is overall a superior solution. Battery powered trains are only feasable in niche situations where either: - the usage pattern does not justify the investment of electrification - the company owning the trains is n
914.
by alexvoda 5y ago
I believe the reason Tesla gave up is because it requires a lot more infrastructure (expensive) than superchargers and is mechanically hard to implement (though they did show working solutions). Also, it is a logistic pain since all battery
915.
by alexvoda 5y ago
Don't these cameras require to be stabilized? You only have one column of pixels so you can not correctly align the columns through stitching (as in panorama mode on phones). As impressive as the stabilization used is that these dromes
916.
by alexvoda 5y ago
Just a note, the Triune brain theory, implied by you saying "lizard brain", is not actually part of scientific consensus. It was incredibly popular (even being cited by Carl Sagan) and still retains a lot of popularity among the p
917.
by alexvoda 5y ago
By draping banners with warnings, of course. You wouldn't download a ship, would you?
918.
by alexvoda 5y ago
Than, to your horror, here is how it looks (1). Thankfully it was only used on the Gen 2 of the X1 Carbon. The thing is, the concept of the touchbar (especially as technically implemented by Apple with a matte texture) is actually great. Th
919.
by alexvoda 5y ago
There is a lot to discuss here, but if I had to choose I would reject your idea. This is mostly because, in reality, manufacturers not only will they never open source those apps, most probably they will never provide APIs and the Thing and
920.
by alexvoda 5y ago
Maybe we will see some of that in a future version of Thunderbolt with PAM-3 encoding: https://www.anandtech.com/Show/Index/16858?cPage=3&all=False...
921.
by alexvoda 5y ago
I believe we are most likely going to see a Mac Mini Pro or the return of the Trashcan Mac Pro instead of a tower Mac Pro. Replicating the capabilities of the Mac Pro with would require another model of M1 and for the volumes the Mac Pro se
922.
by alexvoda 5y ago
I agree that there have been several misssteps (like Lenovo tring to replace the Fn-row with a touchbar) but I think there is a lot to like about the current itereation as seen on the T14 (1). It was even officialy converted into a wireless
923.
by alexvoda 5y ago
What are the aspects that are considered superior for the older 7-row keyboards compared to the newer 6-row keyboards? I have always seen a lot of praise for the older 7-row keyboards but it is not clear to me what makes them superior and t
924.
by alexvoda 5y ago
Location: Romania, Bucharest or Brasov Remote: Yes (Preferred) Willing to relocate: No Willing to travel for work: Yes(depending on the country) Technologies: - Languages: Solidity, SQL, C#, Powershell, F#, Rust, Types
925.
by alexvoda 5y ago
I doubt your claim that it is unidirectional or nontransactional. I would argue throughout the ages the parent-child relationship has been both bidirectional and transactional with plenty of hidden gotchas and a power imbalance to top it of
926.
by alexvoda 5y ago
Maybe this is "survivors bias" and you only know the ones who accepted. Maybe the ones who refused never even bothered to tell you.
927.
by alexvoda 5y ago
How does Dafny compare to M#, the unreleased language used for project Midori?
928.
by alexvoda 5y ago
You linked to a file with pages of code. Care to summarize how they model sum types using a pair of fields?
929.
by alexvoda 5y ago
You make a fair point about actual payloads. My example was illustrating a sum type of unit types, an enum. Do you care to conjure a more complete example of your solution? As @throwaway894345 said, I believe your solution is difficult to c
930.
by alexvoda 5y ago
For one point I do also believe that adding sum types would be great. Even if the only benefit is eliminating 3-value-logic, it is a huge benefit. I also agree that while it can be modeled it is very ugly, though I wouldn't necessarily

More ›