@mangoiv@functional.cafe
@mangoiv@functional.cafe avatar

mangoiv

@mangoiv@functional.cafe

Your average Haskell + Nix person; I am interested in modern functional programming languages like lean4 and koka, recently also elixir.

Currently finishing Bachelor's and writing Haskell for wire messenger.

Sometimes I build mechanical keyboards.

I am interested in discussions if the goal is to learn something, if you're just trying to persuade me, please leave me alone.

I will post in English and will occasionally boost German (network-)politics related things.

he/him is fine

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

nbsp, to random
@nbsp@yearning.gay avatar
ricci, to random
@ricci@discuss.systems avatar

At last, some information from Google that students can really use!

maralorn, to NixOS
@maralorn@chaos.social avatar

Switched all my machines to 24.05.

Basically no hickups. Thanks to all contributors for a great release!

typeswitch, to random
@typeswitch@gamedev.lgbt avatar

C library functions are always like: "SYNOPISIS. This function converts foos into bars depending on the user locale. ARGUMENTS. src and dest pointers must be distinct; it is undefined behavior if they are not QPU-aligned. RETURN VALUE. Returns the number of foos converted. A zero value indicates failure, or that zero foos were converted. A negative value indicates that the final foo was only partially converted (function got tired). Check errno global to find out why."

stavvers, to random
@stavvers@masto.ai avatar

Heads up to anyone using facebook or insta: you'll receive a notification about your data being used to train AIs. The opt out process is deliberately convoluted and you have to fill out a form to object. This is what I wrote in mine, and the objection was immediately registered as successful, so feel free to copy.

Masto reply bores, this is not a post on which to fart out your opinions about Meta or AI or whatever. So don't. I'm sharing helpful info for people who need it, not for you.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

I thought of a use for LLMs but I don't see myself having time to code it up for a few weeks. A touch typing tutor. It should be easy to take llama.cpp and adapt it to generate the next token based on which letters and words I need most practice with. So you get to practice with plausible sentences that still train you where you need it.

ink, to keyboard German
@ink@corteximplant.com avatar
islieb, to random German
@islieb@mastodon.social avatar

Diagnose

eichkat3r, to random German
@eichkat3r@hessen.social avatar

2006 hatte ein freund von mir so ein problem mit windows XP

da war sein PC voll langsam und alles hat geruckelt

sein cousin oder so hat was mit EDV gemacht und rausgefunden dass mein kumpel sich einen virus eingefangen hat der regelmäßig screenshots vom desktop gemacht und an irgendeinen server geschickt hat

fast 20 jahre später bietet microsoft das jetzt als feature an

nixCraft, to privacy
@nixCraft@mastodon.social avatar

Is it just me, or has Microsoft gone completely crazy? They are implementing spyware that takes screenshots every second and forcing AI integration. Why would anyone willingly purchase this? Anyone with experience in computer or information security knows that it is a bad idea, even if it is locally done. Just don't do it. Yet, here we are, and they are doubling down on this idea. https://arstechnica.com/gadgets/2024/05/microsofts-new-recall-feature-will-record-everything-you-do-on-your-pc/

sc_griffith, to random
@sc_griffith@mathstodon.xyz avatar

you don't need to blow leaves! they're just fucking leaves! it's literally in the name that you can just leave them there

linuzifer, to random German
@linuzifer@23.social avatar

Ein seltener Fall von „Wieso lassen wir nicht einfach den Bauzaun? Der ist doch nicht schlecht!“

GuidoKuehn, to random German
@GuidoKuehn@mastodon.social avatar

Als Maximillian Krah die SS verharmlost platzt selbst Le Pen der Kragen und sie quittiert den Regelbruch mit der Aufkündigung der Zusammenarbeit auf EU-Ebene. Hierzulande ist die FDP gegen ein Verbotsverfahren wegen Freiheit, also ihren Koalitionsoptionen. Und die Union ist so Brandmauer, dass niemand mehr ihre Plakatslogans von denen der AfD unterscheiden kann.

scy, to random German
@scy@chaos.social avatar

Nett hier. Aber waren Sie schon mal in der Bredouille?

scotfot, to random
@scotfot@mastodon.scot avatar

Hawthorn flower

kaffeeringe, to random German
@kaffeeringe@social.tchncs.de avatar

: Ein paar Infografiken für den WiPo-Unterricht.

In vier Bildern erkläre ich kurz, wie Politik in vier beispielhaften Politikfeldern funktioniert.

Umweltpolitik: Von Dürresommer zu Hochwasser und zurück
Verkehrspolitik: Brumm Brumm Brumm Brumm
Bildungspolitk: PISA und zurück

tomroberts, to random
@tomroberts@metalhead.club avatar

If I’m gonna have a profile picture, I’m gonna draw it myself.

typeswitch, to random
@typeswitch@gamedev.lgbt avatar

user: hello company, i would like to access your main product, you know, the one people come to you for, the main thing

company: HAVE YOU HEARD OF A I

conorh, to random
@conorh@mastodon.sdf.org avatar

During lunch a friend mentioned that you can just supply a HTTP URL to vim on the command line and it would use curl to download that resource and allow you to edit the content. I jokingly asked whether if you enter :w it would then issue a HTTP POST back to the origin which is of course ridiculous.

It issues a PUT

kohnzn, to random German
@kohnzn@chaos.social avatar

n1c3

video/mp4

BahnAnsagen, to random German
@BahnAnsagen@social.tchncs.de avatar

"Wir bitten alle Fahrgäste, die nach Basel SBB möchten, in Karlsruhe auszusteigen und den nachfolgenden ICE nach Zürich zu nehmen. Der fährt wegen einer Verspätung zwar auch nicht nach Zürich, aber immerhin bis Basel." (@calendulablog.bsky.social)

tagesschau, to random German
@tagesschau@ard.social avatar

Wie sich die Wagenknecht-Partei auf die Landtagswahlen vorbereitet

Die Chancen stehen gut für die Wagenknecht-Partei, bei den Wahlen im Osten in die Landesparlamente einzuziehen. Doch das BSW formiert sich noch. In Sachsen ist heute Landesparteitag. Von L. Grothe.

➡️ https://www.tagesschau.de/inland/innenpolitik/bsw-vor-wahlen-100.html?at_medium=mastodon&at_campaign=tagesschau.de

olafschloesser,
@olafschloesser@die-partei.social avatar

@tagesschau Genau mit so unnötigen Bullshitbeiträgen hat der ÖRR auch die fckafd groß gemacht.

imtheq, to random
@imtheq@realsocial.life avatar
GuidoKuehn, to random German
@GuidoKuehn@mastodon.social avatar

Treppenwitz der Klimaphysikgeschichte: Gestern passierte das entschärfte Klimaschutzgesetz den Bundesrat und am selben Tag eröffnete im Saarland die Badesaison.

simon, to random German
@simon@augsburg.social avatar

Was macht das mit euch?

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