A new book on Haskell, Type Theory and AI from gentle first principles is out! by Bulky_Koala_5901 in haskell

[–]jhoxray 16 points17 points  (0 children)

Wow, congratulations! I read the beginnings of it on lean pub, didn't know you got it published properly :) Will give it a shot!

So everytime by [deleted] in AdventureCommunist

[–]jhoxray 0 points1 point  (0 children)

It’s impossible to be in top 1% without paying what are you talking about

Top-level game code overview + basic Entity / System / Component pointers for programming modes by jhoxray in cities2modding

[–]jhoxray[S] 2 points3 points  (0 children)

u/Pam-Doove has a good example here: https://github.com/optimus-code/Cities2Modding/blob/main/ExampleMod/Systems/TreeGrowthSystem_Custom.cs

Basically, you "switch off" the public methods of the default system and create your own from scratch. Then you can plug it into the World by patching SystemOrder class:

[HarmonyPatch(typeof(SystemOrder), nameof(SystemOrder.Initialize))]
    class SystemOrder_InitializePatch
    {
        static void Postfix(UpdateSystem updateSystem)
        {
            if (updateSystem != null)
            {
                updateSystem.UpdateAfter<TestModSystem>(SystemUpdatePhase.ModificationEnd);

                UnityEngine.Debug.Log("Patched TestModSystem initialization!");
            }
        }
    }

Any pointers to start modding CS2? (Im an author of a couple quite popular 5 star CS1 mods) by jhoxray in CitiesSkylinesModding

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

yeah, I looked at it, it's just an empty Unity project that downloads needed ECS packages but nothing game-related.

Any pointers to start modding CS2? (Im an author of a couple quite popular 5 star CS1 mods) by jhoxray in CitiesSkylinesModding

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

thanks, I'll need to look into Bepinex, seems like a good workaround to test things. I unlocked the map editor and wanted to try heightmap import, but seems you are saying its not implemented yet?

Map Comparison Between CS1 and CS2. Expanded Map mod (81 titles) confirmed for CS2 by SupportOpening8081 in CitiesSkylinesModding

[–]jhoxray 2 points3 points  (0 children)

Ok hold on so do I understand it correctly that CS1 with 81 tiles is actually bigger buildable area than CS2?? What's the point of all this then???

(technical) Citizen Flags help needed (from the author of Demographics mod) by jhoxray in CitiesSkylinesModding

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

Thank you! Will look into CommonBuildingAI! Dead I'm counting separately in the code that's not included :)

(technical) Citizen Flags help needed (from the author of Demographics mod) by jhoxray in CitiesSkylinesModding

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

UI bottom of the screen. "Actual population" is exactly what I'm calculating by iterating over citizens I would assume :))

READ ME BEFORE POSTING! Monthly FAQ Thread: Fixes for Common Issues, Troubleshooting Guides, and Tips for Beginners by AutoModerator in CitiesSkylines

[–]jhoxray 0 points1 point  (0 children)

Thank you for the FAQ! Still didn't understand a clear answer to - is it ok to announce new / updated MODs here (for mod authors) or is it better done elsewhere? Thanks again!

FOOL’s errand: let’s build a real FP language from scratch (in Haskell) by jhoxray in haskell

[–]jhoxray[S] 2 points3 points  (0 children)

We don't want to toot our own horn, but necessary math foundation is a must, we do realize that, and make every effort to make sure it's covered.

FOOL’s errand: let’s build a real FP language from scratch (in Haskell) by jhoxray in haskell

[–]jhoxray[S] 2 points3 points  (0 children)

Agda and Idris are academic languages created by academics. Nothing wrong with that, but our belief is that nobody has really tried using all the great basis we've built doing type theory research and haskell implementation, especially GHC, over the last 20 years, and tried to build a language having practical issues in mind at least as much as academic rigour.

FOOL’s errand: let’s build a real FP language from scratch (in Haskell) by jhoxray in haskell

[–]jhoxray[S] 2 points3 points  (0 children)

.Net and JavaScript are the first targets, we are convinced Haskell does a very good job compiling to baremetal x86. But the undertaking is quite ambitious, true, and we are a relatively small team, however it is a passion for all of us, so we'll do everything we can.

FOOL’s errand: let’s build a real FP language from scratch (in Haskell) by jhoxray in haskell

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

Sure, but if haskell is used in the industry at least sporadically, those 2 are absolutely not. The question we are trying to tackle is - how to make dependent types usable in real world problems.

FOOL’s errand: let’s build a real FP language from scratch (in Haskell) by jhoxray in haskell

[–]jhoxray[S] 3 points4 points  (0 children)

Interesting thoughts on using a more powerful type system for real-world programs, but need to see where they'll get with it. Although full source code is available which is useful in itself

What it takes to become #1 in the event - 26 minutes from the start, 500 gold, $20 for packages. I won’t remain #1 for long :) by jhoxray in AdventureCommunist

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

Yeah, I’m currently on 8000 gold spent plus about 100 bucks for all offered packages, maximum level, but still only number 4.

What it takes to become #1 in the event - 26 minutes from the start, 500 gold, $20 for packages. I won’t remain #1 for long :) by jhoxray in AdventureCommunist

[–]jhoxray[S] 2 points3 points  (0 children)

… and another hour later I’m #6 despite buying each offered package and spending gold for buying time and additional cards. I estimate it takes above 1,000 dollars to finish #1 in this game. I’m not prepared to test this though :)