Such a perfect example of the llm advocate instapivot by Dark Photon Studio here:
| Website | https://flaviusb.net |
| Pronouns | He/Him |
серафими многоꙮчитїи
@flaviusb
- 239 Followers
- 273 Following
- 20.2K Posts
While Dark/Magic is my headcannon, Dark/Fire is my OTP. Is it better to be the best ending, or to be the true ending? Social Justice Ur-Priest.
Sam Halpert (@samhalpert.bsky.social)
Even accepting the premise that AI produces useful writing (which no one should), using AI in education is like using a forklift at the gym. The weights do not actually need to be moved from place to place. That is not the work. The work is what happens within you.
This is very neat, but is also going to take me a long time to chew over, and many visits to nlab haha (from 'Profunctor Optics: a Categorical Update' by Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily
Pillmore, and Mario Román, available here: https://doi.org/10.32408/compositionality-6-1 )
Pillmore, and Mario Román, available here: https://doi.org/10.32408/compositionality-6-1 )
Profunctor Optics, a Categorical Update
Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choice of representation supporting modularity, meaning that we can construct accessors for complex structures by combining simpler ones. Profunctor optics have previously been studied only in an unenriched and non-mixed setting, in which both directions of access are modelled in the same category. However, functional programming languages are arguably better described by enriched categories; and we have found that some structures in the literature are actually mixed optics, with access directions modelled in different categories. Our work generalizes a classic result by Pastro and Street on Tambara theory and uses it to describe mixed V-enriched profunctor optics and to endow them with V-category structure. We provide some original families of optics and derivations, including an elementary one for traversals. Finally, we discuss a Haskell implementation.
Eg (author: shenanigansen at https://twitter.com/shenanigansen/status/1171085546610941952 )
Current status:
trait Fetch<const N: usize, const WORDSIZE: usize> {
fn fetch(&mut self, ip: usize) -> [u8; {N * WORDSIZE / std::mem::size_of::<u8>()}];
}
pub struct Mem<const M: usize> {
mem: [u8; M],
}
macro_rules! mkFetch {
($N:literal, $WORDSIZE:literal) => {
impl<const M: usize> Fetch<$N, $WORDSIZE> for Mem<M> {
fn fetch(&mut self, ip: usize) -> [u8; {$N * $WORDSIZE / std::mem::size_of::<u8>()}] {
So, there is this thing where, if this were Maddox running specifically as the candidate that US Evangelical Christians want - skewering their 'pro-life' stance as contrasted with their fullthroated support for bombing maternity wards, orphanages, and schools, while also wearing a crown and a really over-the-top military uniform - it would be an incredible joke. But I'm fairly sure it is Maddox trying to skewer 'both sides' which just makes it an incoherent and bad joke.
Current status:
Searching for a line of poetry I half remembered, reasonable results on DuckDuckGo (but not the poem I was after) - grit my teeth and search on Google and the results are complete nonsense - Rutgers University and 'Union of Taxation' promotion pages, weird rambling 'slice of life' blogspot diary entries, an ethnology paper, SEO spam, and 'goku remembers his parents fanfiction' and 'goku meets his father fanfiction' as the only two 'related searches' suggested.
