Elektrine lite

← Feed

Andre Videla

Andrev@types.pl

<p>Researching types, correctness, and purpose. I sleep a lot</p>

Posts

  • Post #2169568

    Universities as a service needs to go. Make them free, make them honest, make people talk to each other, make them easy to transition in and out of, make them a beacon of opportunity, not a time sink and a money pit.

  • Post #1919829

    I&#39;m dying inside from this podcast pronouncing the name &quot;dubois&quot; as &quot;da boys&quot;

  • Post #1919828

    Coming up this halloween in the west end, an AI-bro&#39;s nightmare: &quot;Goblins reward-hacked themselves into production, the musical&quot;

  • Post #1919827

    We need to go back to metaphysics

  • Post #1919826

    Excited to wake up tomorrow and make some pancakes

  • Post #1919825

    sitting outside what a mistake, I&#39;m covered in pollen

  • Post #1919824

    &quot;maximise shareholder value&quot; but it&#39;s a privately owned business with your friends and the value is how much fun you have together

  • Post #1919823

    As the temperature increases the household is entering the &quot;2 showers a day&quot; regime, which might be pushed to 3 at the peak and then resume normal daily operations in october

  • Post #1919822

    it&#39;s ragu time

  • Post #1868685

    &quot;What would happen to scociety if everyone behaved like i do right now&quot; is a question we should all ask ourselves more

  • Post #1718448

    Are the USA 1984 and China Brave New World?

  • Post #1718447

    2 years ago I thought there was no way I would cycle more than 2km to commute. The 1km I had to do every day was already too much, too dangerous, too uncomfortable, too impractical. Now I happily go 10k each way because it&#39;s so nice

  • Post #1718446

    The punishment for a pedestrian carelessly crossing the road is the death penalty. How different would the world be if motorists faced equally dire consequences for their carelessness

  • Post #1718445

    I should make a photo album with the cats of london

  • Post #1718444

    I was expecting the tube to be very crowded the morning of strikes but it&#39;s really not

  • Post #1718443

    Heaven?

  • Post #1718442

    We all learned to walk, we all learned to speak, we all learned to eat. Is there anything we can&#39;t learn?

  • Post #1718441

    Intel CPUs are great at keeping my mug warm

  • Post #1718440

    I&#39;m not sure scope creep is going to make the discussion easier to have, if anything, it&#39;s going to make it even easier to confuse, or misunderstand something. We can definitely shame politicians into behaving, that&#39;s happening to Keir Starmer today

  • Post #1718439

    tempterd to make ragu bolognese

  • Post #1718438

    I think I&#39;m almost done with proving things

  • Post #1718437

    nvm 3 more diagrams to prove

  • Post #1655828

    Been asked to produce a poster on my research with an extremely short timeframe and this is what I came up with

  • Post #1506837

    RE: https://types.pl/@Andrev/116415824797129109 I didn&#39;t mean to make a wall of text but too many things are left unsaid and someone needs to say them

  • Post #1411892

    &quot;there are just as many people who are put off by gas chambers than people who endorse them, so we can&#39;t really say if it&#39;s worth banning or not&quot;

  • Post #1411890

    Very nice path

  • Post #1411889

    RE: https://types.pl/@wren6991/116429669022240311 The software work always has been, and always will be, held by duct tape

  • Post #1082448

    since when are ANC headphones on pedestrians a problem for cyclists???? I except entitled assholes I don&#39;t see who this helps

  • Post #1082447

    What&#39;s great about having faults is that knowing about them makes it feasible to work on them and improve. What&#39;s extra scary is that this suggests that there are faults that are currently undetected, undetectable, and unactionable. And because they are undetectable they scope is also unknowable. The act of being is very hard

  • Post #1082446

    I am fully juiced up