formalsystem

Amazing, I have used ModDB in the past so I'm glad to see you building something even more ambitious.

How are you thinking of paying people? If I make a really popular mod of a game do I get a % of that games sales or just some fixed per download amount. How do you deal with popular plagiarism, I minimally change a mod and figure out how to be featured prominently in ranker.

Would you say a significant part of your player base consists of game developer?

What does the easy modding workflow look like right now? I'm looking forward to checking out https://github.com/modio/UnityPlugin

See https://en.wikipedia.org/wiki/Analog_computer

AFAIK analog computers are still the standard in radars for example and it sound like neural networks would benefit from similar hardware.

Is anyone aware any similar product that also pays back game developers and modders for how many people download their games or how many times people used an asset they created?

Modding on PC isn't the best experience since it requires a lot of work on the developer side to create an API for you AND you need to go ahead and learn how this API works by staring at a small number of samples.

If the game doesn't have an API you need to disassemble the game and figure out how to actually integrate your changes but you can't distribute it since you're violating the developer's intellectual property.

However, modding is amazing, it's the best part about PC gaming. Team Fortress, Counter Strike, Dota, all mods. Modding increases the potential play time of a game in an unbounded way. Why isn't it commonplace for me to be able to command alt click and then just add a new character to the game with 3 basic abilities and then share that to my friends. You can't mod a movie, there is no underlying code you can change freely to add whatever dialog you want or change the position of a camera.

Is there no way to align the economic incentives of players and creators when it comes to modding? How would you split up the pie between modders, original creators and consumers especially considering that modders can increase the size of the pie. What creator wouldn't want to increase the longevity and relevance of their game?

I'm optimistic that more games will be more moddable more easily. Giving modders and creators the tools to distribute their work AND make money off of it, will create a platform that will dethrone Steam and produce memes for ages to come.

If anybody wants to talk more about this, please feel free to email me.

Skimming papers like this make me think maybe we spend too much time computing stuff in discrete spaces vs continuous ones.

This textbook covers CS theory using real numbers instead of integers.

https://www.amazon.com/Complexity-Real-Computation-Lenore-Bl...

Role: Machine Learning Scientist, Software Engineer

Location: San Diego

Willing to Relocate: Yes (US, UK) - US citizen

Technologies: Machine Learning, Python, Tensorflow, Pytorch, Julia, C#, Unity, AWS, Node, SQL

Skills: math, optimization, physics, graphics, design

Resume: https://www.overleaf.com/read/wkbttymdcmqt

Personal site: robotoverlordmanual.com

Email: marksaroufim@gmail.com

Hi I’m Mark, I’m an Applied ML Scientist and Product Designer. I'm the founder of yuri.ai where my goal is to make it really easy for game developers to balance their games using Reinforcement Learning. I’m looking for a job because the Lebanese banking system is collapsing and I’ll soon need income to support my parents.

How I can help you:

I can write top notch documentation and can explain anything to anyone: My book robotoverlordmanual.com is a visual and accessible robotics, ML and math textbook with over 28000 monthly viewers. I’m very comfortable writing and speaking.

I can manage your most complex projects: I was the BI lead when Microsoft was selling its display ads business to AOL, I made sure Outlook AI efforts were compliant. I’ve worked on projects with 100+ stakeholders and have bootstrapped projects where I was the first engineer to 10 engineers.

I can turn your research into a product: I’ve done this with Yuri, I’ve done this at Microsoft when I was working on a next gen email ranker and a part of speech tagger and I’ve done this at NASA’s Jet Propulsion Laboratory when I was setting up their computer security anomaly detection pipeline from scratch

I can setup your entire BI infrastructure and measure what matters: I’ve done this for more than 10 teams at Microsoft. I will help you find and measure the metrics that are most indicative of your product success.

I will also get along with your dev team: I have extensive science and development experience and can tell the difference between realistic work and sci-fi. I have extensive experience with tooling and research in BI, ML, RL and game dev.

Please ask me questions!

How does it compare to Cyberpunk 2020? I wanna run a cyberpunk campaign for my friends next year and wanted to understand which ruleset and setting is most fun. We already play a lot of DnD.

Role: Technical Product Manager, Applied Machine Learning scientist Location: San Diego

Willing to Relocate: Yes (US, UK) - US citizen

Technologies: Machine Learning, Python, Tensorflow, Pytorch, Julia, C#, Unity, AWS, Node, SQL

Skills: math, optimization, physics, graphics, design

Resume: https://www.overleaf.com/read/wkbttymdcmqt

Personal site: robotoverlordmanual.com

Email: marksaroufim@gmail.com

Hi I’m Mark, I’m an Applied ML Scientist and Product Designer. I'm the founder of yuri.ai where my goal is to make it really easy for game developers to balance their games using Reinforcement Learning. I’m looking for a job because the Lebanese banking system is collapsing and I’ll soon need income to support my parents.

How I can help you:

I can write top notch documentation and can explain anything to anyone: My book robotoverlordmanual.com is a visual and accessible robotics, ML and math textbook with over 28000 monthly viewers. I’m very comfortable writing and speaking.

I can manage your most complex projects: I was the BI lead when Microsoft was selling its display ads business to AOL, I made sure Outlook AI efforts were compliant. I’ve worked on projects with 100+ stakeholders and have bootstrapped projects where I was the first engineer to 10 engineers.

I can turn your research into a product: I’ve done this with Yuri, I’ve done this at Microsoft when I was working on a next gen email ranker and a part of speech tagger and I’ve done this at NASA’s Jet Propulsion Laboratory when I was setting up their computer security anomaly detection pipeline from scratch

I can setup your entire BI infrastructure and measure what matters: I’ve done this for more than 10 teams at Microsoft. I will help you find and measure the metrics that are most indicative of your product success.

I will also get along with your dev team: I have extensive science and development experience and can tell the difference between realistic work and sci-fi. I have extensive experience with tooling and research in BI, ML, RL and game dev.

Please ask me questions!

Is this vaporware?

Role: Technical Product Manager, Applied Machine Learning scientist

Location: San Diego

Willing to Relocate: Yes (US, UK) - US citizen

Technologies: Machine Learning, Python, Tensorflow, Pytorch, Julia, C#, Unity, AWS, Node, SQL

Skills: math, optimization, physics, graphics, design

Resume: https://www.overleaf.com/read/wkbttymdcmqt

Personal site: robotoverlordmanual.com

Email: marksaroufim@gmail.com

Hi I’m Mark, I’m an Applied ML Scientist and Product Designer. I'm the founder of yuri.ai where my goal is to make it really easy for game developers to balance their games using Reinforcement Learning. I’m looking for a job because the Lebanese banking system is collapsing and I’ll soon need income to support my parents.

How I can help you:

I can write top notch documentation and can explain anything to anyone: My book robotoverlordmanual.com is a visual and accessible robotics, ML and math textbook with over 28000 monthly viewers. I’m very comfortable writing and speaking.

I can manage your most complex projects: I was the BI lead when Microsoft was selling its display ads business to AOL, I made sure Outlook AI efforts were compliant. I’ve worked on projects with 100+ stakeholders and have bootstrapped projects where I was the first engineer to 10 engineers.

I can turn your research into a product: I’ve done this with Yuri, I’ve done this at Microsoft when I was working on a next gen email ranker and a part of speech tagger and I’ve done this at NASA’s Jet Propulsion Laboratory when I was setting up their computer security anomaly detection pipeline from scratch

I can setup your entire BI infrastructure and measure what matters: I’ve done this for more than 10 teams at Microsoft. I will help you find and measure the metrics that are most indicative of your product success.

I will also get along with your dev team: I have extensive science and development experience and can tell the difference between realistic work and sci-fi. I have extensive experience with tooling and research in BI, ML, RL and game dev.

Please ask me questions!

Shaders helped me understand how to program GPUs.

My favorite book on the topic is https://thebookofshaders.com/ (free) and I'd highly recommend you mess around with it

Blender and Unity also have a graphical language to do shaders which are really fun to mess around with.

Over the years my heuristic has turned into: "Did the team formulate their problem as a supervised learning problem?" - If not it's probably BS.

In longform if anyone is interested https://medium.com/@marksaroufim/can-deep-learning-solve-my-...

EDIT: I would consider autoencoders, word2vec, Reinforcement Learning examples of turning a different problem into a supervised learning problem

EDIT 2: Social functions like happiness, emotion and fairness are difficult to state - you can't have a supervised learning problem without a loss function

If you wanna start it, I'd be happy to contribute!

I've been meaning to read this, will keep you posted

I was very careful to qualify it with "my experience" :P. I have loads of armchair knowledge about LISP but was never able to commit to a larger project.

What helped you get good at LISP?

It's very similar, representation matters a lot!

I don't think the Julia implementation makes much use of typing. A related Haskell codebase for Hamiltonian (not Lagrangian) mechanics that I found really helpful to scan was https://blog.jle.im/entry/hamiltonian-dynamics-in-haskell.ht... -

Amazing feedback - thank you!

I'm not sure what's going on with Medium, trying to figure it out now.

But in the meantime I uploaded a pdf of the post to Google Drive https://drive.google.com/file/d/19MMS6IJ_C4DVuJtlmfNpXmOw5Xl...

Thank you this is great feedback - I've had trouble finding proofreaders IRL so this really helpful.

That does sound like a better idea than just waiting and hoping it won't collapse on me

Julia is the first language I've worked with that really tries to eliminate all abstractions between math formulas and code AND keep things efficient. LISP and Haskell also have great looking numeric code but I have a hard time figuring out what's efficient and what isn't.

Excellent point, adding it right now

That's really helpful, I'll think about how to reword this. We covered calculus physics in Lebanon which uses the French Baccalaureate program so was making some non global assumptions.

Automatic differentiation in Haskell http://conal.net/blog/posts/beautiful-differentiation

I've been closely following the revolution happening in Lebanon and I'll often see a notification like

"The following media includes potentially sensitive content" for content like https://twitter.com/encrier/status/1188067004240019456 Which translates to

* Retrieve people's money

* Resignation of government

* New parliament

Thank you Twitter for "protecting" me from being offended.

EDIT: I've been getting very angry everytime I see demands for censorship on social media, it's like people forgot they had their own revolution at some point and really needed to communicate what was happening to make it a reality.

Proving all the axioms of probability theory using game theory instead of measure theory.

A couple of years back I wrote up a short proof of the law of large numbers using game theory. http://www.marksaroufim.com/2015/02/14/probability-without-m...

All the ideas are inspired by this book by Shafer and Vovk https://www.amazon.com/Game-Theoretic-Foundations-Probabilit...

1. This was one of my favorite intro to category theory books, will make you familiar with the general language http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf

2. After skimming 1, check out Algebra Chapter 0 which uses Category Theory and diagrams to prove various theorems from Abstract Algebra (Hard read) https://www.amazon.com/Algebra-Chapter-Graduate-Studies-Math...

If you enjoyed this post, you'll probably love "The Elements of Euclid"[1] by Byrne which provides entirely visual proof for ALL the basic proofs of euclidean geometry.

I actually first came across the book when I saw it mentioned in Beautiful Explanations by Tufte. The beauty of the images is just on another level, the book will just make you feel good when you stare at it and after staring at it you'll absorb a proof accidentally with barely any effort on your part.

There is a mistaken belief that visual proofs are less serious than algebraic ones but I believe this is mostly due to a lack of imagination when it comes coming up with good visual proofs. Byrne's book will help you see just how powerful pictures can be. There's lots of good work happening in the Category Theory community to turn diagrams into first class objects in constructing proofs so I'm very optimistic about a boom in visual proof construction.

[1] https://www.amazon.com/Byrne-Six-Books-Euclid-Multilingual/d...

Anyone else feel like this book is really overrated? I've enjoyed the classical mechanics book by the same authors a lot more since it goes over a particularly good application where functional ideas shine

Differential privacy doesn't mean privacy via something like encryption. It means that a company can query the dataset without exposing sensitive information about a small population in the dataset.

You still have to trust the company hosting the dataset so distributed solutions lend themselves more naturally to trust.