Tootfinder

☕ Decline of the pre-work coffee: why more Australians are skipping their weekday cafe breakfasts
https://www.theguardian.com/australia-news/article/2024/jun/01/australia-work-from-home-culture-cafe-breakfast

N-Word Karen Lilly Gaddis Plans Conservative Career
https://www.theroot.com/guess-where-the-n-word-karen-plans-to-work-now-that-she-1851535592

Guess Where the N-Word Karen Plans To Work Now That She Has Been Fired
Despite her job announcing her termination, Lilly Gaddis is still defending her use of the racial slur.

Just saw a Rishi Sunak interview one minute excerpt : … hard work … work hard … work hard …. hard work
Edit: @… tells that the FT’s Alan Beattie notes that Sky didn’t launch until Sunak was 9, by which time he was at private school.
This: <…

ACT Government and Telstra plan to refurbish the tower in a way that celebrates Ngunnawal culture, and expects to have a cafe, shop and observation deck when it reopens.
https://www.abc.net.au/news/2024-06-11/telstra-ac…

Telstra and ACT government to work together to make Black Mountain's iconic tower a major Canberra tourist attraction once again
Telstra and the ACT government are teaming up to work on a plan to refurbish and reopen Canberra's iconic Telstra Tower which has been closed to the public since 2021.  

It seems paradoxical - I strive to reduce greenhouse gas emissions in all areas of my life, except somehow I end up travelling for work by plane fairly regularly, which obliterates anything I can reduce personally. Now you could argue that work travel shouldn't land on my personal carbon tab. And I agree with that, but I still wrestle with my conscience.
It worries me.

Realized last night - not sure why it took so long - that the Kamiokande-style neutrino detector is based on the same idea as the gamma-ray telescope I sketched out as a grad student, intended for launch on Compton but canceled by Reagan. Not taking credit for Kamiokande, the idea's not especially clever, but in the 1970s when I was a student it took some work to convince people it (timing the arrival of Cerenkov cones) could work. In the 80s it was easier.

AI Detectors: Do They Really Work?: https://mglinks.org/2024/06/12/ai-detectors-do.html

This really is a crying shame. The ChatGPT stuff is AFAICT a bit of half-assed (and opt-in??) Siri integration, and in the meantime Apple has pulled off a bunch of engineering feats that (1) have zero to do with OpenAI and (2) work in exactly the privacy- and ethics-focused directions that OpenAI has failed to work.
Headline should be “Apple shunts OpenAI into the corner, chooses to roll their own”
From @…

James Thomson (@jamesthomson@mastodon.social)
Attached: 1 image And, for all Apple’s own efforts, this is what people will take away from today.

Apple says users will be able to access the system without having to sign up for an account or pay for premium services.
OpenAI’s ChatGPT will be the first third-party model to receive integration at some point later this year.
We’re looking forward to doing integrations with other models, including Google Gemini, for instance, in the future,” Federighi said during a post-keynote conversation. He quickly added that the company had “nothing to announce right now, but that’s ou…

Apple confirms plans to work with Google's Gemini 'in the future' | TechCrunch
“We’re looking forward to doing integrations with other models, including Google Gemini, for instance, in the future," Federighi said during WWDC 2024.

Subtoot 'cause the post I saw had enough replies already, but this is a bad article (though it has a wonderful description of how Von Neumann machines work):
https://aeon.co/essays/your-brain-does-not-process-information-and-it-is-not-a-computer
For context, I'm against most uses of modern LLMs for several good ethical reasons, and I think the current state of AI research funding is both unsustainable and harmful to knowledge development. However, I've done a tiny bit of deep learning research myself, and I think the tech has a lot of cool potential, even if on balance it might have even more terrifying-potential.
The central problem with this article is that while it accurately describes ways that most human brains differ fundamentally from one way computers can be set up, it completely ignores how (computer) neutral networks work, including the fact that they'd perform very similar to the humans on the dollar bill task, because they encode a representation of their training inputs as distributed tweaks to the connection weights of many simulated neurons. (Also, people with photographic memory do exist...)
I think that being challenged in one's metaphors is a great idea (read Paul Agre on AI) and this is a useful article to have read for that reason, but I think the more useful stance is a principled agnosticism towards whether the human brain works like a computer, along with a broader imagination for "what a computer works like." More specifically, I'm quite convinced the brain doesn't work like a modern operating system (effectively the central straw man in this article), but I reserve judgement on whether it works like a neutral network.

Alright, with elections now over, I can take a little break. But it'll be back to the streets for where the real work gets done with activism and community work.

#BikeStreak, Day 71 (yesterday): A quick before-bed ride to the city limits and back. Rode about ¼ on residential streets and multi-use paths I didn't ride on before. Windy and a tiny bit rainy 5.9km.
(Yeah, others do that in the morning before work. I do that in the night before going to bed. Oh, right, a morning commute is also "before work". Sometimes at least. 😇)

We are pleased to announce Marina Adomeit ( @… ) is this year’s GÉANT Community Award winner!
Marina was nominated for her leadership of Trust and Identity work in successive GÉANT Projects and extensive #AAI support for international user communities including

Meet your 2024 GÉANT Community Award winner | GÉANT CONNECT Online
We are pleased to announce Marina Adomeit is this year’s GÉANT Community Award winner! Marina was nominated for her leadership of Trust and Identity work in successive GÉANT Projects and extensive AAI support for international user communities including EuroHPC. “Enthusiasm, growth, challenge, fun, and friendship are what comes to mind when I think about

There's a thing called Capability Security done by Spitely Gobblins.
Haven't really spent enough time to say I understand it. Doesn't sound like it's really finished yet.
Making it explicit in the software when you give someone a bit of data that you also send the permissions on what can be done with it.
https://spritely.institute/static/papers/spritely-core.html
Or there's a thing called Veilid. They store data on a public network in encrypted form. Making it so you can in fact show it only to your friends like Facebook first promised, not even to Facebook Inc or the Mega-Mind.
They are also not quite finished as a software library without much in the way of apps.
https://veilid.com/
Something like these things are gonna be needed because sooner or later angered public bullying won't work, and it can't work on those doing it in secret.
The corporate/government/advertising matrix multiplier engine will eat everything you have published and make inferences for those systems about you from it. Many of them even true. Some true that you don't even realized about yourself. Lots of it wrong and biased.

Apple trained their models to work with the AppIntents schema (this powers shortcuts and existing Siri commands), a great way of surfacing the existing capabilities of apps and extend their reach.
While Microsoft could have done this, their equivalent frameworks are just not widely used - a phenomenon caused in part by slow upgrading windows users and in part by a void in evangelism for their Windows platform.
The core product advances are left out in the cold to fend for thems…

Report: Cowboys to work out All-UFL LB Willie Harvey Jr. https://www.yardbarker.com/nfl/articles/report_cowboys_to_work_out_all_ufl_lb_willie_harvey_jr/s1_17236_40468452

Report: Cowboys to work out All-UFL LB Willie Harvey Jr.
The Dallas Cowboys are bringing in linebacker Willie Harvey Jr. for a workout, according to Tom Pelissero of the NFL Network. Harvey played for the St. Louis BattleHawks of the United Football League (UFL) this spring and finished the 2024 season with 78 tackles, and four sacks in 10 games, leading the league in tackles. The 28-year-old also led all linebackers in tackles for loss (nine) passes defended (six) and forced fumbles (two). His production led to him being named to the All-UFL Team. H…

@tim@chaos.social this is the machine I have to use for my day job (because that is the platform the whole Design agency I work for runs on). On my own machines (thinkpads for 15 years or so) I have been running Linux exclusively for 20 years now? So if you don't have to be gainfully employed I am happy for you but I do not have that luxury.

Cowboys to reportedly work out UFL's leading tackler after finding gems in previous spring league signings

https://www.cbssports.com/nfl/new…

Cowboys to reportedly work out UFL's leading tackler after finding gems in previous spring league signings
Dallas continues to seek out depth for its inside linebacker room following the retirement of Leighton Vander Esch

Q&A with Tim Cook on how AI will help users "save time", sticking to Apple's values, the Apple Intelligence name, hallucinations, OpenAI, journalism, and more (Josh Tyrangiel/Washington Post)
https://www.washingtonpost.com/opinions/20…

How will Apple’s new AI change your phone? I asked Tim Cook.
In an interview, Tim Cook explains how Apple’s new AI will enhance your work and life, with guardrails.

When you work from home, coffee break becomes, get-river-rock-from-the-concrete-place-down-the-road break. 😂🙌🤘🗿
15 minutes to load up $20 worth of medium sized river rock. At least some things are still affordable. 💰
Needed some for the pond and filter and will use for edging other things around the yard.
#gardening

You know that feeling – using software or services that do not work for you but use you?
You know you want to get out of this situation but don't know how?
The Internet has lots of advice – good and bad – and I am proud to say that I just helped revive one of the better advice portals: @… at

Scalability in Workforce Management: Applying Scalability Principles to Foster a Four-Day Work Week
Sunkanmi Oluwadare, Ebubechukwu Edokwe, Olatunde Ayeomoni
https://arxiv.org/abs/2406.06915

Scalability in Workforce Management: Applying Scalability Principles to Foster a Four-Day Work Week
The traditional five-day workweek faces mounting challenges, prompting exploration of alternative models like the four-day workweek. This research explores the transformative potential of scalability principles derived from cloud computing and IT in redefining workforce management for a four-day workweek. The study employs a Multivocal Literacy Research methodology, combining grey literature and systematic review approaches. Through a comprehensive review of related work, the challenges, and be…

Realized last night - not sure why it took so long - that the Kamiokande-style neutrino detector is based on the same idea as the gamma-ray telescope I sketched out as a grad student, intended for launch on Compton but canceled by Reagan. Not taking credit for Kamiokande, the idea's not especially clever, but in the 1970s when I was a student it took some work to convince people it (timing the arrival of Cerenkov cones) could work. In the 80s it was easier.

Duke Nukem says work on your self talk

What are 3 - 5 of your favorite MacOS/iOS apps?
They can be personal apps, work apps, production apps or whatever. Just something that makes your MacOS and iOS integration experience that much better!
#MacOSX #MacOS

Hey friends.
I'm too lazy for running or cycling this evening. 😕 Work sucked too much energy out of me. Even though I KNOW that I would feel more energized after sports.
Just having half an hour walk now in the neighbourhood to be out at least a bit.
Well at least there's a lot of green around.

Hello folks, I’m still seeking testimonials from #dotnetmaui and #JetBrainsRider users. You and your work would be featured on a marketing page (which is cool, right?) #dotnet
Some folks …

I use #Dvorak touch typing method. Pretty good....but maybe #Colemak is better 🤔
So yesterday I started learning my second keyboard layout https://www.

keybr.com - Typing lessons
Teaching the world to type at the speed of thought! Typing lessons that work.

One of the best things about Apple Intelligence is that it does most processing on device, rather than on someone else's computer. AI in the past has been a non-starter for us in our apps, because we didn't want to send any of our customers' data to third parties.
Apple Intelligence enhances the local device to work in new ways with data and capabilities it already has. (So, yes, of course we plan to support Apple Intelligence. In fact, we already do to some extent.)

About the lesbian dating app that says it excludes trans people by face recognition: Don't. It doesn't work and is low-key eugenics. It enforces stereotypes of how 'real' women should look like. And especially for the lesbian community as a space for butches and tomboys this is a total no-go. Also it's ridiculous when partner-searching people are so insecure and fixated at the same time that they rather use such a crappy badly functioning tech solution than actually tryin…

Here’s an experiment I would love to do if I had the resources. Just to start gaining some more understanding of how LLMs work.
1. Train an LLM Z on a lot of English text.
2. Ensure that the LLM in its response uses correctly the past tense of “go”, “went”, in its responses.
3. Ask the LLM directly what the past tense of “to go” is, and expect “went”.
1/4
#LLM

Rather than considering even just once the needs & massive benefits for creators and maintainers, current open source software infrastructure, support tools, but also developer culture itself is completely biased and optimized purely for the benefit of consumers/users. Choosing a non-standard project structure (in my case a mature Google-style monorepo with almost 200 largely independent, but related projects/libraries/tools) is increasingly actively punishing my work and efforts in a va…

Open source building blocks for computational design. Est. 2006
thi.ng is a set of ~350 complementing code libraries & projects, a long-term effort devoted to Computational Design in its many forms.

This is from a couple of years ago: Mr. Button and a little surgery and we tried an alternate to the cone of shame.
It didn’t work but he looked very handsome.
#DogsOfMastodon

This is a really interesting thread if you heard about what Apple is doing with “Private Cloud Compute” but aren’t 100% sure what that means, good or bad… https://ioc.exchange/@matthew_d_green/112597849837858606

Follow me on Ko-fi to receive page, gallery, and commission updates.
Remember to check out the FREEEEEEEE and Pay What You Want items in the shop!
#KoFi <…

Visit Andy Carolan's Ko-fi Shop!
I am using Ko-fi to offer cute profile picture commissions, icons, headers, backgrounds, zines, and other neat things. Also, if you like my work, and want to support me, please consider buying me a Flat White!

Elliptic Units Above Fields With Exactly One Complex Place
Pierre L. L. Morain
https://arxiv.org/abs/2406.06094 https://arxiv.org/pdf…

Elliptic Units Above Fields With Exactly One Complex Place
In this work we explore the construction of abelian extensions of fields with exactly one complex place using multivariate analytic functions in the spirit of Hilbert's 12th problem. To this end we study the special values of the multiple elliptic Gamma functions introduced in the early 2000s by Nishizawa following the work of Felder and Varchenko on the elliptic Gamma function of Ruijsenaars. We construct geometric variants of these functions enjoying transformation properties under an action …

Jailbreaking Quantum Computers
Chuanqi Xu, Jakub Szefer
https://arxiv.org/abs/2406.05941 https://arxiv.org/pdf/2406.05941

Jailbreaking Quantum Computers
This work presented the first thorough exploration of the attacks on the interface between gate-level and pulse-level quantum circuits and pulse-level quantum circuits themselves. Typically, quantum circuits and programs that execute on quantum computers, are defined using gate-level primitives. However, to improve the expressivity of quantum circuits and to allow better optimization, pulse-level circuits are now often used. The attacks presented in this work leverage the inconsistency between …

This https://arxiv.org/abs/2403.08605 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Language-Grounded Dynamic Scene Graphs for Interactive Object Search with Mobile Manipulation
To fully leverage the capabilities of mobile manipulation robots, it is imperative that they are able to autonomously execute long-horizon tasks in large unexplored environments. While large language models (LLMs) have shown emergent reasoning skills on arbitrary tasks, existing work primarily concentrates on explored environments, typically focusing on either navigation or manipulation tasks in isolation. In this work, we propose MoMa-LLM, a novel approach that grounds language models within s…

Letters from an American is an excellent newsletter, you should subscribe to it.
https://open.substack.com/pub/heathercoxrichardson/p/june-11-2024?r=2i1t5&utm_medium=ios

June 11, 2024
“We’re producing more energy than ever before in this nation. We have the strongest economy in the world, and we are beating China for the first time in decades. More people went to work this morning in America than at any other time in our nation’s history. So I’ve got a message to Donald Trump and all his negativity and his whining: Stop sh*t talking America. This is the greatest country on earth, and it’s time that we all start acting like it.”

This story is like a parody of the performative leftism of the nonprofit-industrial complex.
Museum employees join Teamsters. Museum hires union-busting consultants to fight recognition & cites its exhibit of a "social practice artist" whose performance art had him work alongside employees as a "powerful demonstration of the museum’s core values." Employees say that exhibit meant involuntary overtime.
(The Teamsters won the election.)

Glenstone museum workers vote on unionizing as founders push back
Glenstone’s billionaire founders are urging workers not to join a wave of museum organizing. The election ends Friday.

If you follow me and enjoy my posts or discussions we've had in the past, please consider donating a small amount to my Ko-Fi if you can afford it.
I suffer from ADHD and hydrocephalus since birth, and as such, am on disability and cannot work.
If you cannot afford it or just don't think it's worth it, that's okay. Nobody should feel pressured to donate, I appreciate you all nonetheless. Though, if each of my followers were able to donate just $1, it would be enough to support my instance for several months.
I've never asked for anything before, so it makes me feel kinda bad to do so.😬 But, hopefully it doesn't hurt to ask. You can just scroll past if it's not your thing.
Thanks so much for all the kindness and support each of you have given me so far. I really appreciate it.
https://ko-fi.com/BeAware

Updated Page: My writing https://www.philippawrites.co.uk/freelance-writing

Philippa Willitts, Freelance Writer & Copywriter
Links to the published writing of Philippa Willitts, a freelance writer, editor and proofreader in Sheffield, UK. Work in The Guardian, Independent, New Statesman,

I was telling my wife that I was testing a chromium build by using mastodon. A prior version of chromium has a crash bug related to fonts, and mastodon (or at least phanpy) is very font-heavy.
I told her that so far it was looking pretty good, and they must've either fixed it or something changed so that the bug isn't being triggered any more. She responded, "good enough for volunteer work!" 😂

Change in plans, apparently I picked up a stomach bug at some point in my travels. No work today, but I'd rather be working than hugging the porcelain throne all day.

Okay, I'm done with the NWS alert thingy for the time being. Got the alert colors done, expanded how alert filters work, and now it's time to celebrate with a beer. Also posted the updates to https://github.com/JamesTheBard/nws-severe-api. Next up is to document how…

Great 🧵 about Apple’s Private Cloud Compute system to handle tasks beyond what can be done on device. I have mixed feelings about so-called “artificial intelligence”. I don’t like how data gets scraped without permission, and is displacing jobs. But, when it comes to using large language models as a tool, like better organizing my inbox, I’m okay with that. Obviously, when the rubber meets the road, I’m likely to change my mind.

I have now received 2 marketing e-mails from a Hubspot customer where the unsubscribe links do not work (https://hs-45722433.s.hubspotstarter.net/preferences/backup, "This link is no longer valid.
Try using the same link from a more recent email to updat…

I have now received 2 marketing e-mails from a Hubspot customer where the unsubscribe links do not work (https://hs-45722433.s.hubspotstarter.net/preferences/backup, "This link is no longer valid.
Try using the same link from a more recent email to updat…

Did startup Flow Computing just make CPUs 100x faster? Here’s the white paper and FAQs
https://www.theverge.com/2024/6/11/24176304/flow-computing-startup-parallel-processing-accelerator

Did startup Flow Computing just make CPUs 100x faster? Here’s the white paper and FAQs
Flow Computing is making a tough to believe claim — it says it can 100x the performance of any CPU by shifting work to a PPU inside or outside the chip.

Ich habe an #FabianLehr oft viel zu kritisieren, aber mit dieser Episode hat er absolut ins Schwarze getroffen
"Junge Leute wollen nichts mehr arbeiten!!!"
https://podcastaddict.com/fa…

Jingna Zhang, creator of Cara, wrote:
[Artists] just come from a different perspective and point of view, because on the tech side, you have this strong history of open source, and people are just thinking, you put it out there, so it's for people to use. For artists, it's a part of our identity. I would not want my best friend to make a manipulation of my work without asking me. There's a nuance to how we see things, but I don't think people understand that the art we …

Future of Privacy Forum Recognizes Leading Careers in Privacy and Efforts in AI Regulation with Inaugural Global Award
https://fpf.org/blog/future-of-privacy-forum-recognizes-leading-career…

As a UX designer, I spent thousands of hours of my career just observing people do their regular workdays working with software. It’s always a powerful experience with an embarrassment of insights, and nothing else I’ve done has contributed more to my design skills. So I’m always interested to read when people in other lines of work do the same thing, and have the same experience. In this case, a high school teacher.

1/3
Booked myself for another flat viewing on Thursday. I was told I need to earn at _least_ £28500 to be eligible. I earn just under that, but get an on call bonus, so should be ok. I'm a NHS Band 5 wage for a very minor role in the IT department. My wife (ex) is essentially a deputy manager of a major clinic for a different trust. It took her 3 years to get to band 4. It took me 3 months. I earn more than my ex, and she does 5x the work I do. She cannot afford a house anymore!

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
Louis Lemonnier
https://arxiv.org/abs/2406.07216 https://

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
This thesis revolves around an area of computer science called "semantics". We work with operational semantics, equational theories, and denotational semantics. The first contribution of this thesis is a study of the commutativity of effects through the prism of monads. Monads are the generalisation of algebraic structures such as monoids, which have a notion of centre: the centre of a monoid is made of elements which commute with all others. We provide the necessary and sufficient conditions…

Sources: Intel plans a "temporary" construction delay on its $25B plant in Israel, as the company works to pace its investments in factories planned globally (Bloomberg)
https://www.bloomberg.com/news/articles/20

Now checking out alternative streaming music apps. Google killed a good thing by being annoying. All I want is to listen to music in the background while I work or relax, but on the phone it won't play in the background. For the Chromebook it plays one song and then stops. I can live with the occasional advertisement, but being annoying to force me to pay to play music non-stop in the background is a big no.

Jingna Zhang, creator of Cara, wrote:
[Artists] just come from a different perspective and point of view, because on the tech side, you have this strong history of open source, and people are just thinking, you put it out there, so it's for people to use. For artists, it's a part of our identity. I would not want my best friend to make a manipulation of my work without asking me. There's a nuance to how we see things, but I don't think people understand that the art we …

Another recruiter reached out asking for what salary I can work for and hasn't responded since even though all I did was give my current and past ones, and explain I'm flexible, I just need to afford costs of living. :grrcry:

Entropy, slicing problem and functional Mahler's conjecture
Matthieu Fradelizi, Francisco Mar\'in Sola
https://arxiv.org/abs/2406.07406 https://

Entropy, slicing problem and functional Mahler's conjecture
In a recent work, Bo'az Klartag showed that, given a convex body with minimal volume product, its isotropic constant is related to its volume product. As a consequence, he obtained that a strong version of the slicing conjecture implies Mahler's conjecture. In this work, we extend these geometrical results to the realm of log-concave functions. In this regard, the functional analogues of the projective perturbations of the body are the log-Laplace perturbations of the function. The differentiat…

Cowboys work out 4 UFL defenders, including 2 former 1st-round draft picks https://cowboyswire.usatoday.com/2024/06/11/cowboys-ufl-workouts-noah-dawkins-gareon-conley-deandre-baker-willie-harvey-jr/…

Cowboys work out 4 UFL defenders, including 2 former 1st-round draft picks
From @ToddBrock24f7: CBs Deandre Baker and Gareon Conley were 1st-round picks in the NFL. Their workouts Tuesday could be the first step toward a comeback bid.

This https://arxiv.org/abs/2406.02178 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSD_…

Audio Mamba: Selective State Spaces for Self-Supervised Audio Representations
Despite its widespread adoption as the prominent neural architecture, the Transformer has spurred several independent lines of work to address its limitations. One such approach is selective state space models, which have demonstrated promising results for language modelling. However, their feasibility for learning self-supervised, general-purpose audio representations is yet to be investigated. This work proposes Audio Mamba, a selective state space model for learning general-purpose audio rep…

What are 3 - 5 of your favorite MacOS/iOS apps?
They can be personal apps, work apps, production apps or whatever. Just something that makes your MacOS and iOS integration experience that much better!
#MacOSX #MacOS

Scientists know about 100x less about brains and how they work than the general public believes.
https://www.studyfinds.org/scientists-admit-controversial-conflict-that-casts-doubt-on-studies-using-fmri-brain-scans/

Scientists Admit Controversial Conflict Casts Doubt On Studies Using Brain Scans
Scientists have discovered an issue with brain scans that brings into question many studies on brain activity, including most of the team’s past research.

Angular momentum transport via gravitational instability in the Elias 2-27 disc
Cristiano Longarini, Giuseppe Lodato, Cathie J. Clarke, Jessie Speedie, Teresa Paneque-Carreno, Edoardo Arrigoni, Pietro Curone, Claudia Toci, Cassandra Hall
https://arxiv.org/abs/2406.05952

Angular momentum transport via gravitational instability in the Elias 2-27 disc
Gravitational instability is thought to be one of the main drivers of angular momentum transport in young protoplanetary discs. The disc around Elias 2-27 offers a unique example of gravitational instability at work. It is young and massive, displaying two prominent spiral arms in dust continuum emission and global non-axisymmetric kinematic signatures in molecular line data. In this work, we used archival ALMA observations of $^{13}$CO line emission to measure the efficiency of angular momentu…

This https://arxiv.org/abs/2110.12233 has been replaced.
link: https://scholar.google.com/scholar?q=a

On the limit of the first incompleteness theorem: revisited
This work is motivated from finding the limit of the applicability of the first incompleteness theorem ($\sf G1$). A natural question is: can we find a minimal theory for which $\sf G1$ holds? The answer of this question depends on our definition of minimality. We examine the Turing degree structure of recursively enumerable (RE) theories for which $\sf G1$ holds and the interpretation degree structure of RE theories weaker than the theory $\mathbf{R}$ with respect to interpretation for which $…

That thing where you WhatsApp something filthy to your wife and she's doing a presentation at work and the whole team she's presenting to nearly sees it 😂🤣😂

I got another 18 miles in on the bicycle, after work.

A new survey suggests that some US companies implemented
return-to-office (RTO) policies
💥in the hopes of getting workers to quit. 💥
And despite the belief that such policies could boost productivity compared to letting employees work from home,
the survey from HR software provider BambooHR points to remote and in-office employees spending an equal amount of time working.
BambooHR surveyed 1,504 full-time US employees, including 504 human resources (HR) workers …

Some company heads hoped return-to-office mandates would make people quit, survey says
1,504 workers, including 504 HR managers questioned.

Yesterday evening I posted that I was too lazy /tired to go for a run or cycling and instead just had a walk.
A friend then messaged me that due to my activity-posts, he feels motivated to work out as well.
Such feedback makes me happy, of course! But it also reminds me that whatever I post / publish can have a little influence on someone else's life. It reminds me of some responsibility.
And.. 🤔 Yes I think it has influenced the type and way of my online activities.

re: UKPol conservative manifesto
Detente, deescalation and peace-making is what's needed internationally. I can see a argument we need to spend on armed forces in case that doesn't work, but if so that's on well paid professional solders and weapons we can actually use not on boondoggle nukes that are only any use if we're killing everyone.
Immigrants are needed and wanted as our population bulge retires. They talk about reducing tax-burden while piling demand on demand for the working to support the pensioners, and banning other workers from coming in to help create the wealth.
The plan to build more carbon power-stations and export electricity is full on nuts. Transporting power is hard. What you gonna do, ship batteries to and from china? It's barely even worth trying to lay power-lines to France let alone the world.
I am not necessarily against building a fleet of small modular nuclear reactors. That will be expensive power, but backups are expensive and at least they can actually be exported.
You can't fix the problem of the rich owning all the housing stock and bidding up it's price just by taxing the buying houses less. That helps landlords buy up all the housing stock.
It's a good thing they are not going to win because even their rosy optimistic view of the future here is a hellscape of inequality, pollution, and oppression.

EEG classification for visual brain decoding with spatio-temporal and transformer based paradigms
Akanksha Sharma, Jyoti Nigam, Abhishek Rathore, Arnav Bhavsar
https://arxiv.org/abs/2406.07153

EEG classification for visual brain decoding with spatio-temporal and transformer based paradigms
In this work, we delve into the EEG classification task in the domain of visual brain decoding via two frameworks, involving two different learning paradigms. Considering the spatio-temporal nature of EEG data, one of our frameworks is based on a CNN-BiLSTM model. The other involves a CNN-Transformer architecture which inherently involves the more versatile attention based learning paradigm. In both cases, a special 1D-CNN feature extraction module is used to generate the initial embeddings wit…

This https://arxiv.org/abs/2401.15255 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Enumerating hyperelliptic curves over finite fields in quasilinear time
We present an algorithm that, for every fixed genus $g$, will enumerate all hyperelliptic curves of genus $g$ over a finite field $k$ of odd characteristic in quasilinear time; that is, the time required for the algorithm is $\widetilde{O}(q^{2g-1})$, where $q=\#k$. Such an algorithm already exists in the case $g=2$, thanks to work of Mestre and Cardona and Quer, and in the case $g=3$, thanks to work of Lercier and Ritzenthaler. Experimentally, it appears that our new algorithm is about two ord…

[#TNC24 Opening Plenary in Rennes]
Laurent Crouzet, Head of Digital Services and Infrastructure Department, Ministry of Higher Education and Research: “It’s a great pleasure to be here.
I know how important it is to support the network and all the services that make researchers work efficiently - both in France and in Europe.
First by ensuring that @…

Just got back from a short weekend trip. Had a great time at EPCOT and Universal. Now the dread of going back to work tomorrow....

Good morning #Fediverse
How are we all doing today and what are the plans for the day?
For me, it's the usual work stuff and a meeting at 12pm which shouldn't be too bad nor too long.
After that, it's likely just video games to round out the day as I still have to stay off my foot as much as possible due to my toe.

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
Louis Lemonnier
https://arxiv.org/abs/2406.07216 https://

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
This thesis revolves around an area of computer science called "semantics". We work with operational semantics, equational theories, and denotational semantics. The first contribution of this thesis is a study of the commutativity of effects through the prism of monads. Monads are the generalisation of algebraic structures such as monoids, which have a notion of centre: the centre of a monoid is made of elements which commute with all others. We provide the necessary and sufficient conditions…

Been thinking for a while about Facebook's AI Terms and Conditions switcheroo.
People all joined Facebook because they didn't want a public blog, especially one their boss might read. They wanted one only their friends could read.
And now Facebook are gonna just feed the whole lot into their mega-mind and let every advertiser and recruiter and boss you ever work for ask it about you.
There's no way to stop them coz they'll do it even if you object, even if it's illegal, even if they expect to get a giga-fine. I don't expect they really honour delete requests. Things sometimes pop back into existence eh?
#facebook #ai #consent

Slowly, very slowly, people are realizing our team is running with minimal staff. Last year one member retired and so far we have not been able to hire one new person (preferably two).
We are three people who are doing the work of seven and we have automated a number of operations to speed things up. Even with that we have a triage list of tasks in priority order and will get to new tasks when all the priority items are done.
When I do my tasks I check to see if there is an up-…

I was lucky enough to work in Ed Stone's cosmic ray lab when I was a graduate student. He was one of the greatest leaders I've ever known, while remaining so calm and solid and just plain deep. Principal scientist on Voyager, later head of the JPL, then the TMT and much more. An amazing, inspirational man. So sad to see him go but he had a truly great and influential life. There are few like him.

Edward C. Stone, 1936-2024
Caltech mourns the loss of Edward C. Stone, leader of humanity’s first foray into interstellar space.

This https://arxiv.org/abs/2006.11492 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Distributed Multi-Robot Coordination Algorithm for Navigation in Tight Environments
This work presents a distributed method for multi-robot coordination based on nonlinear model predictive control (NMPC) and dual decomposition. Our approach allows the robots to coordinate in tight spaces (e.g., highway lanes, parking lots, warehouses, canals, etc.) by using a polytopic description of each robot's shape and formulating the collision avoidance as a dual optimization problem. Our method accommodates heterogeneous teams of robots (i.e., robots with different polytopic shapes and d…

Angular momentum transport via gravitational instability in the Elias 2-27 disc
Cristiano Longarini, Giuseppe Lodato, Cathie J. Clarke, Jessie Speedie, Teresa Paneque-Carreno, Edoardo Arrigoni, Pietro Curone, Claudia Toci, Cassandra Hall
https://arxiv.org/abs/2406.05952

Angular momentum transport via gravitational instability in the Elias 2-27 disc
Gravitational instability is thought to be one of the main drivers of angular momentum transport in young protoplanetary discs. The disc around Elias 2-27 offers a unique example of gravitational instability at work. It is young and massive, displaying two prominent spiral arms in dust continuum emission and global non-axisymmetric kinematic signatures in molecular line data. In this work, we used archival ALMA observations of $^{13}$CO line emission to measure the efficiency of angular momentu…

#TNC24 is in full swing and a new set of parallel sessions has just started.
At 16:00 don’t miss the ⚡first strike of our TNC #LightningTalks ⚡ - one of the most popular and exciting TNC sessions, where presenters get the chance to give their ideas, stories and projects the attention they deser…

Nature turns children into adults.
Nature doesn't use calendars and count to one's 18th birthday.
Biology doesn't work according to legislation.

Good morning #Fediverse
How are we all doing today and what are the plans for the day?
For me, it's the usual work stuff and a meeting at 12pm which shouldn't be too bad nor too long.
After that, it's likely just video games to round out the day as I still have to stay off my foot as much as possible due to my toe.

This https://arxiv.org/abs/2401.06884 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Definable henselian valuations in positive residue characteristic
We study the question of $\mathcal{L}_{\mathrm{ring}}$-definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a characterization of henselian fields that admit a non-trivial definable henselian valuation. In particular, we treat cases where the canonical henselian valuation has positive residue characteristic, using techniques from the model theory and algebra of tame fields.

I was lucky enough to work in Ed Stone's cosmic ray lab when I was a graduate student. He was one of the greatest leaders I've ever known, while remaining so calm and solid and just plain deep. Principal scientist on Voyager, later head of the JPL, then the TMT and much more. An amazing, inspirational man. So sad to see him go but he had a truly great and influential life. There are few like him.

Edward C. Stone, 1936-2024
Caltech mourns the loss of Edward C. Stone, leader of humanity’s first foray into interstellar space.

Good morning and happy Wednesday #Fediverse
Let's all comment below and discuss what our day has in store for us.
For me, it's just the usual work stuff with no meetings, thankfully.
The wife and I are about to head to Walmart to do some grocery shopping and get it done early before it gets to hot outside.
After that, some video games as is always the ca…

Learning experience for a few team members today. Someone was trying to use VT100 to open an FTP session to the mainframe, and it kept failing. I walked them through their SOP and noted that instead of your account name, that destination required the machine name. Once they did that, they were able to initiate the FTP. I remembered that as in the late 70s (1979) I had to use it at college and then the early 80s while I worked at MetLife I needed to use it when doing support work at night.…

Eric Kendricks to wear green dot for Cowboys defense in 2024 ⋆ https://insidethestar.com/eric-kendricks-to-wear-green-dot-for-cowboys-defense-in-2024/

Eric Kendricks to wear green dot for Cowboys defense in 2024 ⋆
Jun 12, 2024 -- Although it has been a disappointing offseason in terms of signing players, one guy that continues to work his tail off after being signed is Eric

Improving the realism of robotic surgery simulation through injection of learning-based estimated errors
Juan Antonio Barragan, Hisashi Ishida, Adnan Munawar, Peter Kazanzides
https://arxiv.org/abs/2406.07375

Improving the realism of robotic surgery simulation through injection of learning-based estimated errors
The development of algorithms for automation of subtasks during robotic surgery can be accelerated by the availability of realistic simulation environments. In this work, we focus on one aspect of the realism of a surgical simulator, which is the positional accuracy of the robot. In current simulators, robots have perfect or near-perfect accuracy, which is not representative of their physical counterparts. We therefore propose a pair of neural networks, trained by data collected from a physical…

This https://arxiv.org/abs/2406.04936 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

On Quantifiers for Quantitative Reasoning
We explore a kind of first-order predicate logic with intended semantics in the reals. Compared to other approaches in the literature, we work predominantly in the multiplicative reals [0,\infty], showing they support three generations of connectives, that we call non-linear, linear additive, and linear multiplicative. Means and harmonic means emerge as natural candidates for bounded existential and universal quantifiers, and in fact we see they behave as expected in relation to the other logic…

This https://arxiv.org/abs/2311.15417 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Spectral Moment Formulae for $GL(3)\times GL(2)$ $L$-functions III: The Twisted Case
This is a sequel to our previous articles \cite{Kw23, Kw23a+}. In this work, we apply recent techniques that fall under the banner of `Period Reciprocity' to study moments of $GL(3)\times GL(2)$ $L$-functions in the non-archimedean aspects, with a view towards the `Twisted Moment Conjectures' formulated by CFKRS.

Eric Kendricks to wear green dot for Cowboys defense in 2024 https://www.yardbarker.com/nfl/articles/eric_kendricks_to_wear_green_dot_for_cowboys_defense_in_2024/s1_17100_40475672

Eric Kendricks to wear green dot for Cowboys defense in 2024
Although it has been a disappointing offseason in terms of signing players, one guy that continues to work his tail off after being signed is Eric Kendricks. He has gotten nothing but praise from coaches and other players inside the building since he has been there. It also helps that he joins his former head coach in Minnesota, Mike Zimmer who will now run the defense for the Dallas Cowboys. He will wear the green dot for the defense this season. A good move for the trusted veteran. For those …

This https://arxiv.org/abs/2403.05177 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Interactive Perception for Deformable Object Manipulation
Interactive perception enables robots to manipulate the environment and objects to bring them into states that benefit the perception process. Deformable objects pose challenges to this due to significant manipulation difficulty and occlusion in vision-based perception. In this work, we address such a problem with a setup involving both an active camera and an object manipulator. Our approach is based on a sequential decision-making framework and explicitly considers the motion regularity and s…

BAKU: An Efficient Transformer for Multi-Task Policy Learning
Siddhant Haldar, Zhuoran Peng, Lerrel Pinto
https://arxiv.org/abs/2406.07539 https://<…

BAKU: An Efficient Transformer for Multi-Task Policy Learning
Training generalist agents capable of solving diverse tasks is challenging, often requiring large datasets of expert demonstrations. This is particularly problematic in robotics, where each data point requires physical execution of actions in the real world. Thus, there is a pressing need for architectures that can effectively leverage the available training data. In this work, we present BAKU, a simple transformer architecture that enables efficient learning of multi-task robot policies. BAKU …