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

    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

    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

    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 think I&#39;m almost done with proving things

  • View post

    nvm 3 more diagrams to prove

  • 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

    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

  • View post

    I am fully juiced up

  • View post

    Oh no I just confused the flag of denmark with norway

  • View post

    There is only one sport that fills me with enjoyable chemicals and it&#39;s Starcraft II

  • View post

    I don&#39;t remember it but I definitely has a nightmare because I woke up with this song in my head which makes me relive incessant childhood trauma https://www.youtube.com/watch?v=WPiEbYSF9kE

  • View post

    Things seem to only happen when people want them to happen. The converse is that things never change because people aren&#39;t wanting enough to change them

  • View post

    with very little ceremony, Idris&#39; LLM policy has been merged https://github.com/idris-lang/Idris2/commit/f4bbebd34045b6a521a27d6eeba10973ea9e876e