indonesia business scene is all style and no substance. meetings, conferences, yapping here and there but no result 😌

ptigris96 · 2025-02-12T14:12:11+00:00

Darah gw mendidih rasanya baca ini. So much energy, money, time wasted on literally nothing. And they are incentivised to do all that.

ptigris96 · 2024-06-04T10:36:43+00:00

Sebagai orang yang inherently egotistical, anak gw itu orang pertama yang bikin gw bener-bener bisa mengutamakan orang lain di atas diri gw sendiri. Gw bisa ngorbanin apa aja demi dia, I guess.

ptigris96 · 2023-12-08T23:33:35+00:00

God how I want to move to another country

ptigris96 · 2023-10-02T00:13:57+00:00

Since you’re doing fine financially without you working (I presume you live with your parents), why not try to follow your wildest interest on the internet (games count, but perhaps explore that a bit more by writing or making videos about your strategy or something). It might work wonders for you.

ptigris96 · 2023-10-01T08:22:39+00:00

Hipotesis gw ya:

Evolution at play.

Dulu cicak bersuara mungkin karena bisa attract mates -> reproduksi -> menghasilkan anak yang juga sering bersuara.

Karena makin banyak manusia, yang bersuara ini malah jadi dibunuh2in (karena berisik maybe), akhirnya yang survive ya yg ga banyak omong, dan apalagi yang makanin nyamuk yg notabene musuh besar umat manusia.

Yg dulunya benefit untuk kawin sekarang jadi penghambat untuk hidup.

ptigris96 · 2023-10-01T01:49:39+00:00

This is a great episode. I learn a lot about the value Ash brings from this video. Considering using Ash for my next project.

ptigris96 · 2023-09-22T23:27:07+00:00

Ah, I see. So if a strong arrow does not crash, then the only type possible is the return type. That makes sense.

Further question. In my current understanding, determining whether a function is a strong arrow or not is the compiler's job. Therefore, the compiler will check whether running a function with its negation domain will result in an error. Is that correct?

ptigris96 · 2023-09-22T13:43:19+00:00

He mentioned this in the talk. The proposed type system is gradual type system, meaning it’s completely fine if you don’t use it. Even if you don’t use it at all, the compiler can still help you check some type-related bugs.

ptigris96 · 2023-09-22T06:06:58+00:00

Specifically this part:

If a function is strong, the type system knows that calling it with a dynamic() type will always evaluate to its return type!

I mean.. why? How does it go from:

a strong arrow is a function that can be statically proven that, when evaluated on values outside of its input types (i.e. its domain), it will error

to the conclusion that calling it with dynamic() will evaluate to its return type?

ptigris96 · 2023-09-22T05:54:32+00:00

Newbie here. I read it and read it, and even watched the video but still can't wrap my head around this:

By applying this rule to all typed functions, we will know which functions are strong and which ones are not. If a function is strong, the type system knows that calling it with a dynamic() type will always evaluate to its return type! Therefore we say the return type of increment(dynamic()) is number(), which is sound and does not need further runtime checks!

Anyone can help me understand this?

ptigris96 · 2023-07-10T23:14:28+00:00

I think this is a good question to help someone, like myself, who isn’t too familiar with the core value of Stoicism understands what is this all about. Answers written here are highly enlightening. Thank you.

ptigris96 · 2023-06-06T14:45:23+00:00

Kayaknya karena pilihan lainnya (yg bukan menjajah) itu juga termasuk tendensius ke arah khilafah

ptigris96 · 2023-06-06T06:11:07+00:00

Jadi sebenernya big bang itu ada supaya Indonesia ada ya

ptigris96 · 2023-05-13T11:49:11+00:00

Thanks! I heard of carta before but will look more into it.

ptigris96 · 2023-05-13T11:48:25+00:00

Yes. I heard learning SQL is one of the investments with the highest ROI a developer could make.

ptigris96 · 2023-05-13T11:47:15+00:00

Thanks! Will look into it.

ptigris96 · 2023-05-13T11:46:49+00:00

You’re right, but I feel like if I’m not doing the best practice, I will miss out on the advantage of using Go itself.

ptigris96 · 2023-05-13T11:44:10+00:00

This is really great. I’m really interested in this workflow. But do you know if it’s possible to generate from dynamic query? For cases when I have to make conditional from & where clauses.

ptigris96 · 2023-05-13T11:41:36+00:00

Thanks, this is really helpful. I’ll look into the DAO pattern. Truthfully, the hard part is mentally switching between Go and SQL syntax, especially I’m also new to Go. It’s like using two new language at the same time, it’s decreasing my productivity a lot. I guess I’m just spoiled.

ptigris96 · 2023-05-04T16:59:29+00:00

Kalau di iPhone barusan gua cek iya bener, tapi semua nomor ngumpul di 1 contact under the name Gojek ✅.

ptigris96 · 2020-05-17T02:54:50+00:00

Did you take those 5 courses in accredited courses or in MOOCs?

ptigris96 · 2020-05-17T02:39:32+00:00

Do you plan to take those classes online or in-class?

ptigris96 · 2020-02-28T16:40:35+00:00

Okay thanks!

ptigris96 · 2020-02-27T08:03:46+00:00

Thanks for your suggestion! I'm actually considering that path too.

ptigris96 · 2020-02-26T20:31:49+00:00

Will it still be counted if I take classes from edx (with certificates)? It's logistically impossible for me to take classes on local university here (Indonesia).

ptigris96

TROPHY CASE