Skip to main content
Stack Overflow
  1. About
  3. For Teams
Filter by
Sorted by
Tagged with
0 votes
1 answer
95 views

Full dependent types without termination checking allow you to break type safety with e.g. (in Idris) anything : a anything = anything which allows you to "create" a value of any type a (e....
-1 votes
1 answer
90 views

I have this task that produces pancake and users can also eat it at the same time. The condition is that it's only 12 pancake that can be produced within 30 seconds. The problem I am having is that as ...
1 vote
1 answer
209 views

func ServeRequest(configuredRoutes http.Handler) { air_logger.SERVER_STARTUP("########## SERVER STARTED ##########") server := &http.Server{ Addr: config.GetConfig()....
0 votes
2 answers
92 views

I'm currently writing the following incomplete function for this project: extend : ∀ o asc (s : CSet (suc k) o) → SC asc → SC (add s asc) extend 0 asc s rewrite l≡0 s Eq.refl = restrict (add (...
1 vote
1 answer
155 views

I have an array of nats in Dafny that I want to traverse in a non-linear manner. To elucidate the problem: Consider an array such that (please ignore the syntax for now): var links : array<nat>; ...
0 votes
0 answers
71 views

I am proving a theorem using Idris and in the proof, I am applying the theorem itself to the hypotheses. However, I cannot apply it the hypotheses directly; I have to do a rewrite. Because of this, ...
1 vote
2 answers
547 views

I have a requirement like if Spring Boot application suddenly stopped due to error I need to send an alert in splunk. If it stopped normally, I have a logs in application so based on logs I'm ...
2 votes
1 answer
775 views

I'm using ATS as forward proxy. The http content cache without any problem, but the https content just don't work. Here are my configures. # records.config CONFIG proxy.config.http.server_ports STRING ...
1 vote
1 answer
625 views

I've been looking at terminating TLS in Istio between the redis client and server running in the Kubernetes cluster. Essentially we have an Istio ingress gateway which handles all traffic to the ...
0 votes
1 answer
410 views

I have a number of jobs running across multiple nodes within the cluster. Randomly, the pods begin terminating and a new pod is created by the job. Each pod has a node affinity assigned to it, using ...
0 votes
1 answer
1k views

I am using gym==0.26.0 library and am trying to understand what means that an episode is finished/done in the CarRacing-v2 environment. In the documentation is written this. ### Rewards The reward is -...
0 votes
0 answers
54 views

I need to find a better way to raise the 'tes' variable in python till I can get the print out to terminate. (Running rather slow at 700) I propose the need for a better way of defining the 'shifts' ...
1 vote
1 answer
150 views

I have datatype stack_op which consists of several (~20) cases. I'm trying write function which skips some of that cases in list: function (sequential) skip_expr :: "stack_op list ⇒ stack_op list&...
0 votes
2 answers
83 views

I have a service in my app which adds a notification every few seconds. My problem is that it doesn't stop when the app is stopped. Can someone please let me know why is that? My code: Service class: ...
1 vote
0 answers
119 views

I'm trying to terminate gracefully Pool.map() function using KeyboardInterrupt. import multiprocessing import time def func(num): try: while True: print(f'Process num {num}') ...

15 30 50 per page
1
2 3 4 5
...
24

AltStyle によって変換されたページ (->オリジナル) /