Elektrine lite

← Feed

Andre Videla

Andrev@types.pl

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

Posts

  • View post

    I got exposed to more LLM shilling and so I feel compelled to share this: The technological revolution that is claimed is fundamentally an economical one. Replace LLM by &quot;offshore coding teams&quot; and the challenges, tradeoffs, and costs become clear. If it became trivially cheap to outsource code to a team somewhere else in the world, what happens to code you could have written but decided outsource instead. What&#39;s the cost and what&#39;s the benefit? If the capitalist tells you...

  • View post

    @vie@hachyderm.io I feel like LLM only exacerbate a situation that already existed: There are artisans, and there are workers. The artisans build things out of their craft, and the outcome benefits from decades of accumulated experience. The workers perform a task at hand, moving boxes from A to B, mainly worried about the outcome of not having box A not reach B in time. Speed and compliance is key in a competitive environment like that one. It&#39;s always been hard for artisans to find wor...

  • View post

    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.

  • View post

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

  • View post

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

  • View post

    We need to go back to metaphysics

  • View post

    Excited to wake up tomorrow and make some pancakes

  • View post

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

  • View post

    &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

  • View post

    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

  • View post

    it&#39;s ragu time

  • View post

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

  • View post

    Are the USA 1984 and China Brave New World?

  • View post

    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

  • View post

    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

  • View post

    I should make a photo album with the cats of london

  • View post

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

  • View post

    Heaven?

  • View post

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

  • View post

    Intel CPUs are great at keeping my mug warm

  • View post

    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

  • View post

    tempterd to make ragu bolognese

  • View post

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

  • View post

    nvm 3 more diagrams to prove

  • View post

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

  • View post

    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

  • View post

    &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;

  • View post

    Very nice path

  • View post

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

  • View post

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