skyde

8 ms·

31.
by skyde 3y ago
Right I guess I am not familiar how automated Benchmarks for LLM work. I assumed to decide if an LLM answer was good required Human Evaluation.
32.
by skyde 3y ago
what do they mean by "evaluating the model on corpus." and "Evalutes the corpus on the model". I know what a LLM is and I know very well what is Bayesian Optimization. But I don't understand what this library is tr
33.
by skyde 3y ago
why just not make all robocalls illegal instead :-) I dont care if its a AI voice or a recorded message.
34.
by skyde 3y ago
100% agree, that’s why MongoDB is so popular despite awful result of Jepsen
35.
by skyde 3y ago
When you mention The Objective Information Criterion. I assume you mean something that takes into account the complexity of the model. A model with more parameters might fit the data better but could also be at risk of overfitting. But isn’
36.
by skyde 3y ago
Well some company try to implement Raft algorithm with good intentions but do a bad job a at so bugs make it so they fail Jensen test. You can’t force people to test their software correctly unless it’s a regulated field like aviation.
37.
by skyde 3y ago
They could at least introduce a new language construct like await synchronizedAsync(lock) { // some code } C# introduced: await foreach (int item in RangeAsync(10, 3)) Console.Write(ite
38.
by skyde 3y ago
Why synchronized block are not preemptible? When compiling public void syncMethod() { synchronized(lock) { // some code } } they could translate to public void syncMethod() { await reentr
39.
by skyde 3y ago
how is this relevant?
40.
by skyde 3y ago
I think those product can be sliced based on the typical use case. Kafka and Azure EventHub and RedPanda are EventStream system use Retention policy. They can handle very high throughput efficiently but are not transactional and cannot be
41.
by skyde 3y ago
I didn't know that Thanks for your comment. Except in the case of shared cache database connections with PRAGMA read_uncommitted turned on, all transactions in SQLite show "serializable" isolation
42.
by skyde 3y ago
you still have to do IF @@ROWCOUNT = 2 BEGIN COMMIT TRANSACTION; END ELSE BEGIN ROLLBACK TRANSACTION; END to make sure both rows have been updated. so its a lot simpler to explicitly take a lock on the ro
43.
by skyde 3y ago
while true this is not what I mean. if your goal is to transfer 10 dollars for account A to account B but only if account A balance is larger than 10 dollars. You have to update account A to be 10 dollars less and you have to update account
44.
by skyde 3y ago
because row version does not make it possible to update more than 1 row atomically.
45.
by skyde 3y ago
this is the current setup we use in my team but I am trying to move away for this to something more systematic.
46.
by skyde 3y ago
yes if your test are using a mock of the db ex: https://github.com/microsoft/coyote/blob/main/Samples/Accoun... you can simulate the races. The problem is your mock need to implement the same isolat
47.
by skyde 3y ago
Even using tool like this it seem to be a combinatorial explosion issue. If your app contain 10 distinct transactions. you have to test what happen if 2 instances of tx #1 run concurrently. But also if tx #1 and tx #2 run concurrently. An
48.
by skyde 3y ago
I knew of this issue for some time (default DB isolation is less than SERIALIZABLE on most DB). But assuming you do not want to change the default isolation for your transaction or for the whole DB. How do you write unit-test that check yo
49.
by skyde 3y ago
You mentioned group I am very curious what you think of the work Facebook did on memory pressure metric
50.
by skyde 3y ago
Bayesian optimization is very good an optimizing black box Knob in shmoo plot usually called meta parameter. Assuming each probing is costly they allow you to find the optional combination of value for many knob (dimension) with a minimum o
51.
by skyde 3y ago
first time earing about Gurobi, is it some kind of SMT solver? I tried looking at their website but could only find high level marketing description.
52.
by skyde 3y ago
I have a question For people in the field! Would GPT only with pretraining and no fine tuning be able to behave better when prompt is "let’s think step by step"? Or this prompt only worked because a fine tuning dataset containing
53.
by skyde 3y ago
Well when people say "Ada" they usually mean SPARK not old or feature limited version of Ada. -Spark do verify contract using static analysis and proof. -While Ada is not as memory safe as Rust it's a lot more memory safe th
54.
by skyde 3y ago
C# used to have postconditions and verify them at compile time. But this has been deprecated :( I wish I knew why they removed it. https://learn.microsoft.com/en-us/dotnet/framework/debug-tra...
55.
by skyde 3y ago
this is awesome I was already trying to build the exact same thing but using Orange Pi 5 and Whisper speech to text model.
56.
by skyde 3y ago
what kind of Hardware is considered to have "lower interrupt latency"? Is there some kind of Arduino board I could get that fit those lower interrupt latency required for real-time but still support things like Bluetooth?
57.
by skyde 3y ago
in my opinion Citus is a lot better. its also available as a managed solution in azure under the marketting name of "Cosmosdb for Postgressql" https://learn.microsoft.com/en-us/azure/cosmos-db/postgr
58.
by skyde 3y ago
wow congrats to all people involved it feel good to finally see this feature land
59.
by skyde 3y ago
What do you mean by "fresh grad programs require a certain age" this seem like an easy lawsuit for age discrimination.
60.
by skyde 3y ago
I am guessing it's similar to "Inverse kinematics". There are many methods of modelling and solving inverse kinematics problems. The most flexible of these methods typically rely on iterative optimization to seek out an appr

More ›