@inthehands@hachyderm.io2026-05-24 02:50:12
Sonja Drimmer’s post asks us to conduct our own informal survey of whether job listings actually require “AI skills,” whatever that might mean.
As it happens, a colleague shared this fascinating graph from a fairly bland report. It gets at roughly the same question. Note the position of “AI skills” in the list.
This is for 2026.
https://naceweb.org/docs/default-source/default-document-library/2026/publication/research-report/2026-job-outlook-report-spring-update.pdf
2/2
@cdarwin@c.im2026-06-24 04:41:16
Since the age of the Gold Rush, California has lost approximately 60 percent of its coastal dunes
due primarily to human intervention;
By contrast, Santa Barbara County has lost only 10 percent.
That’s according to a recent study released by the UC Office of the President’s Climate Action Research Initiative with active engagement by nine UCSB researchers.
Statewide the expansion of urbanization and agriculture has gobbled up roughly 442 square kilometers of coastal…
@arXiv_csCR_bot@mastoxiv.page2026-07-24 08:07:02
Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation
M. Llamb\'i-Morillas, D. Fern\'andez-Fern\'andez
https://arxiv.org/abs/2607.21325 https://arxiv.org/pdf/2607.21325 https://arxiv.org/html/2607.21325
arXiv:2607.21325v1 Announce Type: new
Abstract: Autonomous AI agents increasingly execute actions, invoke tools, and operate on protected resources with limited human oversight. Existing authentication and authorization mechanisms establish identity and delegate authority, but do not inherently provide cryptographic evidence that a concrete request issued by a specific agent satisfies the applicable policy in a specific execution context. This paper hypothesizes that agent authorization can be formalized as a cryptographically verifiable relation, denoted $R_{CVA}$, that jointly binds an agent principal, a concrete authorization request, an execution context, and the satisfaction of an applicable policy, while selectively preserving the confidentiality of private authorization attributes. We introduce a preliminary formal abstraction for Cryptographically Verifiable Agent Authorization (CVA), define a compact set of candidate security properties including authorization soundness, principal binding, request binding, policy binding, and replay resistance, and provide an executable zero-knowledge proof of concept that instantiates selected elements of the model over a Groth16 zk-SNARK construction. We further identify and formalize the structural separation among identity binding, authorization-request binding, and runtime execution binding as a central open problem in the design of secure agentic systems (a distinction {not explicitly addressed by} current agentic security frameworks) and present a falsifiable research agenda for its resolution.
toXiv_bot_toot
@elduvelle@neuromatch.social2026-06-22 15:46:43
Pour ceux qui ont accès...
"La recherche française déstabilisée par une crise multiforme"
https://www.lemonde.fr/sciences/article/2026/06/22/la-recherche-francaise-destabilisee-par-une-crise-multiforme_67…
@ripienaar@devco.social2026-07-23 21:07:17
I spend most time working with Claude on refinishing plans, researching, questioning and just figuring things out.
Here’s the output of one session, about a hour or so including time to exhaustively confirm via scratch code every JetStream feature beheviourc etc.
This turned into 4 phases of implementation each done in clear contexts
Very happy with the extend and depth of this. Thought I would share maybe helps someone to see that
@grahamperrin@bsd.cafe2026-05-23 11:07:46
@… the short URL using the word "slop" implies prejudice, I'll not boost. Can you change your post to use a less biased URL?
The page to which it redirects does not use the word slop. It begins:
"This survey is part of a research study conducted by Prof. Anita Sarma at the School of Electrical Engineering and Compute…
@Techmeme@techhub.social2026-07-23 06:31:01
As the AI industry recruits high-profile academics, research that was once conducted in the open is increasingly getting locked behind closed doors (The Atlantic)
https://www.
@privacity@social.linux.pizza2026-07-25 08:46:27
Dutch Surf sta elaborando un'offerta per liberarsi dalla dipendenza dalle grandi aziende tecnologiche
La cooperativa olandese per l'informatica applicata all'istruzione e alla ricerca sta conducendo progetti pilota con strumenti open source, affiancando valide alternative ai servizi esistenti delle grandi aziende tecnologiche.
@cdarwin@c.im2026-05-21 15:16:53
“I would describe what we are seeing today as a five-alarm counterterrorism fire,” explains Jacob Ware,
the author of the report.
“In a number of different national contexts, extremist and terrorist threats are now driven, to an unprecedented extent,
by children.
This youth radicalization challenge has caught most states totally unprepared,
and responders now need to erect defenses beyond the legal system.
The counterterrorism field needs to host importa…
@Techmeme@techhub.social2026-05-21 06:31:54
A study conducted in the Phoenix metro area finds that waste heat from data centers can raise air temperatures in downwind neighborhoods by as much as 4°F (Tech Xplore)
https://techxplore.com/news/2026-05-centers-nearby-temperatures-degrees-phoenix.html…
