If you thought autoformalization efforts were already terrible, wait until you find out the kind of bullshit a part of the #algorithms community is coming up with in #lean

https://laxarchive.org/about.html

Note that their absolutely genius idea is to… introduce axioms for unproved theorems and […]

Online #misogyny is shaping pupils’ attitudes at speed. From #algorithms to belonging, this article from the SecEd #Safeguarding Digest platform explores why misogyny is rising in #schools & what #teachers can do to challenge it – without sanctions: https://ow.ly/rV3850ZQXt8 #Education #Teaching

Senior Middleware Engineer — Ensono
BRL 1k/mo
Brazil

https://hiring.lat/job/senior-middleware-engineer-ensono/286101

#complianceskills #algorithms #communicationskills

#andrewcampbell #britishartist #art #subvert #meta #agitate #algorithms #provoke #X #attack #openai #resist #ai #disrupt #instagram #artforsocialmedia #facebook #dissent #tiktok #painting #maquette #notai #oiloncanvas #visualbites #netscape #prototype #study #contemporaryartist #wwwandrewcampbellcom

AI Software Engineer — Zone & Co
Colombia

https://hiring.lat/job/ai-software-engineer-zone-co/274936

#algorithms #communicationskills #aws

#andrewcampbell #britishartist #art #subvert #meta #agitate #algorithms #provoke #X #attack #openai #resist #ai #disturb #instagram #artforsocialmedia #facebook #dissent #tiktok #painting #maquette #notai #oiloncanvas #visualbites #netscape #prototype #study #contemporaryartist #wwwandrewcampbellcom

#Jev shows a future of diverse #AI tools 🤖. The past 6 years have largely focused on LLMs. What's critical about Jev isn't just what it does — it shows there's space for specialised models. ChatGPT supercharges your mind. Jev supercharges our #algorithms, unlocking dependability where LLMs can't 🔌

Solving a corn puzzle with CP-SAT
Discussion | hackernews | Author: luu

#Algorithms

Social media connects billions of people, yet algorithms can place those people into increasingly isolated information bubbles. The result can be more connection technologically and less shared reality socially.

buff.ly/ktMDRBx

#SocialMedia #Algorithms #Technology #Polarization #Society

Thanks a lot to my co-authors @aliciaernst.bsky.social, Benedikt Rohr, @mscharkow.bsky.social, and @leonardreinecke.bsky.social!

#Communication #MediaPsychology #Entertainment #Music #Spotify #Algorithms #OpenScience #ESM @ifpmainz.bsky.social

#andrewcampbell #britishartist #art #subvert #meta #agitate #algorithms #provoke #X #attack #openai #resist #ai #disrupt #instagram #artforsocialmedia #facebook #dissent #tiktok #painting #maquette #notai #oiloncanvas #visualbites #netscape #prototype #study #contemporaryartist #wwwandrewcampbellcom

#publichealth #childhealth #NCDs #SDGs #algorithms

In health promotion fairyland
it is never quite clear
- who will buy, chop, cook, serve/deliver the vegetables and clean up afterwards,
- and who will pay for the produce and decent hourly remuneration for the people working in the kitchen.
.

Self-parking car using generic algorithm (2021)
Discussion | hackernews | Author: trekhleb

#Algorithms

In the age of #Parasocial media, scrolling is more common than posting. The content we encounter is largely shaped by #Algorithms and optimised for engagement. This shift shows the need for a new model of digital literacy centred on #Lurkers.

https://ow.ly/VJYC50ZRuXK

youtu.be/krufFg7pu20

#AI #AImodel #MachineLearning #IOT #Computing #algorithms #Automation #Robotics #EUAIact #AIpolicy

Accelerated Out of Core Shuffling
Discussion | hackernews | Author: quasiben

#Algorithms