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

#Python #Learning Log #Programming Tips #Intern #Intern Log #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

#Python #Learning Log #Programming Tips #Intern #Intern Log #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

#Python #Tech #Learning Log #Programming Tips #Intern #Intern Log #Intern At 300K #Python Grammar #Machine Learning #Python Version Problem #Command Line #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

#Python #Tech #Learning Log #Intern #Intern Log #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

#Python #Tech #Learning Log #Intern #Intern Log #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

#Python #Tech #Learning Log #Programming Tips #Intern #Intern Log #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

#Python #Tech #Learning Log #Intern #Intern Log #Intern At 300K #Python Grammar #PyCharm #PyCharm Professional #Terminal #Terminal Command #Decentralized Exchange #Dex #xarray

Intern study summary - Jun 14 Wed

Learning record for what I learned during my internship at 300K—a quant company.

2023-06-14

Daily Logs > Intern Log > Tech Summary

#Python #Tech #Learning Log #Intern #Intern Log #Intern At 300K #Python Grammar #PyCharm #PyCharm Professional #Terminal #Terminal Command #Hexo #HTML