Wilfred Hughes

@_wilfredh

What did you learn whilst programming today? Programming languages, human factors, and a healthy dose of Emacs.

London, UK
Vrijeme pridruživanja: lipanj 2009.

Tweetovi

Blokirali ste korisnika/cu @_wilfredh

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @_wilfredh

  1. 2. velj

    Pharo 8 has been released: Much improved git integration, a better class browser, and a huge uptick in polish since moving to GitHub! You'll even find my name on the release notes for some tiny patches :)

    Poništi
  2. 2. velj

    'cargo bloat' can tell you what the biggest dependencies or functions are in your binary! Not only does this help you ship smaller files, it can also produce faster compiles!

    Poništi
  3. 2. velj

    Until 2012, calling an arbitrary C function was considered safe in Rust!

    Poništi
  4. 2. velj

    Category (3) confused me for some time: what PL features interest them? What does it imply about other languages they like? Eventually I realised that they were interested in exploring and fellow tinkerers. It was less about the feature set for them.

    Prikaži ovu nit
    Poništi
  5. 2. velj

    (3) Others are simply into novel PLs. Most Haskellers have learnt other languages first, so you end up with a friendly community of tinkerers. Haskell's language extensions let you explore a large design space.

    Prikaži ovu nit
    Poništi
  6. 2. velj

    (2) Some are interested in modelling effects in types. This opens a whole different set of possibilities, particularly with multithreaded code. It can really help with refactoring too. (This is my favourite Haskell feature.)

    Prikaži ovu nit
    Poništi
  7. 2. velj

    I've met a bunch of lovely Haskell programmers, but I'm always surprised by the range of PL interests they have. (1) Some are particularly into lazy evaluation. I get it: you can do some really elegant code for some problems. I've enjoyed this in other PLs too.

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    31. sij

    It's official! Just got a award to work on type-driven program synthesis! Stay tuned for new ways to magically turn types into programs :) Thanks and the anonymous reviewers!

    Poništi
  9. 30. sij

    Contrasting btrfs with ZFS and taking advantage of the flexibility of btrfs:

    Poništi
  10. 29. sij

    I've seen some Rust talks recently that describe it as "an alternative to C/C++". This seems like a good framing. The term 'systems language' has hugely varying interpretations. Does it mean a web service? Does it mean an operating system? They have very different PL needs.

    Poništi
  11. 28. sij

    Desktop PCs are moving to exclusively 12V power supplies:

    Poništi
  12. 27. sij

    Today I learnt about 'npm ci', a clean install operation for installing packages for test or deployment:

    Poništi
  13. 26. sij

    The "coffee break track" was also well attended 🙂. I even had a person say hello because they'd read my blog! This is why I like to have a photo on Twitter: it really helps to meet in person.

    Prikaži ovu nit
    Poništi
  14. 26. sij

    Finally, the Coq track showed its use in Common Critieria and best practices (coqchk) and formalising Go concurrency by automatically generating models from source:

    Prikaži ovu nit
    Poništi
  15. 26. sij

    The secure compiler track had an elegant paper formalising Spectre and building a tool that inserted fewer speculative load hardening instructions than Clang:

    Prikaži ovu nit
    Poništi
  16. 26. sij

    The gradual track also had an interesting talk on gradual verification, analogous to gradual typing (but new to me!) The authors show a flexible approach where statically verified properties are erased and the remaining properties are runtime checks.

    Prikaži ovu nit
    Poništi
  17. 26. sij

    Back from ! The Saturday tracks were well worth attending. Ronald's discussion of gradual type safety vs soundness was my highlight: When talking about soundness, it's important to say exactly what issues you're handling, and the talk explored this.

    Prikaži ovu nit
    Poništi
  18. 26. sij

    Finally, I attended a talk on formally verifying Coq *in Coq*, which seemed like a fitting way to conclude !

    Prikaži ovu nit
    Poništi
  19. 26. sij

    I also came away with a better understanding of the semantics of some PLs: Rust, and its aliasing model: POSIX shells (mechanised semantics!): (with a particularly good speaker)

    Prikaži ovu nit
    Poništi
  20. 26. sij
    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·