blue quasar exploration

@[email protected]
4 Followers
19 Following
77 Posts

Learn, protect and defend. Tech should serve people.

I came here because this server was defederated and has lots of people I wanted to keep connected to.

Alter Ego@burakemir
webburakemir.ch
pushinghttps://github.com/google/mangle
blue quasar explorationApr 14, 2024
Pacak, Erdweg, Szabo. A systematic approach to deriving incremental type checkers. Proc ACM Prog Lang vol 4, 2020. https://dl.acm.org/doi/10.1145/3428195
A systematic approach to deriving incremental type checkers | Proceedings of the ACM on Programming Languages

Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In ...

Proceedings of the ACM on Programming Languages
Show threadblue quasar explorationJan 21, 2024
@plexus I for one have only ever heard design patterns credited to gang of *five* and it was explained to me that Christoph Alexander is morally considered a member since he wrote the patterns book for architecture.
blue quasar explorationSep 24, 2023
@javahippie at the risk of stating the obvious: disable password-based auth on SSH,.and fail2ban.
blue quasar explorationMay 24, 2023
WesDymMay 22, 2023
English has two different terms for words that come into English from other languages. A 'calque' is translated from the source language. (E.g., flea market, beer garden, paper tiger) A 'loanword' is ported in its original form. (E.g., cafe, bazaar, kindergarten) Perhaps ironically, the word 'calque' is a loanword, while 'loanword' is a calque (from Ger. 'lehnwort').
blue quasar explorationMay 5, 2023
@tess time running in production is (by itself) not an indicator for quality in software. It can be, but it could also be sign of a local optimum that prevented better things from taking root (switching cost too high). Or simply an area where requirements did not change or the complexity was always or later moved elsewhere. Assuming quality plays a role: which software quality attribute do you think contributed most to your work's longevity?
blue quasar explorationMar 25, 2023
Show threadJared ForsythMar 23, 2023
@Danpiker @csk @jsm28 This patterning makes putting these together so much easier!
blue quasar explorationDec 21, 2022
Google's Comprehensive Rust course released https://google.github.io/comprehensive-rust/ It is designed as a 3 day course (4 day if you also want the Android bits)
Welcome to Comprehensive Rust 🦀 - Comprehensive Rust 🦀

blue quasar explorationDec 17, 2022
Kevin CollierDec 17, 2022
My single cybersecurity prediction for 2023 is that everyone is going to have to acknowledge space cyber is really interesting.
https://www.cyberscoop.com/apt28-fancy-bear-satellite/
CISA researchers: Russia's Fancy Bear infiltrated US satellite network

The agency said it discovered the Russian hacking group in a satellite communications provider with critical infrastructure customers.

CyberScoop
blue quasar explorationDec 17, 2022
Show threadKevin CollierDec 17, 2022
Every month we're relying more and more on satellites for everyday life. And Russia's already hacking away at them. Knocking out Viasat to open its invasion of Ukraine wasn't a one-off.
Show threadblue quasar explorationNov 27, 2022
@matt not sure whether it helps, this comes to mind: maybe the Java servlet API qualifies. Applets. CGI. Also struts/Java server faces (or so; XML with code tags). Web components. Emacs hooks. Vim plugins. Chrome extensions. Firefox plugins. PWA. Compiler passes (e.g. scala). Aspects (AOP). Anything with callbacks, e.g. UI, swing, DOM.