Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

Another great thing about Lean Library is it comes integrated with Scite, one of my favorite apps for research. Whenever Lean Library gives you an open access article, it will display the Scite badge in the bottom-left corner. Scite badge shows you the number of time an article's claims...

15,680 görüntüleme • 2 yıl önce •via X (Twitter)

4 Yorum

Mushtaq Bilal, PhD profil fotoğrafı
Mushtaq Bilal, PhD2 yıl önce

Finding open access research papers is a huge challenge. Takes a lot time and labor. And you're not sure if a paper was published in a predatory journal. Here's a free browser extension to help you find realible open access articles — in seconds:

Mushtaq Bilal, PhD profil fotoğrafı
Mushtaq Bilal, PhD2 yıl önce

Go to leanlibrary(dot)com and click on the "Add to Chrome" button in the top-right corner. Add it to you Chrome and then click on the puzzle-like icon to pin it to your browser. Lean Library will ask you to select your institution. Select it if the name of your institution appears in the drop-down menu. If it doesn't, click on "Lean Library Open."

Mushtaq Bilal, PhD profil fotoğrafı
Mushtaq Bilal, PhD2 yıl önce

If you are reading something on Wikipedia (or any other educational website), click on the Lean Library extension. If it has found any open sources materials, it will show you a green buttin with "Get article." Click on it and you will be take to the open access article. In this case, it gave me a whole book that I can download for free. Very helpful.

Mushtaq Bilal, PhD profil fotoğrafı
Mushtaq Bilal, PhD2 yıl önce

Another challenge researchers face is finding research gaps and crafting interesting research questions. To help you with it, we built Research Kick. It helps you craft compelling research questions and find research gaps — in minutes. 320+ academics are using it.

Benzer Videolar

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom

MTS

13,224 görüntüleme • 23 gün önce

Wazirx is holding Townhall tomorrow. I have made a list of 13 Important questions that users can ask. Q1. You mentioned in the affidavit that Wazirx is in talks with 11 exchanges & trading businesses. However, these businesses had a concern over an ongoing dispute between Wazirx & Binance regarding ownership due to an ongoing court case. So till the time the ownership dispute is resolved, do you guys have the authority to close deals with these white knights? If yes - please let us know how. Q2. In the affidavit you mentioned that total user funds on the day of the hack were approximately $570 million & hacked crypto was worth $234 Million. If we go by these numbers, means 41% of crypto was hacked, which you guys also mentioned in the hack report which was later changed to 45%. Can you clarify on this? Q3. You recently changed the total crypto holding number on the day of the hack from $570 Million to $546 Million in the affidavit, you guys mentioned that it was a mistake. Can you please clarify more on this? Also, How can you include INR for Zattai, it is only supposed to manage crypto, for INR Zanmai is the one that manages it. Q4. Wazirx has been mentioning in its POR that they hold surplus crypto, why was this not mentioned in the affidavit and can you please share the number of the surplus? Q5. In the affidavit you guys mentioned that you have taken out Rs 100 crore ($12 Million) from user funds for legal expenses, that’s 5% of the remaining customer funds. Why are you doing this and why there is no contribution from the Wazirx team? Q6. Earlier you guys shared the idea of 55/45, with the Singapore scheme of arrangements - What percentage can we expect to be returned to each user out of the remaining funds? As 5% has been taken out of Wazirx for legal expenses, so number comes down to 50% - can it come down further? Please clarify. Q7. The remaining crypto Distribution will be based on a percentage of INR value on the day of the hack (Snapshot). Or Distribution will be in the percentage of crypto tokens that users hold? Q8. Will you be Converting the remaining Crypto into another Stablecoin like USDT or you will keep them in the Same Crypto? Pls share more on this. Q9. If Wazirx decides to keep the remaining crypto as it is and not convert it into stable coins & in 6 months price of those crypto rise or double. Will the price rise be included in the distribution or distribution will not count price rise & will happen based on the Price of that token at the time of the snapshot that was taken? Q10. Wazirx has frozen 34% of INR for users who deposited INR after the hack, Why were their funds frozen? are you guys working on a resolution? & when will this be fixed? Q11. Almost 20 days ago, you guys announced that you will be moving the remaining crypto to new wallets & will publish blockchain addresses, What’s taking so long & meanwhile can you publish addresses where these crypto are currently stored for transparency? Q12. A few crypto addresses were not being tracked on Live Coingabbar POR, why did this happen? Why this was never shared before? Can you please make these addresses public for transparency? Q13. Can you please publish the Financials of Zattai for the last 3 years for transparency? Hope this helps & Wazirx Team answers at least a few of them.

Aditya Singh

42,103 görüntüleme • 1 yıl önce