Top New Best Ask Show Jobs

spartakos87

3 karma · joined June 1, 2018

submissions comments

spartakos87··on F*: A proof oriented general purpose programming language

Where can someone be started with this kind of programming? System verification etc, books? youtube lectures?

spartakos87··on Ask HN: Why is there no “Who is hiring” thread for October?

Still nothing

spartakos87··on Ask HN: Anyone here switch to Go for building (REST) APIs?

Yes. From Python to Go. Types and compile get the 90% of the bugs which otherwise I get them in run time at least in Python

spartakos87··on Ask HN: Who is hiring? (September 2019)

Where send to my CV?

spartakos87··on Ask HN: Who wants to be hired? (July 2019)

Location:Athens,Greece Remote:Yes

Willing to relocate: No

Technologies: Python,Kotlin,Scala,Java,Clojure,Android, etc

Résumé/CV: https://www.linkedin.com/in/serepasf

Email: serepasf@gmail.com

spartakos87··on Ask HN: Who wants to be hired? (June 2019)

Location:Athens,Greece

Remote:Yes

Willing to relocate: No

Technologies: Python,Kotlin,Java,Clojure, etc

Résumé/CV: https://www.linkedin.com/in/serepasf

Email: serepasf@gmail.com

spartakos87··on Ask HN: Who wants to be hired? (May 2019)

Location:Athens, Greece Remote:Yes Willing to relocate: No Technologies:Python,Kotlin,Clojure,Haskell,Scala Résumé/CV:https://docs.google.com/document/d/10pN_eCXWGbCRWlYTW78CxIeH... Email:serepasf@gmail.com

spartakos87··on Ask HN: Who wants to be hired? (April 2019)

Location: Athens, Greece

Remote: Yes

Willing to relocate: No

Technologies: Python, Android(Kotlin), Java, Scala, Clojure, Lisp, Haskell, Flutter, Keras, sklearn, scrapy, BeautifulSoup

Résumé/CV: https://www.linkedin.com/in/serepasf

Email: serepasf@gmail.com