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
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 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.
blue quasar explorationNov 27, 2022
Ryan SchultzNov 23, 2022

This is an excellent article by Cory Doctorow (@pluralistic) on the costs of moving from one social network to another: "When switching costs are high, services can be changed in ways that you dislike without losing your business. The higher the switching costs, the more a company can abuse you, because it knows that as bad as they’ve made things for you, you’d have to endure worse if you left."

You can read the full text at
https://doctorow.medium.com/social-quitting-1ce85b67b456

Social Quitting

Forthcoming in the January, 2023 issue of Locus Magazine.

Medium
blue quasar explorationNov 26, 2022
I released a thing. Thought people on this server might also be interested (I am normally at types.pl). It is language / database library based on #datalog @datalog https://github.com/google/mangle
GitHub - google/mangle

Contribute to google/mangle development by creating an account on GitHub.

GitHub
blue quasar explorationNov 26, 2022
Dan LuuNov 16, 2022

One of the things that I think is sad about the decimation of Twitter eng is that Twitter was doing a lot of interesting (and high ROI) eng work that, at younger companies, is mostly outsourced at great cost.

A few examples off the top of my head:

The now gutted HWENG group was so good at server design that, in a meeting with Intel, the Intel folks couldn't believe the power envelope Twitter achieved and Google thought we were lying about our costs during cloud price negotiations.

blue quasar explorationNov 26, 2022
Wolfie ChristlNov 25, 2022

RT @[email protected]

~2 Jahre hat eine Arbeitsgruppe der Konferenz der unabhängigen Datenschutz-Aufsichtsbehörden von Bund und Ländern (DSK) versucht, Nachbesserungen bei Microsoft 365 zu erreichen.

👉 Zusammenfassung des Berichts der AG zu #MS365: https://datenschutzkonferenz-online.de/media/dskb/2022_24_11_festlegung_MS365_zusammenfassung.pdf

Festlegung der DSK: 👇

🐦🔗: https://twitter.com/alvar_f/status/1596179727311863809