Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @_wilfredh
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @_wilfredh
-
Pharo 8 has been released: https://pharo.org/news/pharo8.0-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 :)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
'cargo bloat' can tell you what the biggest dependencies or functions are in your binary! https://github.com/RazrFalcon/cargo-bloat … Not only does this help you ship smaller files, it can also produce faster compiles!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Until 2012, calling an arbitrary C function was considered safe in Rust!https://github.com/rust-lang/rust/issues/2628#issuecomment-9384243 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
(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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
(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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Wilfred Hughes proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Contrasting btrfs with ZFS and taking advantage of the flexibility of btrfs: https://markmcb.com/2020/01/07/five-years-of-btrfs/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Desktop PCs are moving to exclusively 12V power supplies:https://custompc.raspberrypi.org/articles/new-psu-standard-to-launch-this-year …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today I learnt about 'npm ci', a clean install operation for installing packages for test or deployment: https://docs.npmjs.com/cli/ci
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Finally, the Coq track showed its use in Common Critieria and best practices (coqchk) https://popl20.sigplan.org/details/CoqPL-2020-papers/2/The-use-of-Coq-for-Common-Criteria-Evaluations … and formalising Go concurrency by automatically generating models from source: https://popl20.sigplan.org/details/CoqPL-2020-papers/3/Verifying-concurrent-Go-code-in-Coq-with-Goose …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The secure compiler track had an elegant paper formalising Spectre and building a tool that inserted fewer speculative load hardening instructions than Clang: https://popl20.sigplan.org/details/prisc-2020-papers/5/Exorcising-Spectres-with-Secure-Compilers …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The gradual track also had an interesting talk on gradual verification, analogous to gradual typing (but new to me!) https://popl20.sigplan.org/details/wgt-2020-papers/2/Gradual-Verification-of-Recursive-Heap-Data-Structures … The authors show a flexible approach where statically verified properties are erased and the remaining properties are runtime checks.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Back from
#POPL! The Saturday tracks were well worth attending. Ronald's discussion of gradual type safety vs soundness was my highlight: https://popl20.sigplan.org/details/wgt-2020-papers/5/Gradual-Typing-as-if-Types-Mattered … When talking about soundness, it's important to say exactly what issues you're handling, and the talk explored this.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Finally, I attended a talk on formally verifying Coq *in Coq*, which seemed like a fitting way to conclude
#POPL! https://popl20.sigplan.org/details/POPL-2020-Research-Papers/36/Coq-Coq-Correct-Verification-of-Type-Checking-and-Erasure-for-Coq-in-Coq …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I also came away with a better understanding of the semantics of some PLs: Rust, and its aliasing model: https://popl20.sigplan.org/details/POPL-2020-Research-Papers/42/Stacked-Borrows-An-Aliasing-Model-for-Rust … POSIX shells (mechanised semantics!): https://popl20.sigplan.org/details/POPL-2020-Research-Papers/29/Executable-Formal-Semantics-for-the-POSIX-Shell … (with a particularly good speaker)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The verification track had some impressive work. Verifying PL sandboxes for untrusted code: https://popl20.sigplan.org/details/POPL-2020-Research-Papers/40/The-High-Level-Benefits-of-Low-Level-Sandboxing … Verifying impure programs: https://popl20.sigplan.org/details/POPL-2020-Research-Papers/14/Interaction-Trees-Representing-Recursive-and-Impure-Programs-in-Coq …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.