Tootfinder

From Service-Oriented Computing to Metaverse Services: A Framework for Inclusive and Immersive Learning for Neurodivergent Students
Rachid Hamadi (School of Computer Science and Engineering UNSW Sydney Australia), Abdelmounaam Rezgui (School of Information Technology Illinois State University Normal IL USA), Ali Darejeh (School of Computer Science and Engineering UNSW Sydney Australia)

From Service-Oriented Computing to Metaverse Services: A Framework for Inclusive and Immersive Learning for Neurodivergent Students
The metaverse offers immersive and adaptive learning environments for neurodivergent students to thrive and reach their full potential. In this paper, we propose a generic framework that leverages metaverse services as an evolution beyond traditional service-oriented computing, enabling more interactive, personalized, and engaging educational experiences. By integrating AI-driven adaptability, multimodal interaction, and privacy-first service design, the framework ensures that learning remains …

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
Tarakaram Gollamudi, Anitha Gollamudi, Joshua Gancher
https://arxiv.org/abs/2509.11559 https://

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
RLWE-based Fully Homomorphic Encryption (FHE) schemes add some small \emph{noise} to the message during encryption. The noise accumulates with each homomorphic operation. When the noise exceeds a critical value, the FHE circuit produces an incorrect output. This makes developing FHE applications quite subtle, as one must closely track the noise to ensure correctness. However, existing libraries and compilers offer limited support to statically track the noise. Additionally, FHE circuits are als…

Sonnet 112 - CXII
Your love and pity doth the impression fill,
Which vulgar scandal stamped upon my brow;
For what care I who calls me well or ill,
So you o'er-green my bad, my good allow?
You are my all-the-world, and I must strive
To know my shames and praises from your tongue;
None else to me, nor I to none alive,
That my steeled sense or changes right or wrong.
In so profound abysm I throw all care
Of others' voices, tha…

While it may not feel like it since January,
the rule of law still matters.
The U.S. remains a signatory to dozens of international agreements related to the use of force,
which ultimately protect our national security interests.
We have a raft of U.S. laws, including a Constitution and Bill of Rights,
that determine how and when our nation may legally engage in conflict abroad.
We are ill-served as a public when the most crucial decision a government can …

Trump endangers US by ignoring rule of law – Marin Independent Journal - EUROPE SAYS
Congressional approval for military engagement still matters. Here’s why.

Just wasted like an hour trying to get a simple bidirectional bus to work on a Trion. ILA was reading garbage on a design that had previously been working.
Eventually I gave up. Blew away the Efinity project, recreated it from scratch on the same RTL and constraints. Now it works.
I have no idea what happened.
In general the unified flow seems to be *very* buggy wrt making any changes to the RTL and not propagating properly to the interface constraints.

Sonnet 112 - CXII
Your love and pity doth the impression fill,
Which vulgar scandal stamped upon my brow;
For what care I who calls me well or ill,
So you o'er-green my bad, my good allow?
You are my all-the-world, and I must strive
To know my shames and praises from your tongue;
None else to me, nor I to none alive,
That my steeled sense or changes right or wrong.
In so profound abysm I throw all care
Of others' voices, tha…

Computational complexity of covering regular trees
Jan Bok, Ji\v{r}\'i Fiala, Nikola Jedli\v{c}kov\'a, Jan Kratochv\'il
https://arxiv.org/abs/2507.00564

Computational complexity of covering regular trees
A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph theory but has also found applications in combinatorics and theoretical computer science. In this paper we consider undirected graphs in the most general setting -- graphs may contain multiple edges, loops, and semi-edges. This is in line with recent trends in …

EV Charging Cost by the Numbers.
I charge my car at home almost nightly wirh a Level 2 Flo 30A/240V charger.
I noticed today that they have added an "estimated rate" for my address based on my utility (BC Hydro) charge so that it can estimate the cost of the charging.
Their estimate is $0.11400/kWh. I drive alot. 160km a day when I am commuting to work and then 50-100km in the evening 4-5 days a week Dashing. Thanks to dashing I have a solid record of odometer readings.
We have both tiered and time of day pricing so it's complicated to do this manually. I do most of my charging during the lowest rate overnight. I have the Flo charger set to only charge at full 30A power between 11PM and 7AM to match the overnight rate, then 15A in "off peak" (standard rate) and to turn off completely during on-peak 4PM to 9PM times.
I think their estimate is quite accurate considering the overnight rate is usually $0.14 - $0.05/kWh. Ill include my latest electrical bill. (we are billed monthly)
Here are the numbers.
A "full tank" of battery is 65kWh
Monthly: eg. March (full time commuting plus dashing) 4668km
30 charging sessions
853.4kWh
$97 ($2.07/100km)
Last 12 months: 56,107km
8793kWh
$1,002 ($1.78/100km)
There are a few free charges at work in there (15 in the year?) but any saving is eaten up by $6/day parking cost.
As a comparison if I drove our 2014 Prius C hybrid 56,000km at its general fuel mileage of 5L/100km and an average price of $1.60/L that would be $2,800. So I am saving by more than half, and probably more than that, compared to one of the best mileage hybrids out there.
It makes less and less sense to buy a gas car.
(We have 222,607km on the 2019 Hyundai Kona and about 250,000 on the Prius)
#EV #ElectricCar #cost #electricity #bchydro #bcpoli #endfossilfuels

Sonnet 112 - CXII
Your love and pity doth the impression fill,
Which vulgar scandal stamped upon my brow;
For what care I who calls me well or ill,
So you o'er-green my bad, my good allow?
You are my all-the-world, and I must strive
To know my shames and praises from your tongue;
None else to me, nor I to none alive,
That my steeled sense or changes right or wrong.
In so profound abysm I throw all care
Of others' voices, tha…