Lecturer (aka Assistant Prof.) at QMUL and IRTF chair of RASP RG. My orthography is creative, no typos here.
✅ Managed by Eurosky, a European non-profit initiative
✅ Hosted on European cloud
✅ Governed by European law
www.eurosky.social/register
✅ Managed by Eurosky, a European non-profit initiative
✅ Hosted on European cloud
✅ Governed by European law
www.eurosky.social/register
Tap is your all-in-one sync tool for the Atmosphere: webhooks, backfill, filtering, signaling collections, no cbor/msts/signatures/cursors. this thing's got it all!
give it a go and let me know what you think & if you run into any issues
docs.bsky.app/blog/introdu...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
elpais.com/espana/2025-...
elpais.com/espana/2025-...
from Beramendi, Boix, Guinjoan, and Rogers (yassified by The Economist) priceschool.usc.edu/wp-content/u...
from Beramendi, Boix, Guinjoan, and Rogers (yassified by The Economist) priceschool.usc.edu/wp-content/u...
Interested? Please see www.st-andrews.ac.uk/computer-sci... first and have a chat with prospective supervisors. Applications due 1 Feb.
Interested? Please see www.st-andrews.ac.uk/computer-sci... first and have a chat with prospective supervisors. Applications due 1 Feb.
@technis4.bsky.social webinar
📝 Paper: "Looking for #Innovation Beyond the #Patent System: Evidence from Research Disclosures"
🔍 Zoom info at technisnet.org/seminars.html
#EconSky
@zew.de @macci-mannheim.bsky.social
@technis4.bsky.social webinar
📝 Paper: "Looking for #Innovation Beyond the #Patent System: Evidence from Research Disclosures"
🔍 Zoom info at technisnet.org/seminars.html
#EconSky
@zew.de @macci-mannheim.bsky.social
Link to the petition—> petition.parliament.uk/petitions/74...
www.thebritishacademy.ac.uk/documents/58...
www.thebritishacademy.ac.uk/documents/58...
It's a classic government give with one hand (QR) and take with the other (international student levy)
Treasury confirms real-terms protection of quality-related grants and Higher Education Innovation Funding in autumn budget.
www.researchprofessionalnews.com/rr-news-uk-r...
It's a classic government give with one hand (QR) and take with the other (international student levy)
An @alphaville.ft.com and #FTEdit 🧵 on the software company’s perilous position 👉
An @alphaville.ft.com and #FTEdit 🧵 on the software company’s perilous position 👉
Note that the ROV (remote operated vehicle, a deep-sea robot) A-frame is deployed (red). It’s doing something on the seabed.
Also two new radomes (yellow)
And yet the Commission is advocating changes that would remove such data from the scope of the regulation.
This #databrooker business must be stopped.
FYI @carissaveliz.bsky.social
And yet the Commission is advocating changes that would remove such data from the scope of the regulation.
www.project-syndicate.org/commentary/a...
www.project-syndicate.org/commentary/a...
bsky.social/about/join