#AI #AImodel #MachineLearning #IOT #Computing #algorithms #Automation #Robotics #EUAIact #AIpolicy
@eqr-quality.bsky.social
@eqr-quality.bsky.social
@tenuretracker.bsky.socialCentre National de la Recherche Scientifique is hiring:
PhD Student in Computer Science: Set-Theoretic Types for Dynamic Languages
@hiringlat.bsky.socialSoftware Development Engineer - .Net or RoR — jobgether
Brazil
https://hiring.lat/job/software-development-engineer-net-or-ror-jobgether/299432
@tenuretracker.bsky.socialCentre National de la Recherche Scientifique is hiring:
PhD Thesis: Adaptive Routing for Quantum Networks
@andrew-campbell.bsky.social#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
@news.karthihegde.devFixed Points and Strike Mandates
Discussion | hackernews | Author: luu
@entwicklerde.bsky.social⚡ Schnelles Autocomplete mit Trie
Michael Inden zeigt, wie sich mit der Datenstruktur Trie effiziente Präfixsuchen in Java umsetzen lassen und warum sie bei großen Wortbeständen einer linearen Suche überlegen sein kann.
@andrew-campbell.bsky.social#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
@ai-bloom.warp-studio.com離散拡散モデルにおける信頼度の限界：確率的依存性とサンプリングバイアスの理論的解明
離散拡散モデルにおける信頼度ベースのサンプリング手法の本質的限界を理論と実験で解明したAppleの最新研究。
@rrr-lab.bsky.socialToday, we're diving back into our archives to explore a crucial question: Can people predict whether someone will reoffend as accurately as statistical algorithms?
🔗Read more: doi.org/10.1002/bsl....
#ThrowbackThursday #Criminology #Algorithms #Recidivism #ResearchImpact #UCBerkeley #PublicPolicy
@rodstephensbooks.bsky.socialSolve the Tower of Hanoi puzzle in Python
A classic example of recursion.
@paperswelove.org@hiringlat.bsky.socialSenior Data Analyst (Tableau) — Factored
Colombia
https://hiring.lat/job/senior-data-analyst-tableau-factored/286472
@lean-samaritan.bsky.socialIf you are formalizing anything in lean and you are not a foundations expert, please avoid using axioms at all costs.
A formalization with axioms is almost always fatally flawed. At that point it is a net negative for the community.
@mdlicxv.bsky.socialWhen rival landlords feed one pricing system, “the market” can start sounding like a crowd while behaving like a single decision-maker. What counts as competition then? #Housing #Algorithms
@andrew-campbell.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
@andrew-campbell.bsky.social#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
@escape-velocity.functional.cafe.ap.brid.gyIf 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 […]