96

96

@gboncoffee.dev.br

undefined https://gboncoffee.dev.br https://github.com/gboncoffee He/him ele/dele

914 followers246 following1.1K posts

96 reposted

Wolf-man main bastard Nafo
@wolf-man.bsky.social

I know Ukraine did put in a request to Brazil for the The Embraer EMB 312 Tucano However they were turned down because of Brazil's alliance with russia. However the other three models are all available from Allies if they are willing of course.

96
@gboncoffee.dev.br

I'd just like to interject for a moment. What you're referring to as Turing Machine, is in fact, a real world approximation of a Turing Machine , or as I've recently taken to calling it, a Turing machine based machine.

View full thread
96
@gboncoffee.dev.br

The theory is an essential part of computer science, but not feasible by itself; it can only be implemented respecting the constraints of physics.

96
@gboncoffee.dev.br

The Turing Machine is normally made in combination with lots of engineering: the engineers create a machine similar to the Turing Machine, or Turing Machine based machine. All the so-called "Turing” Machines are really machines based on Turing Machines.

96
@gboncoffee.dev.br

I'd just like to interject for a moment. What you're referring to as Turing Machine, is in fact, a real world approximation of a Turing Machine , or as I've recently taken to calling it, a Turing machine based machine.

View full thread
96
@gboncoffee.dev.br

Through a peculiar turn of events, the version of a Turing Machine based machine which is widely used today is often called "Turing Machine", and many of its users are not aware that it is actually a limited version, constrained by physics.

96
@gboncoffee.dev.br

There really is a Turing Machine, and these people are using it, but it is just a mathematical model computer scientists reason with. The Turing Machine is an abstract model: the theoretical apparatus that consumes strings and computes in a tape.

96
@gboncoffee.dev.br

I'd just like to interject for a moment. What you're referring to as Turing Machine, is in fact, a real world approximation of a Turing Machine , or as I've recently taken to calling it, a Turing machine based machine.

96
@gboncoffee.dev.br

A Turing Machine is not a real machine unto itself, but rather a theoretical model made feasible only within physical, chemical and economical constraints as studied in various sciences.

96
@gboncoffee.dev.br

is “Kapielu” a good enough tokiponization of “Gabriel”? For the English pronunciation sure “Kejpielu” is better but the Portuguese pronunciation is just correct as I’m Brazilian

96
@gboncoffee.dev.br

There was a girl I knew She said she cared about me She tried to make my world The way she thought it should be Yeah we were desperate then To have each other to hold But love Is a long road

96
@gboncoffee.dev.br

in the next patch they should nerf hashmaps. they're ultra op like O(1) access and such. I think it should be at least an O(log)

96 reposted

polvo
@coprodu.to

Em muitos cenários de sistemas altamente críticos é mais importante a performance do sistema ser *previsível* do que ela ser *a maior possível*. Esse é um fator bem interessante em design de sistemas mais complexos.

96
@gboncoffee.dev.br

I entered a new project in cybersec ;) a little off my usual stuff (comparch) but it’ll be fun! It’s funded by www.rnp.br, the guys at the UFPR’s SECurity & Reverse Engineering Team (SECRET) are developing a CTF application and I’ll be joining them writing ASP.NET and maintaining their infra

rnp.brHomepage - RNP

96 reposted

polvo
@coprodu.to

Nunca entendi por que tem gente que acha que quem fala de computação sem ser em contexto de trabalho tá "perdendo tempo". Beleza, você não gosta do tema - mas eu já falava dessas coisas o tempo todo antes de virar programador, por que não continuaria? É interessante pra mim. 👇

96
@gboncoffee.dev.br

Next time someone talk about wether a programmer should know maths, I'll ask the person a definition of "math", choose three random professors from the math dept at my campus and see wether their research is within their definition (spoiler: it's not)