Import LEAN into elan Import LEAN into elan Notice: I will use lean v3.42.1 for the demonstration This is a tutorial on how to override/import LEAN into elan, so that you can regulate different versions of LEAN with a ve 2023-10-12 Daily Logs > Debug Logs #Learning Log #LEAN #elan #automated theorem proving #Programming Tips #arm based system
Installing LEAN on arm based Mac — Manually compile and install Installing LEAN on arm based Mac — Manually compile and install This is a tutorial on how to compile LEAN from source code and install it. Next, we will see how to move it to elan (next post) Problem 2023-10-12 Daily Logs > Debug Logs #Learning Log #LEAN #automated theorem proving #Programming Tips #arm based system #Homebrew
Setting Up Lean on an M1 Mac: A Debugging Journey Apple's M1 chips have ushered in a new era of computing performance. But with new architectures come new challenges. One such challenge I recently faced was setting up the Lean theorem prover. Here's 2023-10-11 Daily Logs > Debug Logs #Learning Log #LEAN #automated theorem proving #Programming Tips #arm based system #Homebrew
Intern study summary - Jul 12 Wed Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu 2023-07-12 Daily Logs > Intern Log > Tech Summary #Intern #Intern Log #Learning Log #Python #Programming Tips #Intern At 300K #Python Grammar #UnitTest #Numpy #Environment Variable #Click Library
Intern study summary - Jul 11 Tue Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu 2023-07-11 Daily Logs > Intern Log > Tech Summary #Intern #Intern Log #Learning Log #Python #Programming Tips #Intern At 300K #Python Grammar #Command Line
Intern study summary - Jul 10 Mon Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu 2023-07-10 Daily Logs > Intern Log > Tech Summary #Intern #Intern Log #Learning Log #Tech #Python #Programming Tips #Intern At 300K #Python Grammar #Command Line #Machine Learning #Python Version Problem #ChatGPT fun fact
Intern study summary - Jun 28 Wed Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu 2023-06-28 Daily Logs > Intern Log > Tech Summary #Intern #Intern Log #Learning Log #Tech #Python #Intern At 300K #Python Grammar #List Comprehension
Intern study summary - Jun 27 Tue Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu 2023-06-28 Daily Logs > Intern Log > Tech Summary #Intern #Intern Log #Learning Log #Tech #Python #Intern At 300K #Python Grammar #Terminal #Terminal Command #Shell Script Grammar #Vim #Git #Git command
Intern study summary - Jun 25 Sun Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu 2023-06-25 Daily Logs > Intern Log > Tech Summary #Intern #Intern Log #Learning Log #Tech #Python #Programming Tips #Intern At 300K #Python Grammar #Command Line #PyCharm Professional #I/O #Error Explanation #RESTful API #URL
Intern study summary - Jun 15 Thu Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu 2023-06-23 Daily Logs > Intern Log > Tech Summary #Intern #Intern Log #Learning Log #Tech #Python #Intern At 300K #Python Grammar #PyCharm #PyCharm Professional #Terminal #Terminal Command #Decentralized Exchange #Dex #xarray