245 questions
-1
votes
1
answer
67
views
NFA with single transition per input and per state [closed]
I am new to automata. I am currently designing an NFA over the language {a, b} that should accept strings where the number of as is odd. I have designed an NFA for this, but I think it's kind of like, ...
1
vote
0
answers
229
views
Non determinism problem in TensorFlow 2.16.1
I'm using tensorflow v.2.16.1 and I'm encountering this error
GPU MaxPool gradient ops do not yet have a deterministic XLA implementation
when setting
tf.config.experimental.enable_op_determinism()
I ...
1
vote
1
answer
525
views
Seeking Assistance on Achieving Determinism in OpenAI GPT-4 Models
I’m currently working on a project that requires generating 100% reproducible outputs from OpenAI’s GPT-4 model for the same input prompt. Despite experimenting with various parameters like ...
0
votes
1
answer
345
views
Pyspark 3.5 : Databricks 14.3 ML LTS Run time gives different results for the same code
I am running below code on Databricks 14.3 ML LTS cluster. I am performing a validation task for the code migration from Databricks 10.4 ML LTS to 14.3 ML LTS.
window_c = (
Window()
....
0
votes
1
answer
174
views
Is a test in a Durable Azure Orchestrator function non-deterministic if the test could yield a different result on re-run?
This question is about determinism in an Azure orchestrator function that does some updates to a third-party system when an entity changes in the same third-party system.
I am considering using ...
2
votes
1
answer
140
views
Non-Deterministic behavior in PDF library when accessing Django model in between
A Django 4.2 on Python 3.10 application misbehaves sometimes, in a place that should be stateless. If I access the database (postgresql 14 via pcygopg 3.1.18) while working with pypdf 3.17.4, the ...
1
vote
0
answers
274
views
Order of callbacks: setTimeout and ResizeObserver
With the following code I sometimes get timeout, then RO output, sometimes the reverse. Are both valid browser behaviours? Or just one?
const div = document.createElement("div")
document.body....
2
votes
1
answer
108
views
Haskell. Not seeing laziness despite using list-t's ListT (State s)
I have a scenario of traversing a non-deterministic search space, with an upper bound on the number of visits. Using ListT (State Int) a, I have managed to achieve this.
My expectation was that, ...
-1
votes
1
answer
346
views
yocto programmatically asigned SRCREV trigger metadata not deterministic
in my .bb i use this expression for determine the value of SRCREV based on the existence of the environment variable GW_TAG, which may contains a git tag:
SRCREV = "${@ d.getVar('AUTOREV') if d....
0
votes
1
answer
129
views
Convert Nondeterministic Finite Automata to Regular Expression
I am having a really tough time on this conversion problem. I have read, re-read and watched videos but I am pretty sure the answer I am coming up with is not correct.here is the diagram of the NFA
I ...
1
vote
2
answers
508
views
Can I get an ORDER BY with several columns but still deterministic?
I know that a deterministic ORDER BY is when you sort by a UNIQUE INDEX column, 1) is this true?.
I want to sort by the columns name and percentage.
There is a possibility that 2 or more students have ...
0
votes
1
answer
183
views
How do I invoke firebase cloud functions within the client using HTTP if the functions URLS will change depending on environment?
For example, my firebase cloud functions URL will be different in my emulator instance, my development Firebase project (online), and my production Firebase project (online).
On the client side, I ...
3
votes
1
answer
130
views
Is there a way to save execution of ruby code to debug it using step by step replay later?
I have a rarely reproduced bug in ruby code. By running my test suite constantly I get it once every 10-15 minutes.
What I want to do is to have the execution recorded step by step and once it fails, ...
0
votes
1
answer
121
views
How to provide non-determinist value (id, dates, random...) to Domain Entity or Aggregate Root given that its been injected as dependencies
I am working on a frontend repository that implements an hexagonal architecture with domain driven design, using Redux Toolkit.
It is being developed in a TDD fashion. For that purpose, I am using &...
0
votes
1
answer
97
views
Are there PRECISE RULES to know when MySQL will apply gap blocking?
After several studies I see that MySQL applies gap blocking where it is not necessary. That's why I want to ask this question, is it something deterministic?
I asked this question and
BETWEEN SQL - ...
2
votes
2
answers
156
views
Temporarily storing tables with variable amounts of columns
Suppose I have a hierarchical structure like this.
Father ID
Child ID
1
2
1
3
1
7
3
4
3
5
3
6
In my case, those are production orders, that demand from (father) or supply to (child) each other.
I need ...
0
votes
1
answer
385
views
Using printf with MPI leads to non-deterministic output
The following code has non-deterministic behaviour on my machine (already with using only two processes).
#include <mpi.h>
#include <stdio.h>
#include <stdlib.h>
int main(int argc, ...
2
votes
0
answers
231
views
Confusion on the Syntax of a Python Module named automata.pda.npda within automata -lib
I have been asked to construct a NPDA that accepts the following language L = {anb2n : n ≥ 1}. I have completed the written assignment portion and after testing it thoroughly i am sure that my NPDA is ...
5
votes
1
answer
1k
views
Is UUID's hashValue non-deterministic?
Given what I think is an identical Swift UUID, I get different hashValues for it on subsequent runs of the code. Within a single run it's consistent.
eg:
func UUIDTest() {
let uuid = UUID(...
2
votes
1
answer
226
views
Non-determinism on a set defined by the characteristic function
I'm writing an implementation for a non-deterministic finite state automaton (NFA) which has the goal to accurately convey information about the state set through types, which can be reasoned through ...
2
votes
1
answer
1k
views
How to convert sql_variant so it can be considered deterministic
I am trying to create a persisted computed column in a SYSTEM_VERSIONING table dbo.Users as follows:
ALTER TABLE dbo.Users
ADD SessionId AS usr.GetSession() PERSISTED
CONSTRAINT ...
1
vote
2
answers
868
views
Complement of non-deterministic context-free language
The complement of a context-free language is not always context-free. It is not allowed to just swap the final and non-final states of an NPDA and assume that it produces the complement of the ...
0
votes
2
answers
1k
views
Are floating point operations deterministic when running in multiple threads?
Suppose I have a function that runs calculations, example being something like a dot product - I pass in an arrays A, B of vectors and a float array C, and the functions assigns:
C[i] = dot(A[i], B[i])...
0
votes
2
answers
3k
views
A NFA accepting ;anguages whose final digit didn't appear before
Give a non-deterministic finite automata(NFA) which accepts the following language:
The set of strings over the alphabet {0,1,...,9} such that the final digit has not appeared before.
I have ...
0
votes
4
answers
470
views
How to get rid of nondeterminism in C++. Tried ADDR_NO_RANDOMIZE, other things
I have a C++ program that is nondeterministic. I run it with an input file, and it runs ok. I run it with the same input file a second time, and it crashes. I'd like to get rid of the ...
0
votes
1
answer
128
views
Scalar function is non-deterministic
I'd like to persist this field but can't figure out why it's non-deterministic.
CREATE FUNCTION GetServiceMinutes
(
-- Add the parameters for the function here
@StartDate datetime,
@...
1
vote
1
answer
497
views
how to do global sorting without a unique key in Presto
In my case, I have some hive tables, the partition column(dt) is the only column that every table contains.
I execute the sql below in hive
SELECT * FROM (
SELECT row_number() over(ORDER BY T.dt) as ...
1
vote
0
answers
88
views
Non-deterministic crash of deterministic program, when inner functions are present
I have tested the following python script on 2 Windows machines, and onlinegdb's python compiler.
On the Windows machines, this code when run as it is, just exits midway, non-deterministically, with ...
0
votes
2
answers
166
views
Non-deterministic output of simple C program
This is an unfinished program I'm writing to learn C (only checks multiples of 2 currently...)
Ultimately, I want this to be an implementation of the Sieve of Eratosthenes (prime numbers)
The problem ...
0
votes
1
answer
108
views
Non-deterministic behavior with Java Multithreading
I wrote a simple program that I am using to practice multithreading in Java. The goal is to test whether or not a Sudoku solution is valid: No repeating numbers in rows, columns, or sub-grids. At ...
0
votes
1
answer
3k
views
not sure how to fix non-deterministic function issue with pyspark
I am following the snowflake schema. I have a fact table with 9 dimension tables for a redshift warehouse. My ETL workflow is done in was glue. I have simplified the problem to just two tables (one ...
0
votes
1
answer
513
views
Left Join is filtering rows out of my query in MySQL 5.7 without any left join columns in the where clause
I have a query that joins 4 tables. It returns 35 rows every time I run it. Here it is..
SELECT Lender.id AS LenderId,
Loans.Loan_ID AS LoanId,
Parcels.Parcel_ID AS ParcelId,
tr....
2
votes
1
answer
170
views
Simulating non-deterministic choice through the List Monad
I'm trying to write an evaluation function for a language that I am working on in which non-determinism can be permitted within an if-block, called a selection block. What I'm trying to achieve is the ...
0
votes
1
answer
230
views
MPI functions appear to execute out of order compared to printf() [duplicate]
I am having a very strange code using MPI, in which statements appear to be executed in the wrong order. Specifically, the MPI statement appears to be executing before the printf even though it comes ...
0
votes
1
answer
205
views
True nondeterminism in Haskell
There is much said about 'nondeterminism' in Haskell: The list monad and the Amb monad call themselves nondeterministic.
But these functions just model nondeterminism - they (deterministically) ...
2
votes
2
answers
876
views
Automatically detect non-deterministic behaviour in Python
This may be impossible, but I am just wondering if there are any tools to help detect non-deterministic behaviour when I run a Python script. Some fancy options in a debugger perhaps? I guess I am ...
1
vote
0
answers
512
views
SQLSVR - not able to create index with computed GETDATE column
What I want to achieve: To create an index with an existing date column data converted into UTC timing (Query is written below)
Issue: There's a column in table with local server date values, I need ...
1
vote
1
answer
1k
views
XGBRegressor: how to fix exploding train/val loss (and effectless random_state)?
I used XGBRegressor to fit a small dataset, with (data_size, feature_size) = (156, 328). Although random_state is given, the train/val history can not be reproduced each time I executed the program, ...
3
votes
1
answer
983
views
How can I get a deterministic topological sort in Petgraph?
I'm using Petgraph's toposort function to get a sorted list of the graph's nodes. toposort does not however guarantee that all nodes at the same level will be returned in a consistent deterministic ...
-1
votes
3
answers
4k
views
NFA that does not accept strings ending "101"
What is the NFA that does not accept strings ending "101"?
0
votes
0
answers
99
views
Is it possible to get floating-point determinism between physical machines by running your program inside a VM?
I have the need to make a fully automated test server for a game we are making, but to keep it reliable we need full floating point determinism. We also want to be able to move our server from one ...
1
vote
3
answers
105
views
How count Dijkstra guards sort executions in Prolog
I do not find a Prolog cut in Dijsktras "if fi", since he says "otherwise an arbitrary guarded list with a true guard will be selected for execution.". So his construct, does not ...
0
votes
1
answer
121
views
How instrument Prolog code to check determinism
We want to instrument our Prolog code by automatic determinism
checks. So in the spirit of Ciao assertions we would declare
:- pred <functor>/<arity> is <determinism>, where <...
2
votes
0
answers
172
views
Getting non-deterministic results running EfficientnetB0/Efficinetnet-lite0 models on GPU (using tensorflow-gpu 2.2)
The following random seeds were set
SEED = 1
random.seed(SEED)
np.random.seed(SEED)
tf.random.set_seed(SEED)
The following Environmental Variables were set TRUE
os.environ['TF_CUDNN_DETERMINISTIC'] = ...
0
votes
1
answer
185
views
tensorflow determinism probe (aka debug tool)
I'd like to use the debug probe mentioned here but if I try to import the module as shown in the talk I get a syntax error as follows:
from tensorflow-determinism import probe
File "<ipython-...
0
votes
2
answers
471
views
Combining bindings for Either type in Haskell
For the following code, is it possible in Haskell to combine the bindings? Here is the original code:
Either1 a b = Left1 a | Right1 b
either1 :: Either1 () ()
either1 = Left1 ()
either2 :: Either1 (...
5
votes
1
answer
314
views
Haskell Combining non-determinism with error handling
Suppose I'm creating a simple interpreter that can throw errors, e.g.
type Error = String
data Term = Con Int | Div Term Term
eval :: (MonadError Error m) => Term -> m Int
eval (Con a) = ...
0
votes
1
answer
65
views
Trying to assign IDs to pairs in a pandas DataFrame, getting inconsistent results
I have a df:
df = pd.DataFrame({'src':['LV','LA','NC','NY','ABC','XYZ'], 'dest':['NC','NY','LV','LA','XYZ','ABC'], 'dummy':[1,3,6,7,8,10]})
src dest dummy
LV NC 1
LA NY 3
NC ...
0
votes
0
answers
230
views
Image augmentation reproducibility
How can I reproduce the same image augmentation results when I'm using the following data pipeline for an image segmentation task? I want to compare different models, so data augmentation needs to be ...
1
vote
1
answer
280
views
deterministic dithering with libsoxr
I have an issue with some unit test code which is giving different results for every execution.
I tracked it back to libsoxr (0.1.3) and discovered that is its down to the dithering option:
That is, ...