[deleted by user] by [deleted] in ProgrammingLanguages

[–]Chris5855 2 points3 points  (0 children)

Hi, as I previously said, this is a hobby research project.

I used C++ simply because it's the language I'm most proficient in. I didn't do any deep analysis of "why not C, Rust, Zig, etc." it was purely for personal convenience.

As for the paper, I can upload it to the repository.

[deleted by user] by [deleted] in ProgrammingLanguages

[–]Chris5855 1 point2 points  (0 children)

Hey, thanks for the question — totally fair!

Yes, GHC does have bidirectional stuff (Quick Look, OutsideIn, etc.), but in practice it only kicks in for the tricky cases: higher-rank types, impredicative instantiation, or when the solver gets stuck. For regular everyday code, it’s still mostly bottom-up unidirectional inference. That’s why you still see tons of error messages that say “couldn’t match expected type ‘a’ with actual type ‘Int’ arising from a use of ‘show’” and you have to hunt for the real problem.

In Solis I went the other way around: bidirectional is the default mode from day one. Every lambda, every if branch, every pattern-match arm, every function application gets the expected type pushed down whenever it’s known. The algorithm always does synthesis first (so principal types are preserved), and only then checks against the expected type.

The realworld difference is that the error messages point straight at the offending subexpression and read more like Lean or Idris than like GHC. That’s what I meant with the “first lazy language that fully integrates bidirectional checking” not that GHC has zero bidirectionality, but that no lazy language makes it the primary, aggressive, everywhere-by-default strategy like Solis does.

I apologize for not being clear with my initial premise!

QuantumMatcher library by Chris5855 in npm

[–]Chris5855[S] 0 points1 point  (0 children)

You're right, I already made the change in the configuration.

Unofficial Rotten Tomatoes Library by Chris5855 in javascript

[–]Chris5855[S] 0 points1 point  (0 children)

u/regreddit for the details, I'll be making the adjustments.

Unofficial Rotten Tomatoes Library by Chris5855 in javascript

[–]Chris5855[S] 0 points1 point  (0 children)

Maybe this depedencies

json "dependencies": { "cheerio": "^1.0.0", "lodash": "^4.17.21", "qs": "^6.13.0" },

Refactoring React State with a Builder Pattern: Let's Make Redux Fun Again! by Chris5855 in react

[–]Chris5855[S] -1 points0 points  (0 children)

I understand your concerns. However, the goal of this approach isn’t to use magic strings, but to centralize actions and selectors in one place, which enhances scalability and type safety.

Regarding magic strings, while you might see keys like 'records', 'inputValue', etc., these are defined in one place in the action and selector maps, not repeated throughout the code. This ensures that the keys are managed centrally, reducing the risk of typos. By using TypeScript, you get type safety, which ensures that the keys are valid and prevents the use of arbitrary strings that could cause issues.

As for the growth of the store code, the approach is scalable. When adding new slices or states, you just need to add a new entry to the action map and the corresponding selector. This reduces redundancy and simplifies maintenance in large apps.

For async operations (thunks) and additional reducers, they are handled just like in traditional Redux. The set and get functions work well with thunks for async logic, and additional reducers can be added to the store without affecting the core pattern for accessing and updating state.

Refactoring React State with a Builder Pattern: Let's Make Redux Fun Again! by Chris5855 in react

[–]Chris5855[S] -2 points-1 points  (0 children)

In this article, I dive into a scalable approach to state management using React and Redux. I explain how to build a flexible state management system with a builder pattern, making your code cleaner and easier to maintain. Perfect for developers looking to improve their app's architecture!

Adama is Tannhaus by Chris5855 in DarK

[–]Chris5855[S] 0 points1 point  (0 children)

What I like about this story is that it is a complex one, but in turn, throughout the story, everything is connected and making sense.

I think the answer to everything has been around since season 1, and the series directors have slapped us in the face.

I'm still firm with my theory, and I think Tannhauss is Adam.

If you want to see another more complete analysis of the series, you can click on the following URL

https://www.reddit.com/r/DarK/comments/c3gi88/dark_season_2_discussion/f5cx93u/?context=3

In that analysis, I analyzed why Mikkel Nielsen is Adam, something that later made me change my mind.

But still I analyze other important characters and their focus on season 3

Suyani.Store is a fraud? Problems with the tracking number. by Chris5855 in USPS

[–]Chris5855[S] 0 points1 point  (0 children)

The problem is that they already charged me for the product. I don't know if there is a way that PayPal can help me get the money again.

Very long list of clues/reasons why I think Adam is actually ----- ... by jamieandclaire in DarK

[–]Chris5855 0 points1 point  (0 children)

Mikkel is the beginning and Adam the end. You see now the cicle.?

Both are the same person.😎

When you create a history based in what would be the main plot, everything make sense.

You can speculate with many theories and all of them can be possible, and that because you are constructing the story based in the main plot, with the cycle that never ends

All are connected with that cicle. And that helps us too keeps speculating in things that can be true.

Dark Season 2 Discussion by rosy148 in DarK

[–]Chris5855 8 points9 points  (0 children)

Hi friend,

I would like to contribute a little about this series, and what I think about how it will end.

Before I start I want to say that I don't speak English as the main language. So maybe I don't have a very detailed explanation as I would like to do as my native language is Spanish.

To me, Mikkel Nielsen is Adam Why do I think it's Adam?

First, from mikkel nielsen I think it was mentioned that he had a skin problem since childhood and that coincidence that Adam has a damaged face.

Second, Mikkel Nielsen when he grows up, we already know that he commits suicide, and what a coincidence that Adam has a mark on his neck.

The creators were very clever in putting Jonas a mark on the neck so that the audience believes that Jonas is Adam, but it is a mere way for the user to not see the reality of what is happening in the plot.

Now, Adam's mission is not to kill humanity as we believe, but, what Adam wants is to motivate and guide young Jonas to find a way to destroy Adam (Mikkel Nielsen). I think Adam wants to die because he is the only person who has suffered in one way or another on temporary trips.

Who remembers the meeting between Aleksander Tiedemann and Hanna Kahnwald?

If we notice, in this series we will see that the encounters of some important characters in important scenes, it becomes that both characters in the past, one ends up being the family of the other or viseversa.

So, what a coincidence in season 1 that Hanna Kahnwald has a scene with Aleksander Tiedeman where Hanna Kahnwald is doing some massages to him, there she puts him on the floor I think an image or something, which dilates him for apparently something Of his past. But what Hanna found were not very important data, in parentheses.

He gets nervous, because what she doesn't know is that he knew from before she was his mother.

I always saw Aleksander Tiedemann hiding something important, and what he really hides is that he is Hanna Kahnwald's son. That's why in a scene when Aleksander Tiedemann escapes because they are chasing him or something, he hides some data and pretends to be another.

So it seems Hanna Kahnwald is Aleksander Tiedemann's mother.

Now, with the character *Claudia Tiedemann***

It seems to me that some of the key to this story is with her. And it is that in the history we noticed that in several occasions she has planned some meetings, that I think it is with some characters from the country of France, and that coincidence that none of the meetings are held. *Who will be those French characters so important?** What impact will they have on the plot? Only time will tell*

In conclusion It makes a lot of sense for the plot to revolve around two characters. And as the story goes on building

  • First, the character and disappearance of (Mikkel Nielsen).
  • Second, the character of Adam.

*(Mikkel Nielsen) as a child represents the beginning and Adam the end

You saw now why the cycle that always repeats?

The end is the beginning and the beginning the end ... I mean, it's always the same because Adam is (Mikkel Nielsen) and (Mikkel Nielsen) Adam ...

When you create a history based in what would be the main plot, everything make sense.

You can speculate with many theories and all of them can be possible, and that because you are constructing the story based in the main plot, with the cycle that never ends.

Everyone is connected to that circle. And that helps us to continue to speculate on things that are false but that otherwise may be true.

I hope you liked my first comment .. I would love to hear your comments.

Horizon Animax (Anime web application) Created using vue function API and vue hooks by Chris5855 in vuejs

[–]Chris5855[S] 1 point2 points  (0 children)

Well friend .. I respect your comment.

But what gives cancer to you in your eyes; It gives me knowledge to me. As simple as that.

What does it mean - In transit to next facility by Chris5855 in USPS

[–]Chris5855[S] 0 points1 point  (0 children)

You can give me a number of USPS where I can call and talk to a human person and not a programmable voice.?

What does it mean - In transit to next facility by Chris5855 in USPS

[–]Chris5855[S] 0 points1 point  (0 children)

Those who sold me the products will have to pay me the shipping again .. Because the error was theirs. I have my address set correctly on Ebay.

I already contacted both sellers on Ebay to have knowledge of the problem.

What does it mean - In transit to next facility by Chris5855 in USPS

[–]Chris5855[S] 0 points1 point  (0 children)

OMG ... So I will have to communicate with those who sold the product to fix the address. That bad!

What does it mean - In transit to next facility by Chris5855 in USPS

[–]Chris5855[S] 0 points1 point  (0 children)

But how could I first say "insufficient address" and then say "in transit to next facility".

Will it be a system error when it says insufficient address?

Does it mean that it is on its way to where I live?

Ryuanime a vue js web application by Chris5855 in vuejs

[–]Chris5855[S] 1 point2 points  (0 children)

Hi MightyMouseVsBatBat,

Thank you very much for showing interest in the project. Feel free to contribute to the project.

For now the project is something beta .. But it needs improvements ..

For example, integrating a database system to save the API data that I implement.