spartakos87

Re:F*: A proof oriented general purpose programming language on Friday December 27, 2024 @01:51PM (#42524860)

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

Re:Ask HN: Why is there no “Who is hiring” thread for October? on Monday October 03, 2022 @08:33AM (#33066587)

Still nothing

Re:Ask HN: Anyone here switch to Go for building (REST) APIs? on Tuesday August 16, 2022 @06:27PM (#32489805)

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

Add Dynamically Job Scheduling

Posted by spartakos87 on Saturday August 14, 2021 @12:55PM
from the self-post dept.

Any framework to add dynamically job scheduling like cron ? I find https://github.com/viniciuschiele/flask-apscheduler . Anything else like this?

( Read More... | 1 comment | on HN )

Re:Ask HN: Who is hiring? (September 2019) on Tuesday September 17, 2019 @10:38AM (#20995633)

Where send to my CV?

Re:Ask HN: Who wants to be hired? (July 2019) on Wednesday July 03, 2019 @03:54AM (#20342454)

Location:Athens,Greece Remote:Yes

Willing to relocate: No

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

Re:Ask HN: Who wants to be hired? (June 2019) on Tuesday June 04, 2019 @08:08AM (#20094159)

Location:Athens,Greece

Remote:Yes

Willing to relocate: No

Technologies: Python,Kotlin,Java,Clojure, etc

Re:Ask HN: Who wants to be hired? (May 2019) on Wednesday May 01, 2019 @02:01PM (#19799864)

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:[email protected]

Re:Ask HN: Who wants to be hired? (April 2019) on Monday April 01, 2019 @05:52PM (#19548690)

Location: Athens, Greece

Remote: Yes

Willing to relocate: No

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