@aiono@mastodon.social
@aiono@mastodon.social avatar

aiono

@aiono@mastodon.social

~20 year old software engineer. Interested in programming language design and theory. Favorite things at the moment are Rust, OCaml and Nix. Huge music fan. Mostly listens to progressive rock/metal. Favorite band is Opeth. Guitar player and tries to write music.

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

nixCraft, to linux
@nixCraft@mastodon.social avatar

Don't let useless cat commands make you hiss-terical! Get a grip with grep on , , & . It's purr-fect for the job! 😼 https://www.cyberciti.biz/faq/howto-use-grep-command-in-linux-unix/

aiono,
@aiono@mastodon.social avatar

@nixCraft
Why waste time to learn how to read a file for every single command I use instead of just piping cat? I think using cat is more aligned with the Unix philosophy.

bagder, to random
@bagder@mastodon.social avatar

What's (open source) maintaining?

aiono,
@aiono@mastodon.social avatar

@bagder
Is this from one of your talks? I would like to watch it if it's on the web.

aiono,
@aiono@mastodon.social avatar

@bagder
Bookmarked to watch later!

nixCraft, to linux
@nixCraft@mastodon.social avatar

Which installation method do you prefer for your or desktop? 🤔

aiono,
@aiono@mastodon.social avatar

@nixCraft
None

I keep a configuration that describes what is needed than use that configuration to get the necessary packages.

gabrielesvelto, to random
@gabrielesvelto@fosstodon.org avatar

Just watched a demo of a couple of ML models (image-to-text + text-to-voice) used as an accessibility feature to read text from an image. It's one of the very few use-cases I've seen lately that is actually compelling and solves a genuine problem that needs solving. Unsurprisingly these models run locally and don't need a mega data-center and your credit card number.

aiono,
@aiono@mastodon.social avatar

@gabrielesvelto
I am not AI expert but AFAIK specialized models to one use case can run in local hardware easily (probably learning can't be done though). The general ones require huge hardware and money.

nixCraft, to random
@nixCraft@mastodon.social avatar

Programming languages are tools. Just like a hammer doesn't automatically make you a great carpenter, simply knowing Rust or C++ or Go or any other lang won't instantly make you a better developer. I am just saying

aiono,
@aiono@mastodon.social avatar

@nixCraft
I disagree, learning new languages teach you new perspectives to how to approach programming and you usually carry those to every other language you use.

nixCraft, to random
@nixCraft@mastodon.social avatar

A tech company has adjusted its hiring focus to prioritize individuals with formal computer science degrees. They will no longer consider self-taught developers. What do you think? Is this a positive change? https://www.reddit.com/r/learnprogramming/comments/1bmm967/my_company_just_decided_to_stop_hiring_self/

aiono,
@aiono@mastodon.social avatar

@nixCraft
As a master student I think it's a bad change. As far as I see, most students are pretty mediocre programmers. Someone with just one or two years of work experience would be much better than most bachelor graduates IMO.

nixCraft, to random
@nixCraft@mastodon.social avatar

Nvidia’s Huang says AGI is 5 years away. 😂 Do you believe him? My guess is Jensen really trying to sell those GPUs. https://techcrunch.com/2024/03/19/agi-and-hallucinations/

aiono,
@aiono@mastodon.social avatar

@nixCraft
Is leather jacket new cool CEO outfit?

nixCraft, to random
@nixCraft@mastodon.social avatar

Ugh, the AI subscription wars have begun! This reminds me of the streaming service subscription wars. Do I really need to pick my favorite robot overlord? Let's break down the damage:

$20 of Claude AI
$20 ChatGPT
$20 Gemini Advanced
$20 Copilot Pro
$20 Cursor
$20 Perplexity

Anyone else feeling the AI FOMO? Are you paying for the ai/robot service? That is what I wanna know 🤔

aiono,
@aiono@mastodon.social avatar

@nixCraft
I didn't find any of them to be good enough for spending money. But to be fair I find ChatGPT pretty good for learning a new human language. It can give an example sentence and break it down for you. Since human languages are usually not strictly rule based something like ChatGPT works pretty well.

aiono,
@aiono@mastodon.social avatar

@nixCraft
I didn't use Duolingo so I can't compare with that. But I use flashcards to learn new words. I use ChatGPT as a complementary tool during learning. It helps me to see a word in a sentence to learn but when you are really beginner example sentences alone is not enough and you usually need a breakdown. ChatGPT can create specific examples and break it down for you. And since I am only a beginner the questions I ask are asked quite a lot so ChatGPT is also pretty accurate too.

nixCraft, to random
@nixCraft@mastodon.social avatar

🤔

aiono,
@aiono@mastodon.social avatar

@nixCraft
It's like saying "why are you working if you don't like capitalism?". Yes we rely on C/C++ for many fundamental things but we simply do it because there is no viable alternative. You can't just write a reliable software in a short time. That doesn't mean that language doesn't matter. But for some projects language problems don't outweigh the benefits of years of effort put into it making sure it works good enough.

vwbusguy, to linux
@vwbusguy@mastodon.online avatar

For users of any operating system, not just , what might keep you from trying/running an desktop? If you are already running one, why did you choose it?

https://fedoraproject.org/atomic-desktops/

aiono,
@aiono@mastodon.social avatar

@vwbusguy
I like the immutability but for me reproducibility is also important. If I have reliable reproducible build for my setup then I don't really need immutability. Which provides for me.

aiono,
@aiono@mastodon.social avatar

@vwbusguy NixOS is already immutable too. For every new build you get a new generation and the old one is untouched.

fasterthanlime, to random
@fasterthanlime@hachyderm.io avatar

good morning

aiono,
@aiono@mastodon.social avatar

@fasterthanlime tbh I think it's good at at least it doesn't let you silently block every other async task.

nixCraft, to random
@nixCraft@mastodon.social avatar

The EU forces Apple to allow 3rd party app stores and browsers. Apple comes with a schema that costs more money to maintain 3rd party app stores than the older official app store version. I think Tim Cook is an absolute madman for Malicious compliance. 😂

aiono,
@aiono@mastodon.social avatar

@ninokadic
Android is marginally better but still pretty bad. To really be able to use the apps most people use you still need to have Google Play services installed.
@nixCraft

aiono,
@aiono@mastodon.social avatar

@islamicaudiobooks
AFAIK MicroG still uses Google servers. It's just client side code that's replaced.
@ninokadic @nixCraft

Migueldeicaza, to random
@Migueldeicaza@mastodon.social avatar

Companies should heavily support and invest in open platforms.

Sure, getting some crumbs from the EU on the DMA might have some short term benefits. But you should take charge of your future.

Put your money where your mouth is: fund (and fund with passion, not just a few dollars here and there), support, and make opensource- based mobile and desktop operating systems your top priority.

Otherwise, you are just another capitalist swine fighting for a larger portion of slop from the trough.

aiono,
@aiono@mastodon.social avatar

@Migueldeicaza
At this point I only expect this push from Europe

nixCraft, to random
@nixCraft@mastodon.social avatar

I had an issue with my iPhone's local photos and had to delete all 90,000 of them. Unfortunately, it's not possible to delete everything at once, even on a Mac. When I contacted Apple, they informed me that the only option was to manually select and delete each photo, one by one. In order to make the process easier, I used a "Super Analog" photo deletion machine that responds to touch with capacitance instead of using my finger. Thankfully, things are going well now. https://twitter.com/twyoichi/status/1751044052781502490

video/mp4

aiono,
@aiono@mastodon.social avatar

@nixCraft
Peak automation

Gargron, to random
@Gargron@mastodon.social avatar

Caligula's Horse for .

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

aiono,
@aiono@mastodon.social avatar

@Gargron
Caligula's Horse I great! Especially this album is my favorite of them.

nixCraft, to random
@nixCraft@mastodon.social avatar

Heads up: Google just killed yet another product. RIP Google Podcast.

aiono,
@aiono@mastodon.social avatar

@nixCraft
Did they choose April 2 because if it was April 1 people wouldn't believe them?

nixCraft, to random
@nixCraft@mastodon.social avatar

According to you: Which technology is this?

Me: Linux 🥰🐧

aiono,
@aiono@mastodon.social avatar

@nixCraft
Postgresql, Nix

thephd, to random
@thephd@pony.social avatar

Whoever wrote this damn document: https://www.regulations.gov/comment/ONCD-2023-0002-0020

You sound exactly like the C people when C++ came along, and it's actually embarrassing.

aiono,
@aiono@mastodon.social avatar

@thephd
This is even more funny knowing that the creator of C++ recently said that just trying to educate people to write better code didn't work after all and they basically suggest the same thing.

Gargron, to random
@Gargron@mastodon.social avatar

I've been brewing on this thought for a while, but I think it comes down to, AI has no place in the arts. Machine-generated art has the appearance of what it is emulating, but no substance. Like cake made entirely of fondant. Or cardboard.

aiono,
@aiono@mastodon.social avatar

@Gargron
Also even if it could, like why would you automate one of the most entertaining part of being a human?
Why not automate jobs so we work less and do more art?

aiono, to random
@aiono@mastodon.social avatar

Great blog post about how to design error handling https://keleshev.com/composable-error-handling-in-ocaml. It specifically talks about OCaml but I think the tradeoffs are valid for any general purpose programming language. The option that author thinks the best is also the same scheme that I considered in the past as the ideal way to denote errors in type signatures.

Gargron, to tidal
@Gargron@mastodon.social avatar

Since I use instead of Spotify, I have to make do with this. My albums of the year.

aiono,
@aiono@mastodon.social avatar

@Gargron Personally I am disappointed with Leprous's Aphelion this time. As much as I like them, their vocal gone too far IMO. He always sounds cathartic and too dramatic. Since he never reduces the tension it doesn't evoke any feelings for me.

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