Martin Ruskov @mapto@qoto.org
- Games
- https://mapto.itch.io
- Others (+fedi)
- https://linktr.ee/mapto
Studying how people interact, in the past (#CulturalAnalytics) and today (#EdTech #Crowdsourcing). Researcher at @IslabUnimi, University of Milan. Bulgarian activist for legal reform with @pravosadiezv. I use dedicated accounts for different languages.
My profile is searchable with https://www.tootfinder.ch/
Joined Nov 2022
@babetteknauer @wlaatje there's also https://fedi.directory/tag/netherlands/ and https://fedi.directory/?s=University, but I see how its top-down hierarchy might be failing to deliver.
Another option is starter packs https://fedidevs.com/starter-packs/. This is a feature that mastodon developers are currently working to integrate in official mastodon.
Martin Ruskov
boosted
Great to see that @hennavirkkunen, the @EUCommission Vice-President for Tech Sovereignty, Security and Democracy joined Mastodon: Welcome!
Martin Ruskov
boosted
There are now sufficiently many different examples of Erdos problems that have been resolved with various amounts of AI assistance and formal verification (see https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems for a summary) that one can start to discern general trends.
Broadly speaking, we now see an empirical tradeoff between the level of AI involvement in the solution, and the difficulty or novelty of that solution. In particular, the recent solutions have spanned a spectrum roughly describable as follows:
1. Completely autonomous AI solutions to Erdos problems that are short and largely follow a standard technique. (In many, but not all, of these cases, some existing literature was found that proved a very similar result by a similar method.)
2. AI-powered modifications of existing solutions (which could be either human-generated or AI-generated) that managed to improve or modify these solutions in various ways, for instance by upgrading a partial solution to a full solution, or optimizing the parameters of the proof.
3. Complex interactions between humans and AI tools in which the AI tools provided crucial calculations, or proofs of key steps, allowing the collaboration to achieve moderately complicated and novel solutions to open problems.
4. Difficult research-level papers solving one or more Erdos problems by mostly traditional human means, but for which AI tools were useful for secondary tasks such as generation of code, numerics, references, or pictures.
(1/2)
@nutomic @julian that post is now deleted as it was refered to as spam-post in response. In any case, by receiving responses from lemmy, that post served its purpose. This is the notification the bluesky user received, because obviously the people responding from Lemmy do not have their accounts bridged
Martin Ruskov
boosted
See here for examples:
bsky.app/…/unitedkingdom.feddit.uk.ap.brid.gy
retrolemmy.com/post/31790836/17287584
There is still more testing and development needed, check the issue for more details.
@AlSweigart are you active on feddit/piefed/lemmy? I'd like to follow any communities where you contribute, as ridiculous as this sounds
I think I now know where to draw the line between "good" and "bad" #GenAI, and possibly (or rather obviously) the same for #machineLearning. It's simply whether the input data has been constructed rigorously. Put this way it's the most obvious statement ever, but somehow #BigTech have convinced us all that they advance research by recklessly scraping #twitter, #4chan and who knows what else (they keep their training data secret).
What is good science in computational linguistics? Well, open data is a step towards it. But open and crap is not a solution. We need to actually _know_ and manage the data. And nobody in their right mind would want to plough through toxic data to clean it. We've all heard the horrors of Kenyan data workers who do it for money and still suffer doing it.
But better (yes, also smaller) corpora are of interest to scholars in the humanities and the social sciences. Think of https://textcreationpartnership.org or https://mlat.uzh.ch. Yes, they are too big for individual researchers or even teams to handle, but we have the organisational and technological infrastructure to work on them collectively. We've been doing it for ages and we will continue doing it. We just need to do it together.
And this is the goal of the European Research Council project proposal I'm submitting in this very moment.
Martin Ruskov
boosted
We actually need #EUskifter, but does it take a Greenland -level threat to get there?
@CiaraNi I've tried tuta's free tier and would be curious if anyone could suggest alternatives with better usability. Thanks!
Martin Ruskov
boosted
For anyone wishing to start the year off making a DOS game restricted by one of the most minimalist video standards in PC history, have I got a jam for you! This runs to the end of February and all CGA DOS games are welcome, regardless of stage of development!
#gamejam #dosgamejam #dos #cga #itch #indiedev #gamedev
https://itch.io/jam/cga-game-jam-2026
@ben what does "free to stream on Netflix" stand for? I opened the link and it told me I don't have a subscription.
Martin Ruskov
boosted
NEW: The Palantirisation of the UK military is a national security disaster. Peter Thiel is now the third wheel in the US-UK ‘special relationship’. 1/ open.substack.com/pub/broligar...
@anna I've never found myself much in place with Twitter-like platforms. I enjoyed FB much more in the early days. I don't like people-centric conversations, I prefer topic-based communities. The fediverse affords this through platforms like a.gup.pe, mbin, lemmy and piefed. The best part is that it's a common experience with mastodon and its alikes. Still figuring how to use it and the experience needs to improve a lot.
Certainly never going back to a social network sustained around clickbait and scam. By now I'm convinced that any corporate social network has no other options but become exactly of that type.
Martin Ruskov
boosted
With agentic AI embedded at the OS level, databases storing entire digital lives accessible to malware, tasks whose reliability quickly breaks down at each step, and being opted-in without consent, @signalapp leadership, @Mer__edith and Udbhav Tiwari, are sounding the alarm for the industry to pull back until threats can be mitigated.
@kristinHenry sorry, can't shut up. We're in this together, even from afar. Anything counts, no one can do it alone! Keep going, whatever you do. If it comes from the heart, it helps, even in unnoticeable ways.
@kristinHenry hey Kristin, you don't know me, but I've been following you since my early days here, also through some of your difficult moments.
I am Bulgarian, this is a country in a struggle with totalitarianism at least since WWII. I can assure you that what you do is very important. Fighting back is exhaustive. Any positive vibes like your art are a rush of new energy in a journey that otherwise might feel Sisyphean.
Martin Ruskov
boosted
Curiosity can lead to either support of science or conspiracies. A recent study found that what matters is how people are curious. Those who dislike uncertainty and want quick answers tend toward conspiracy theories. Those who enjoy exploration and open-ended thinking tend to trust science.
<em>British Journal of Social ...
- Games
- https://mapto.itch.io
- Others (+fedi)
- https://linktr.ee/mapto
Studying how people interact, in the past (#CulturalAnalytics) and today (#EdTech #Crowdsourcing). Researcher at @IslabUnimi, University of Milan. Bulgarian activist for legal reform with @pravosadiezv. I use dedicated accounts for different languages.
My profile is searchable with https://www.tootfinder.ch/
Joined Nov 2022
