Hive profile

Xinta

@xinta

Living a live one step a time | Software Developer | Writer | Whatever

899 followers 638 following 271 posts Reputation 54.89

Xinta
@xinta May 19, 2019, 9:54 PM UTC

Verso le elezioni europee 2019

Quasi dimenticavo: la prossima settimana, più precisamente il 26 maggio dalle 7 alle 23, si vota per il rinnovo del parlamento europeo. > Si vota per eleggere i deputati che andranno a comporre il…

2 upvotes 1 replies $0.00
Xinta
@xinta May 19, 2019, 2:27 PM UTC

Learning Ada 7: generics and (static) overloading

# Generics Ada has generics. I don't know about Ada of the ancient time, and I don't care — as programmer on the edge of exploration, I don't care about old revisions of a language, unless I have to…

5 upvotes 0 replies $0.01
Xinta
@xinta May 11, 2019, 9:33 AM UTC

Learning Ada 6: tasking

Ada has tools for concurrency as language primitives, which makes it easy to do things that would be a lot harder in C or C++. An Ada task looks at first like a sort of package, with a public part wh…

2 upvotes 0 replies $0.01
Xinta
@xinta Sep 15, 2018, 9:18 AM UTC

Reading RSS feeds in Go

I needed a simple program to get RSS feeds and do something on few information; I wanted to use it on several GNU/Linux boxes (CPU: Intel x86), without having to install something more than what was…

123 upvotes 1 replies $0.37
Xinta
@xinta Jun 9, 2018, 8:34 PM UTC

Learning Ada 5: object oriented paradigm

Ada is born as an imperative procedural language in the era of imperative procedural languages. With Ada 95 it entered the club of programming languages with object orientation features. # Package ~=…

5 upvotes 0 replies $0.02
Xinta
@xinta Jun 5, 2018, 9:15 PM UTC

Razza di deficienti!

White Collar, prima stagione, dodicesimo episodio. Cerco di non svelare niente di fondamentale della puntata, ma un po' di trama, anche se semplificata, la racconto. Per cui… siete avvertiti! ---- Ne…

8 upvotes 2 replies $0.09
Xinta
@xinta Jun 2, 2018, 1:36 PM UTC

Learning Ada 4: predicates

## Dynamic predicate We have seen that if we define properly the domain of our problem, we can make the Ada's type system to assist us to avoid bugs. We have seen how we can constrain values, but it…

550 upvotes 3 replies $16.00
Xinta
@xinta May 19, 2018, 11:17 PM UTC

Learning Ada 3: exploring types

Let's explore a little bit the type system of Ada. Ada's type system is very important, because Ada is a strongly typed programming language and types define the exact domain of your program: they he…

6 upvotes 0 replies $0.10
Xinta
@xinta May 17, 2018, 9:56 PM UTC

Learning Ada 2: more on packages, naming conventions, and bits of types

Packages are very importat to organize your project, like modules in other languages, and they are also useful to “encapsulate data” — you don't need to go object oriented in order to benefit from th…

9 upvotes 0 replies $0.11
Xinta
@xinta May 12, 2018, 12:57 PM UTC

Learning Ada 1: Hello world, basic greeter package, citing contract based programming, aspects, SPARK…

The Ada's Hello World is as simple as this: ada with Ada.Text_IO; use Ada.Text_IO; procedure Hello is begin Put_Line ("Hello world"); end Hello; Which with a proper syntax highlight looks better: You…

6 upvotes 2 replies $0.00