@vascorsd@mastodon.social
@vascorsd@mastodon.social avatar

vascorsd

@vascorsd@mastodon.social

• anime & manga • strong copyleft • privacy
• linux • functional programming • tech

No Freedom exists without Privacy.

Currently #scala software developer.
Half-shit posting around. Check at your own risk.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

vascorsd, to programming
@vascorsd@mastodon.social avatar

CakeML - A verified implementation of ML - https://cakeml.org/

CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself.

vascorsd, to programming
@vascorsd@mastodon.social avatar

The Optimizations in Erlang/OTP 27 - Erlang/OTP - https://www.erlang.org/blog/optimizations/

vascorsd, to KDE
@vascorsd@mastodon.social avatar

Oh damn, caught a nasty one. Was trying to use chromium for something but audio was not playing at all, no errors, just clicking play on things like r-a-d.io gave a "fuck you"...

Was checking if it was wayland or something like that that broke it... (And no, it doesn't open in , transparent window with the beautiful mouse dragging effect on the screen), but it was nothing related to it...

It seems that the problem was the integration extension that hijacks things and broke!!

vascorsd,
@vascorsd@mastodon.social avatar

So, disabling extension on chromium made sound work again on .

🫣😭😮‍💨😩

vascorsd,
@vascorsd@mastodon.social avatar

In the process I installed the vivaldi browser to check it for the first time ever and was giving same problem. At which point I started looking all over the internet if it was something on webkit or the chrome base...

Seems plasma integration is also enabled by default on it, disabling it also makes sound work again on vivaldi 😅

vascorsd,
@vascorsd@mastodon.social avatar

With all this process no useful information was found around the internet. 😑

vascorsd, to archlinux
@vascorsd@mastodon.social avatar

Yay new error messages!

On update to latest on new error message at the daemon start: "Failed to load daemon: syscall filtering is configured but not working"

Should you accept the mission, your adventure in the new quest shall be amazing ! Enjoy.

vascorsd,
@vascorsd@mastodon.social avatar

New message seems to come from here - https://github.com/fwupd/fwupd/pull/7101/files#diff-05fe91a9e57d9cde53dd415369c52eb4bafde5d44bde89ae6e4d1e4bc3b6c406R2411

No idea what is broken.

But wtv, not like I can use it without umounting /boot, so one more thing to the problems bag.

vascorsd,
@vascorsd@mastodon.social avatar

@hughsie thanks. People being on it faster than I can complain 😅😭.

Will keep watch over it.

Great work 💪

vascorsd, to random
@vascorsd@mastodon.social avatar

Silly things people do: bumping the year of a copyright notice on some already done source files.

People, it's unneeded!

vascorsd,
@vascorsd@mastodon.social avatar

@dwardoric the thing is, there should not exist any such kind of updating plugins. It's unneeded. The only thing needed is to check if there's a notice and if it's valid. That's all.

The tool to use to check and keep copyright in files in check is this one https://reuse.software/

There's already many projects using it out there and it's very nice and simple.

vascorsd,
@vascorsd@mastodon.social avatar

@dwardoric as for best explanation I have around which cleared a lot of things for me since it's so well written is https://liferay.dev/blogs/-/blogs/how-and-why-to-properly-write-copyright-statements-in-your-code#why-keep-the-year

vascorsd,
@vascorsd@mastodon.social avatar

@dwardoric example software I have around that uses it https://github.com/slint-ui/slint/

vascorsd,
@vascorsd@mastodon.social avatar

@dwardoric no prob. The toot was bait 🪤.

I obviously also didn't know all these things and always was confused about the copyright years being updated, so I wondered and recently found the reuse tool.

I learned from it, so I'm sharing the bits that I'm aware 😊.

Open source legal stuff is always a deep hole to dig into 😅

vascorsd, to programming
@vascorsd@mastodon.social avatar

After hearing good things about scalatags, reading the readme I almost walked away when I saw the changelog with latest version being 0.7.0 adding support for scala 2.13. I was literally thinking it was dead and nobody worked on it for 3 for example... 😮‍💨

Well turns out that if you open github you see that it actually was tagged a version 0.13.1 and the changelog hidden in a file is getting updated.

But the official docs website doesn't have any recent updates! 😨

Always check the code!

vascorsd,
@vascorsd@mastodon.social avatar

@alexelcu wouldn't have thought about looking there when google gives me a link to a homepage 😅

vascorsd,
@vascorsd@mastodon.social avatar

@alexelcu true, very true. It's highly inconsistent where to find the latest release and also the changelog.

I'll have to keep in mind to check it, since it never crosses my mind.

vascorsd, to random
@vascorsd@mastodon.social avatar

Fucking delicious fresh fucking hot bread with garlic butter on it. Delicious.

sigmasternchen, to random

I used to listen to this song all the time.

https://www.youtube.com/watch?v=iWIADZKU9dw

vascorsd,
@vascorsd@mastodon.social avatar

@sigmasternchen Flyleaf is freaking cool.

Discovered this a couple years ago and listened the hell out of it.

:blobmiou:

vascorsd,
@vascorsd@mastodon.social avatar

@sigmasternchen nice. as long as people know about it, it's good 😊.

I think for me it was the miracle of Spotify discovery

vascorsd, to random
@vascorsd@mastodon.social avatar

Microsoft’s VASA-1 can deepfake a person with one photo and one audio track
https://lemmy.world/post/14480699

brunomiguel, to random
@brunomiguel@masto.pt avatar

Tons of rain and lightning right now.

video/mp4

vascorsd,
@vascorsd@mastodon.social avatar

@brunomiguel até me assutei com a quantidade de luz e flashes que tavam na rua 😨

vascorsd,
@vascorsd@mastodon.social avatar

@brunomiguel aqui acalmou agora. primeiro bue luz ao longe sem som, passado um bocado mais intenso e barulho perto. depois choveu também. entretanto ta menos intenso.

nem parece que teve calor danado nos ultimos dias.

tou com frio 😅

vascorsd, to random
@vascorsd@mastodon.social avatar

So the yubikey is not recognized through the usb hub. Interesting. Fuck this. Seems a know thing on the interwebz.

vascorsd,
@vascorsd@mastodon.social avatar

@feld it seems that after all it was all just because I had the OTP protocol disabled on the you yubikey settings. I remember that I didn't need it for anything so I turned it off long ago 🫣.

So no usb hub problem, or port.

Although I find it really weird that with it off 2 applications from them don't say anything useful.

Now... There are magic codes 😅?

vascorsd,
@vascorsd@mastodon.social avatar

Good news, it also works perfectly fine to unlock the database with the nfc from the yubikey on the phone 🤔😯

  • All
  • Subscribed
  • Moderated
  • Favorites
  • provamag3
  • kavyap
  • rosin
  • mdbf
  • Backrooms
  • DreamBathrooms
  • magazineikmin
  • thenastyranch
  • Youngstown
  • slotface
  • InstantRegret
  • khanakhh
  • ngwrru68w68
  • hgfsjryuu7
  • Leos
  • ethstaker
  • Durango
  • tacticalgear
  • GTA5RPClips
  • cisconetworking
  • normalnudes
  • osvaldo12
  • everett
  • modclub
  • tester
  • anitta
  • cubers
  • JUstTest
  • All magazines