@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.

yvan, to random
@yvan@functional.cafe avatar

I casted my votes 🗳️!

Codeberg, to climate
@Codeberg@social.anoxinon.de avatar

EU citizens, your vote for the European Parliament election matters much more than you might think.

From and all the way down to : Some important decisions are due.

We noticed populist right-wing forces co-opting "open-source" by "supporting its adoption".

However, they stand for isolationism (hidden behind "tech sovereignty"), and against international collaboration, openness and transparency; which are what makes awesome.

Choose wisely!

kuketzblog, to microsoft German
@kuketzblog@social.tchncs.de avatar

»Der Bundeshaushalt sei "zu einer Gelddruckmaschine für Software-Konzerne geworden". Nachdem insbesondere Microsoft jahrelang die Preise in die Höhe getrieben und seine Monopolstellung "schamlos ausnutzen konnte. [...] Deutschland und Europa müssten sich unabhängiger von Big-Tech-Konzernen machen, sonst drohten weitere Preisschocks und Datenmissbrauch.«

Zusammengefasst: Deutschland zahlt. Microsoft lacht. Unabhängigkeit? Vielleicht irgendwann. Seufz. 🤦‍♂️ 👇

https://www.heise.de/news/Bund-Lizenzkosten-fuer-Microsoft-auf-hohem-Niveau-insgesamt-neuer-Rekord-9744319.html

#microsoft

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

🔥 Heute kommt die Machtübernahme! 🔥

Book Launch Day! Ich freue mich sehr, bin ein bisschen stolz und bin sehr dankbar für die große Unterstützung von vielen vielen Menschen. Dankeschön.

Zum Buch geht's hier: https://fragdenstaat.de/buch/

Buchcover "Machtübernahme". Darauf ist ein fallender Adler zu sehen.

astefanowitsch, to random German
@astefanowitsch@mastodon.social avatar
tixie, to random
@tixie@guerilla.studio avatar

text-overflow: ellipsis; is not a good content design solution edition 9872628

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

Extremwetter: Sagt nicht Jahrhunderthochwasser, sagt Klimakrise!

Die Überschwemmungen sind außergewöhnlich im Rückblick auf die letzten 100 Jahre. Doch in Zeiten der Klimakrise verliert der Begriff #Jahrhunderthochwasser seinen Sinn.

🔗 Kommentar in der ZEIT: https://www.zeit.de/wissen/2024-06/extremwetter-jahrhunderthochwasser-klimakrise-regen-unwetter
#hochwasser #bayern #schwaben #klimakrise #extremwetter

Z, to random
@Z@jorts.horse avatar

happy LGBTQ+ corporate promotion month to all who celebrate, please look under your seats for a gay coupon

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

(Es wäre so vermeidbar gewesen, was jetzt in Bayern passiert)

Starker Dauerregen im Süden Deutschlands hat die Pegelstände der Flüsse steigen lassen. Im Landkreis Günzburg wurde bereits ein erreicht. Mehrere Landkreise riefen den aus. Bis Samstag wurden in und Niederschlagsmengen von mehr als 100 l/m2 innerhalb von 24 h gemessen. Stabilisierung der Wetterlage wird erst ab Montag erwartet.

https://orf.at/stories/3359364/

tuxom,
@tuxom@mastodon.social avatar

1995

Der wissenschaftliche Beirat der Bundesregierung warnt in einer Stellungnahme an Umweltministerin anlässlich der - in Berlin vor einer . Jährlich müsse die um 1% verringert werden, sonst wäre ein Gegensteuern in rund 25 Jahren (~ 2020) nicht mehr möglich.

(1% CO2 Reduktion - das war doch ein "Schnäppchen" im Vergleich zu heute - heute müss(t)en wir 5% bis 10% JÄHRLICH reduzieren um das Paris-Abkommen einhalten zu können)

video/mp4

ericalaeta,
@ericalaeta@ruhr.social avatar

@tuxom Auf Bluesky wird treffend analysiert. (Bild antippen für Text)

Mer__edith, to random
@Mer__edith@mastodon.world avatar

Signal strongly opposes the newest proposal in Europe.

Let there be no doubt: we will leave the EU market rather than undermine our privacy guarantees.

This proposal--if passed and enforced against us--would require us to make this choice.

It's surveillance wine in safety bottles.

See more: https://www.patrick-breyer.de/en/majority-for-chat-control-possible-users-who-refuse-scanning-to-be-prevented-from-sharing-photos-and-links/ @echo_pbreyer

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

Feiere diesen Stickerfund auf der sehr.

Quinnypig, to random
@Quinnypig@awscommunity.social avatar

Getting pretty tired of this being almost my entire tech news feed these days.

bfdi, to random German
@bfdi@social.bund.de avatar

@ulrichkelber : "Der @bfdi schützt Menschen, keine Daten."

/ ÖA

JonBaker, to random
@JonBaker@mastodon.social avatar

GOOGLE 2004: Don’t be evil

GOOGLE 2024: Don’t be useful

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

Töten auf Basis von Metadaten: Der Film „Watching You – Die Welt von und Alex Karp“ folgt den Spuren des US-Tech-Konzernchefs, der auch Geschäftspartner von Polizeibehörden in Deutschland ist https://netzpolitik.org/2024/palantir-und-alexander-karp-toeten-auf-basis-von-metadaten/

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

ich habe erreicht wovon die afd bisher nur träumt

nbsp, to random
@nbsp@yearning.gay avatar

various spinning animations of the Adobe logo, above a highlighted portion of the Adobe Trademark Guidelines specifying that "Under no circumstances may you modify, distort, morph, animate, or add to the corporate logo." free bird is playing in the background

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."

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

#lechiffre mailday
#keyboard
#cchultras

blinry, to random
@blinry@chaos.social avatar

Booked an Interrail Pass to travel to #emfcamp, a hacker camp in the UK! #emf2024

Getting excited! 😆 This will be the first time I use the Channel Tunnel!

blinry,
@blinry@chaos.social avatar

Whoa, the Electromagnetic Field hacker camp feels different than other similar events I'm used to!

There's art installations and little games everywhere! Really nice vibes.

I'll add image descriptions when I have more time, sorry!
image/jpeg
image/jpeg

yvan, to NixOS
@yvan@functional.cafe avatar

We're bootstrapping a recurring / meetup in on Monday, March 11. Hope to see you there! https://brunix.glitch.me

yvan,
@yvan@functional.cafe avatar

We do a 4th iteration of our Brussels / User Group Meetup, Monday 10th of June, at BeCentral again! http://brunix.glitch.me/

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