@thindil@mastodon.social
@thindil@mastodon.social avatar

thindil

@thindil@mastodon.social

Open Source developer, interested in safe and secure programming (formal verification, testing, etc.)

But here you will find a complete chaos, from technology, by humor to... we will see. :⁠-⁠)

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

thindil, to opensource
@thindil@mastodon.social avatar

And the last development version (before the big "stable" one) of is available for download. Again, some bugs were fixed, some added, generally a lot of fun, for me. 😛 More information about changes and the game is available here: https://thindil.itch.io/steam-sky/devlog/714568/development-version-99-arrived
Source code of the game is here: https://www.laeran.pl.eu.org/repositories/steamsky

paul, to random
@paul@snac.notnull.space avatar

Is it just me, or is https://nimble.directory down at the moment?

thindil,
@thindil@mastodon.social avatar

@srtcd424 @paul Seems like it back, at least for me. 😉

gregorni, to Julia
@gregorni@fosstodon.org avatar

Any Nim or Julia people out there that also do app development? Can I get some ✋?

thindil,
@thindil@mastodon.social avatar

@gregorni Perhaps, but only with #Nim and only small apps. 😉

dwarmstrong, to linux
@dwarmstrong@fosstodon.org avatar

Testing ... and testing ... and testing GCC is proving to be the longest-running bit of this "Linux From Scratch" build to date ...

https://www.linuxfromscratch.org/lfs/view/stable/chapter08/gcc.html

All good fun and learning some new tricks, though! :linux: 🙂

thindil,
@thindil@mastodon.social avatar

@dwarmstrong Wait until you hit Firefox or Chromium. GCC, Clang are instant compilations compared to modern browsers. 😁

LFS was a nice thing years ago, but today, with the modern software complexity, I'm avoiding compilation at all costs. Too small gain compared to too many efforts. 🙄

dwarmstrong, to FreeBSD
@dwarmstrong@fosstodon.org avatar

Day 17-30

I ❤️ rescuing an old laptop from the junk heap and giving it a new lease on life. This time as a FreeBSD home server! :freebsd:

Thinkpad T430s was gathering dust with partially damaged screen and weak battery. Only thing replaced was the HD with a 500GB SSD.

Today secured access to the new server by setting up SSH keys and disabling password logins.

Server's first job: Store a copy of my $HOME. Created daily cronjob that syncs files to server directory.

thindil,
@thindil@mastodon.social avatar

@dwarmstrong Some more security suggestions from the old grumpy guy. 😁 For a security audit, a good tool is lynis, even available in ports. Pretty nice thing to harden a server (or a desktop) configuration even more.

JustineSmithies, to FreeBSD
@JustineSmithies@fosstodon.org avatar

I think I'm going to put aside for a while as since the 14.0 update and believe me I have even done a fresh install. I cannot get any compositor to run. I've read the handbook and even went back through the previous help I got from @evilham . I know seatd is working and I have XDG_RUNTIME_DIR set correct it's just that sway,river or hyprland just exit on signal 6 ( core dumped) the seat is running fine. I have my i915kms driver loaded according to kldstat. :void: is home

thindil,
@thindil@mastodon.social avatar

@JustineSmithies I read that some people have also problems with Wayland and 14. It seems like we have a new "unexpected" feature. Perhaps taking a break from something is a good idea. 😉

dwarmstrong, to FreeBSD
@dwarmstrong@fosstodon.org avatar

For a Linux user to try out a BSD is to reap the great benefit of traveling to a foreign country: you not only learn new things, but you also see old things in a new light.

You might even decide to move there. 🙂

thindil,
@thindil@mastodon.social avatar

@dwarmstrong or back home with some new ideas to implement. 😉 For me, the best thing is Ctrl-T in a console on a foreground process. Many BSD users treat it like something obvious. 😂

thindil,
@thindil@mastodon.social avatar

@dwarmstrong It should send a SIGINFO signal to the kernel, and in return you should get information what exactly the process is doing. Maybe your terminal emulator has assigned this shortcut somewhere? Or the process catch the shortcut. You could try it, for example with Firefox, etc.

JustineSmithies, to FreeBSD
@JustineSmithies@fosstodon.org avatar

I'm attempting to install onto my test laptop although it failed last time with some error about the base package after downloading them all. I'm going to write the actual error down this time if it fails. 🙃

thindil,
@thindil@mastodon.social avatar

@JustineSmithies 15? Iirc, it is very experimental version, like Linux directly from repository. 😉 I started with the stable version, currently 13. 14 is planned to release in the next week.

JustineSmithies, to FreeBSD
@JustineSmithies@fosstodon.org avatar

Sitting patiently whilst Julie re dyes my hair aka regingering reading about of all things. I've read about the differences between and and now I'm onto the ports system and OMG I'm nearly tempted to give it a whirl on my trusty old test laptop. :freebsd:
How many folk have if any have switched from Linux to BSD and if you have please tell me why and what you prefer over the former ?

PS I'm a user

Please share for a greater response ❤️

https://www.freebsd.org/

thindil,
@thindil@mastodon.social avatar

@JustineSmithies I switched to several years ago, after using Linux for many years. And I'm happy with the change. Things which tempted me were:

  1. First grade support for ZFS. On Linux, the support is pretty bad compared to FreeBSD. Here, ZFS shows how awesome a file system it is.
  2. Dtrace - Linux don't have support for it. This tool is one of the best debugging tools for developers or sysadmins.
  3. Linuxulator - why only one system, when you can have both. Without virtualization. 😁
dwarmstrong, to FreeBSD
@dwarmstrong@fosstodon.org avatar

Day 3-30

Learn about the distinction between (binary) packages and (source) ports. Installed a few extra console applications courtesy of the pkg package manager. Apparently you are not supposed to mix using packages and ports on the same system? I'll dig into that a bit deeper when the issue arises where I want to compile something from the ports tree.
https://docs.freebsd.org/en/books/handbook/ports/

thindil,
@thindil@mastodon.social avatar

@dwarmstrong it depends. 😉 It is the option for a bit more advanced users, because it can break everything. If you want to use both in one system, you should pay attention to which branch of packages and ports you use. Generally, it is not recommended to mix current and quarterly branches.

I'm using that mix for several years and the only problem is to remember to rebuild the source packages from time to time.

thindil,
@thindil@mastodon.social avatar

@grahamperrin @dwarmstrong Nice, thank you for the information. 😊I think, in the answer it would be nice to have mentioned, that default setting can cause problems: by default ports are at a quarterly branch, while documentation points mainly to the current branch.

jabberati, to random
@jabberati@social.anoxinon.de avatar

deleted_by_author

    •
    thindil,
    @thindil@mastodon.social avatar

    @jabberati Yes, Cloudflare always adds certificates to domains. I can tell it from my own experience. 😉 Your list of certificates looks normal.

    collin, to random
    @collin@ruby.social avatar

    The big reason I could never use Linux as my main OS is that I’d spend all my time switching distros and tweaking things. macOS gives me about the max number of options I can have and get anything done.

    thindil,
    @thindil@mastodon.social avatar

    @collin You could give try to . Its general idea is to mix macOS principles with FreeBSD under the hood. 😉

    madargon, to selfhosted
    @madargon@is-a.cat avatar

    My usual amount of #openssl hate :blobcat_amused:​
    Few weeks ago I had spam wave on my mail from my Zabbix, about high #cpu load. Firstly I shrugged it off as it is low resources VPS with too many services, I kind of expected this. One day I checked it for curiosity and found it was mainly openssl #ocsp process eating my resources. I restarted service, everything looked good.
    Some time passed, yesterday I was doing random things on my server. Checked #htop without any particular reason and saw it again. This time I was more irritated and disabled service completely. I didn't use it on "production" anyway.
    I am not sure if it was normal. Maybe openssl docs tell the truth and it is not a good way to run it long-term?
    BTW what the hell am I doing with my life?!

    #geek #nerd #admin #tls #selfhosted

    thindil,
    @thindil@mastodon.social avatar

    @madargon @tek_dmn Probably automated attack. My IDS usually blocks automatic ports knocking once per week. And about automated brute force flood attacks I even don't want to talk. 😀 Old admins hint: always close all ports which are not used. It can really save your server resources. And less headache. 😉

    lukaso666, to esperanto Polish
    @lukaso666@chaos.social avatar

    tre longe mi ne skribis ĉi tie en ...

    ĝenerale mi volus kapti novajn kontaktojn kadre de , reveni al E-korespondado (eĉ tradicie, papere!✉️) kaj ekkoni novajn geamikojn...
    se iu-ajn pretas kontaktiĝi per ili - mi invitas vin! 😎

    vivu sennacia komunikado!

    thindil,
    @thindil@mastodon.social avatar

    @lukaso666 Saluton, se vi uzas Matrikso (mi esperas ke tio estas bona traduko de Matrix 😉), vi povas trovi Esperanton ĉambron tie. Sed mi ne memoras adreson.

    Mi esperas ke mian rustan Esperanton estas komprenebla. 😂

    thindil,
    @thindil@mastodon.social avatar

    @lukaso666 Bele. 🙂
    Sed mi devus uzi ĝin pli ofte. 😉 Ĉi tie mi uzas preskaŭ ekskluzive la anglan.

    thindil,
    @thindil@mastodon.social avatar

    @lukaso666 Mi esperas ke vi sukcesos pri tio.🙂 Jes la angla povas esti malfacila lingvo, precipe por Slavoj. Por mi ĝi estas nur ilo. Tiel longe kiel oni komprenas min. 🤣

    thindil,
    @thindil@mastodon.social avatar

    @lukaso666 Ho, mi komprenas. 🙂 Vere, laŭ mia opinio, Esperanto estas pli bona internacia lingvo ol la angla. Plejparte ĉar ĝi ne estas ligita al iuj kulturo. Tiel multe pli facile lernebla.

    madargon, to random
    @madargon@is-a.cat avatar

    Testing... Testing...
    First time tooting from :blobcatsunglasses:

    I am trying to move as many ​of my casual browsing as possible to Tor to reduce my fingerprint. Not to "hide" but to become even more harder to track by nasty, disgusting .
    Reading news, I feel like they became more shameless recently so I despise more their attempts to squeeze and monetize every bit of they touch. And I am willing to starve them of my data further than before.
    If they are ready to break the laws and count EU GDPR fines as business costs I guess data are valuable. So why not keep this precious thing for myself? :blobcat_amused:​

    If some pages will block me, it may be signal for me they aren't respecting users and maybe I should stop visit them :blobCat_devil:​

    I don't want to make these disgusting entities richer and stronger. I don't want participate in this.
    I am not "digital biomass" or "free data mine".
    I despise what they did to the web.

    Maybe I don't have do this for Mastodon, I personally know my admin :blobcatjoy:​ I am simply doing some innocent tests.

    thindil,
    @thindil@mastodon.social avatar

    @madargon As far I know, tracking is a much wider topic. Unfortunately, even Tor doesn't help too much in the "Ai" era. If you use Tor only for anonymity, a better option could be host file. It is almost undetectable for most tracking tools.

    Plus, today, securing only a web browser for anonymity is like trying to get an ocean with a spoon. Even "open source" text editors can report your activity. 😂

    thindil,
    @thindil@mastodon.social avatar

    @madargon Programs installed locally. Usually Electron-based but it isn't a rule. They are just easier to implement tracking, after all, the code needed for it is in the place. Sometimes it is harder to detect those things, than in a web interface.

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