Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Ulrik Nyman ⬡

@UlrikNyman@mastodon.social
mastodon 4.8.0-nightly.2026-10-06
  • Open on mastodon.social

Head of Studies, Deputy Head of Department at Computer Science, Aalborg University
https://ulrik.blog.aau.dk
Associate Professor, PhD.

#compsci
#formalmethods

0 Followers
0 Following
36 Posts
Joined April 06, 2018
Website:
https://ulrik.blog.aau.dk
GitHub:
https://github.com/ulriknyman
Location:
Aalborg, Denmark 🇩🇰, Europe 🇪🇺
Verification tool:
https://ecdar.net
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 2mo ago
Replying to
@jaredwhite@indieweb.social I assume that you mean without AI? But with compilers on a computer and not with pen and paper. What is the main motivation for not using LLMs as part of the development process? I am asking mainly to understand as I am head of studies at a department of computer science and we are currently getting ready to put more coding with LLMs into courses.
8
21
2
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 5mo ago
Replying to
@CStamp @kkarhan You can make it illegal. Just take out some CEOs
10
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 3mo ago
Replying to
@Javensbukan@cosocial.ca @gabrielesvelto@mas.to If Americans fought for the right to unionize then your country might look very different. The unions have a history written in blood in many countries.
3
3
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 5mo ago
Replying to
@Sibshops@mastodon.online @georgetakei@universeodon.com Yes. This BBC story agrees with you that it is not a done deal, yet. https://www.bbc.com/news/articles/ckgr7dw55lwo
The Onion launches new effort to turn Infowars into parody website
bbc.com

The Onion launches new effort to turn Infowars into parody website

The new proposal would involve the publication licensing Alex Jones's company, which faces liquidation.

5
1
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 5mo ago
Replying to
@lowqualityfacts What about September 1752 https://en.wikipedia.org/wiki/Old_Style_1752
en.wikipedia.org
4
1
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 6mo ago
Replying to
@CharlotteEowyn Split it into multiple nations please! Sincerely, a European.
4
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 5mo ago

Mangler du mere viden om AI, sikkerhed eller Visual Analytics, så meld dig til infomødet på mandag (14 til 15) hvor du kan høre mere om de fire kommende fagpakker på IT-vests master i Softwarekonstruktion.

Det er ikke nødvendigt at melde sig til en hel master og de enkelte fag i fagpakkerne kan også tages for sig.

Du tilmelder dig informationsmødet via dette link:
https://docs.google.com/forms/d/e/1FAIpQLSdTVBBbTxDzmZwjT8SWWsovi3HPnVBchrtyty27g1cJUuVr1Q/viewform

Tilmelding kan ske frem til kl. 14:00 den 11. maj.

docs.google.com
2
1
1
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 6mo ago
Replying to
@si_fuller @tomscott video from 2021 about the British space suit. https://youtu.be/jYgiV4Iz7I0?si=yhMbulBVRoGHCzV-
3
0
1
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 3mo ago
Replying to
@elebertus@eigenmagic.net @gabrielesvelto@mas.to This is not LLM news, it is Union news
1
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 6mo ago
Replying to
@georgetakei@universeodon.com The USA has not adhered to the rule of law since Trump 1.0
3
0
3
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 6mo ago
Replying to
@davidho I hope all non US citizen scientists leave the US and we can get their contribution to science in some other country
2
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 6mo ago

Kender du unge kvinder i gymnasiet eller i sabbatår, der er nysgerrige på IT og teknologi?

IT Camp for kvinder er fyldt med hands‑on erfaringer, faglig nysgerrighed og masser af rollemodeller.

Man behøver ingen erfaring med IT for at være med. Kun lysten til at lære.

📍 Aalborg: 7.–9. maj
📍 København: 8.–9. maj
💸 Det er gratis at deltage – inkl. mad og overnatning

👉 Læs mere og tilmeld i Aalborg: https://www.aau.dk/it-camp-for-kvinder-i-aalborg-e148530
👉 Læs mere og tilmeld i København: https://www.aau.dk/it-camp-for-kvinder-i-kobenhavn-e148528

aau.dk
2
0
5
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 7mo ago
@simonbs Lets just forget about copyright. If it is accessible it should be free to be copied. I hope the EU starts the wave by abolishing US copyright in EU.
2
1
2
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 5mo ago
Replying to
@carnage4life Layoffs are not an existential problem. If productivity stays high, this problem can be solved through redistribution of funds. There are other much more serious problems with AI that we need to be very of, while we try to navigate the creation of AI.
1
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 6mo ago
Replying to
@AliceStollmeyer@eupolicy.social That is easy, because they are both autocratic regimes.
1
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 7mo ago
Replying to
@ApostateEnglishman@mastodon.world @MarkHoltom@mastodonapp.uk And one of the major parties in the Nordic countries is called Social Democrats and they have been instrumental in instituting these policies since WWII. Personally I think unions are even more important. In Denmark there is no minimum wage, but unions have real power that negotiates actual wages in different fields. The parliament cannot interfere with the negotiations. This was fought with blood in 1901. The USA unions need to arm and kill to win rights.
1
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 11mo ago
Replying to
@cmconseils@mastodon.social Why should an employer pay for commute time? In Denmark we have tax rebates for commutes over a certain distance. This is to encourage people to commute such that the job market remains flexible.
1
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 34mo ago
Replying to
@caranha@scholar.social @hugo@social.treehouse.systems And trees is not a species, but a strategy employed by multiple different unrelated species.
6
1
1
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 17mo ago
Replying to
@notsoloud @carla @nielsvanberkel The computer science departments group in Copenhagen has now grown to about 30 people and is still growing. We started with 2 assistant professors 5 years ago, when we started our Software education in Copenhagen.
1
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 19mo ago
Replying to
@libreoffice@fosstodon.org Danske kommuner og regioner bør kigge på dette
1
1
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 27mo ago
Replying to
@mhoye original by @xkcdbothttps://xkcd.com/2347/
Dependency
xkcd

Dependency

1
1
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 36mo ago
Replying to
@ct_bergstrom@fediscience.org Ahh, yes. This was mainly a case of me not seeing that it was an old post re-posted by someone else.
1
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 1w ago
Replying to
@heidilifeldman@mastodon.social Why do universities have police forces?
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 36mo ago
Replying to
@ct_bergstrom@fediscience.org Which holiday?
0
1
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 7mo ago
Replying to
@davidculley@hachyderm.io @jaykuo@universeodon.com From the text it was not clear that it was available on YouTube. My client only showed a YouTube link and not a preview.
0
2
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 20mo ago
Replying to
@aprilfollies@mastodon.online NASA needs to not comply with such stupid orders.
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 7mo ago
Replying to
@DanielMReck @simonbs If we realistically should do this I think fundraising before starting projects (kickstarter) or pay as you go for extra content (patreon) would be a solution. If I should be more realistic I would actually like us to have 5 or 10 years of copyright and not close to infinite.
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 8mo ago
Replying to
@jrossstocholm@mstdn.dk @politiallekredse@mstdn.dk @saustrup@mstdn.dk Tak, nu følger jeg @nordjyllandspoliti@mstdn.dk
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 7mo ago
Replying to
@SmudgeTheInsultCat And the tax authority calculates your taxes automatically and if you have a regular job and not your own company, then you only have to check and potentially adjust a few numbers. Taxes are easy.
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 7mo ago
Replying to
@DanielMReck @simonbs And we could also do it with a version of universal basic income. Copyright is not a law of nature. It was a concept invented for the age of the printing press.
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 5mo ago
Replying to
@woffs @nixCraft I sometimes wonder how long time humanity has kept track of the seven day week. At some early point we must have messed it up.
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 7mo ago
Replying to
@SmudgeTheInsultCat Why does the tax authority not know exactly how many children you have?
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 6mo ago
Replying to
@indivisibleteam@mastodon.social Why do you think that it is OK to wait until the 28th. You are ruining the world economy and several nations. Maybe Iran will be able to hit the USA before the 28th.
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 5mo ago
Replying to
@Wraithe@mastodon.social Maybe we can get som e more USA citizens taking this resisting the capital death machine that they are inside seriously. Riot in the streets until you have free healthcare!
0
0
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 2mo ago
Replying to
@aardvark@ioc.exchange @cdarwin@c.im no. The problem is the missing legislation. The companies are set up to persue profit within what is legal. You cannot base a system on hoping that companies will act morally good
0
1
0
0
Open post
Ulrik Nyman ⬡ @UlrikNyman@mastodon.social
· 7mo ago
Replying to
@jaykuo@universeodon.com no. What are you suggesting?
0
2
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 21:36:01 UTC