micchiato, to random
@micchiato@mastodon.social avatar

University of #Vermont President Suresh Garimella finally sent his much-discussed email — announcing the cancellation of Linda Thomas-Greenfield’s commencement speech and his plan to punish encamped #students for protesting — to #UVM parents like me.

image/jpeg

micchiato, to Palestine
@micchiato@mastodon.social avatar

Oh, happy day! A win for #FreePalestine at #UVM:

“Linda Thomas-Greenfield, the U.S. ambassador to the #UnitedNations, will no longer speak at the University of #Vermont’s commencement ….

The cancellation appears to be a victory for a nearly week-old encampment of pro-[#Palestine] protesters on UVM’s … campus. Protesters had demanded that [she] be removed as the … commencement speaker, saying that [she] was complicit in vetoing 3 [#UN #ceasefire resolutions]”
#protest

https://vtdigger.org/2024/05/03/linda-thomas-greenfield-will-not-speak-at-commencement-uvm-announces/

micchiato, to random
@micchiato@mastodon.social avatar

University of #Vermont encampment still up this morning with little appreciable #police presence. One of their demands strikes at the #Biden administration:

“And protesters called on #UVM to cancel this year’s commencement speaker, Linda Thomas-Greenfield, the U.S. ambassador to the #UnitedNations. Protesters see her as complicit in the three U.S. vetoes of #ceasefire resolutions at the United Nations.”
#protest #FreePalestine

https://vtdigger.org/2024/04/28/pro-palestinian-protest-encampments-spring-up-at-the-university-of-vermont-middlebury-college/

micchiato, to Palestine
@micchiato@mastodon.social avatar

The University of immediately removes and graffiti from one of its buildings every time it goes up while leaving all other graffiti. Remember that , VT is the place where 3 Palestinian students were assaulted by a white gunman.
Cc: @RadicalGraffiti

lritter, to random
@lritter@mastodon.gamedev.place avatar

alright! now code that works with #UVM cells compiles to LLVM as well as to UVM, allowing us to work with the underlying variadic type in typechecked code; see the example below. an integer is transformed to a cell, a UVM C API function is called, and the cell is translated back to an integer.

for the LLVM target, we go the long way, interfacing with the API. but the UVM target lowers these instructions into native nothings since everything is a cell already.

store i32 5, i32* %5, align 4 %6 = call %"" @uvm_store(i32* %5, i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64)) store %"" %6, %""* %4, align 4 %7 = bitcast %""* %4 to { i64, i64 }* %8 = getelementptr { i64, i64 }, { i64, i64 }* %7, i32 0, i32 0 %9 = load i64, i64* %8, align 4 %10 = getelementptr { i64, i64 }, { i64, i64 }* %7, i32 0, i32 1 %11 = load i64, i64* %10, align 4 store %"" %6, %""* %3, align 4 %12 = bitcast %""* %3 to { i64, i64 }* %13 = getelementptr { i64, i64 }, { i64, i64 }* %12, i32 0, i32 0 %14 = load i64, i64* %13, align 4 %15 = getelementptr { i64, i64 }, { i64, i64 }* %12, i32 0, i32 1 %16 = load i64, i64* %15, align 4 %17 = call { i64, i64 } @uvm_op_iadd(i64 %9, i64 %11, i64 %14, i64 %16), !dbg !7 store { i64, i64 } %17, { i64, i64 }* %2, align 4 %18 = bitcast { i64, i64 }* %2 to %""* %19 = load %"", %""* %18, align 4 call void @uvm_load(%"" %19, i32* %1, i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64)) %20 = load i32, i32* %1, align 4
# block @6a3c21fb0951403f9f9c57e20457ed %0 = scope | %2[0] %1 = block | %2 = get %0 0 | %3[0] %3 = get %2 0 | # /home/lritter/devel/duangle/scopes/testing/test_uvm.sc:178:5: # /home/lritter/devel/duangle/scopes/testing/test_uvm.sc:179:5: %6 = iadd 5 5 | # /home/lritter/devel/duangle/scopes/testing/test_uvm.sc:180:5: # /home/lritter/devel/duangle/scopes/testing/test_uvm.sc:176:1: %9 = nullof 0 0 | %10[0] .10 : return %9 | # data

cthon1c, to MIguns
@cthon1c@kolektiva.social avatar

For people following the shooting of three Palestinian-American college students in Burlington, Vermont last night, VTDigger is a reliable independent local news source and it looks like they’re updating this story

https://vtdigger.org/2023/11/26/3-people-shot-in-burlington-police-say/

lritter, to random
@lritter@mastodon.gamedev.place avatar

i have successfully borrowed 2^46 bytes from the address space for mirrored addressing. the pinned address seems to be outside of the typical ASLR / dynamic mmap ranges, but if it fails for a particular program layout, the user can specify a different constant address. no idea how portable this is though, under windows we might have to do something else. #UVM

lritter,
@lritter@mastodon.gamedev.place avatar

i think i have the interface functions nailed down. for now. we need an opaque state (likely implemented as a hash) that makes sure the operations remain linearly connected. #UVM
https://hg.sr.ht/~duangle/scopes/browse/src/uvm/gen_uvm.sc?rev=tip#L93

annejefferson, to random

It’s been another busy week, but highlights including some parts of the #UVM campus off my normal routes. One spot rewarded me with this vista of #Burlington and #LakeChamplain. I love these everyday reminders of this amazing watershed we are working to protect. #52LakeChamplain #Vermont

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • InstantRegret
  • rosin
  • modclub
  • Youngstown
  • khanakhh
  • Durango
  • slotface
  • mdbf
  • cubers
  • GTA5RPClips
  • kavyap
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • osvaldo12
  • tester
  • tacticalgear
  • ethstaker
  • Leos
  • thenastyranch
  • everett
  • normalnudes
  • anitta
  • megavids
  • cisconetworking
  • lostlight
  • All magazines