ReadList

ReadList

Up-to-date readlist

(keep updated…)

Updated 2023/8/20

Long time no see! Tomorrow the 23 fall semster would begin which is my last semester at UIUC, desperated at building nothing during the summer 🥲! I am actively looking for a job at United States now, and so the last few weeks I’ve been busy learnign algorithms and mostly data structures, prepare for interviews for both financial analyst job and SDE(very little prob to get tho), many times I open my blog and want to share some great articles, there would be another voice keep pushing me to may be do another leetcode or learn to build something that would shred some light on my resume, kinda burn out these days, life would be better after tommorrow!

Updated 2023/7/16

Another week passed, I’ve been learning and preparing a new long series blog about Typeclass in functional programmings, and learning networks at the same time, a lot of readings this week, time to share some grea materials with you, also plz wait for my new blogs!

titleFranks’s Note
Scala with CatsWhen started learning Ocaml, Typeclass always seems mysterious to me, time to have soem concrete examples
A Chat-App built with Rust and ReactTry to learn some Network staff seriously, I create a fork and switch to Axum Framework, check it out: Axum-Chat
High Performance Browser NetworkingI discovered this book from HN, a really good one to learn some Network Knowledge not so theoratical
LLAMA 2: an incredible open-source LLMLlama2 is really a good progress on Open AGI!

A lot of reading this week, but mostly from books, still got so many things to learn and code, hope you enjoy the good articles. If you want to take a look of my new drafted blog, hit the draft button on blogs page, also considering refactor my blog page to better deliver contents, see you next week!

Updated 2023/7/16

Haven’t update my “readlist” for several weeks, after two weeks of unconciciousness and experience a spicial weekend(my very first birthday with my loved girlfriend🤟), my first time enjoy a concert: Ed sheeran and special guset Eminem, have a taste of the original mon’s spaghetti🤩.

Back to our main topic: MY READLIST, read a lot of articles mostly some examples of Rust best pratcice and some practical categorical theory:

titleFranks’s Note
Intro To Effect, Part 1: What Is Effect?Effect-ts seems to be a hyper in Typescript communities, try to grasp the idea behind Effect
Intro to fp-ts, part 1: Higher-Kinded TypesUnderstand the basic of FP-TS: the fundation behind Effect-ts
Deref Confusion—Unusually high astonishment by Rust standardsNot fully understanded, would take a look twice
dust: Design and Deploy Large Language Model Apps with RustAs the LangChain Lib being criticize for bloated abstraction, new tools are discovered
Cats: TypeLevel Scalafp-ts lib is not well-documented, so I resorted to Scala for better documentation of Functional type implementation

I read a lot of articles during last week, and I don’t use any readlater tools for now, I simple create two telegram group and share the articles in the group, if you would like to read some articles I read, please DM me, I could add you in my group, let me know if you want to discuss!

PS: I also add a functionality in my blog page: draft button, if you have suggestions on my draft blogs, please discuss with me

Updated 2023/6/24

Time really flys, another week of doing nothing. Try to write something several times, but end up fixing UI stuff. Are there better ways to write small things ? Or should I create a pinned threads for small thoughts. But I would update some interest articles here:

  1. 1. Ocaml in Rust way, another blog from JaneStreet Compiler Team
  2. 2. Simple View Transition API on MPA
  3. 3. Ocaml: Polymorphism and its limitations
  4. 4. Why doesn’t TypeScript properly type Object.keys?

Enjoy your weekend!

Updated 2023/5/29

Spent several days on reading Telegraml source code(a lib that build telegram bot), frustrated by not understanding how api gets called…

Read an excellent blog from JaneStreet Oxidizing Ocaml: Locality talking about their approach for better GC, and been back to GADT from Real World Ocaml (have a better grasp now as I am more comfortable with Ocaml Syntax).

Next article would be about either GADT or Backtracking(yeah I start learning algos again, see how far I could go this time)

Updated 2023/5/17

I post some interesting tree structures today, check it out: Trees In Ocaml

Updated 2023/5/10

I’ve been up to Ocaml or more generally Functional Programming for a while. Been captured by the simplicity of functional expression and beautiful pattern matching style. However, the lack of study materials in various forms as well as the notorious lack of documentations discourage me a lot, I want to share some materials I think is usful here to help me catch up with FP better(this table would be updated frequently):

clickable titlecontentlevel
Real World OcamlUseful, Real-world example of Ocaml⭐⭐⭐
OCaml Programming: Correct + Efficient + BeautifulIntro Level FP course
CS3110: 15SPPrevious material of the second one, very useful⭐⭐

I like Real World Ocaml very much and strongly recommend this one if you got interest in Ocaml and already have some programming experience, I’ve finish first 8 chapters and stucked at the 9th chapter. And overall, my feeling of the examples given in the book is that easy ones are easy and make natural sense to me but some examples like the ones given in GADTs are hard to follow as polymorphic type have not been discussed at this chapter. I would write an article on my learnings of OCaml and stop here to talk about other resources.

My first interest into Ocaml actually came from some random tweet sharing the OCaml Programming: Correct + Efficient + Beautiful course along with their textbook. But it is too intro at my first glance, many details are put into syntax, not language itself, which encourage me to start reading the official docs(as I did for the Julia lang, huge shoutout to julia docs, really good work). And you may know the result🫠. (The docs are so bad, not even have search function). Later, I stucked by Real World Ocaml, I went back to this book to find out that some important concept are discussed clearly.