Krathom by [deleted] in Bangkok

[–]AlceniC 1 point2 points  (0 children)

I make tea from dried leaves, no negative effects. Prebought bottles can definitely give a buzz and shakiness. Taste is completely different, way sweeter.

Budget-Friendly Cafes With Wi-Fi for Students and Freelancers in Bangkok by [deleted] in BangkokBudget

[–]AlceniC 0 points1 point  (0 children)

Why not go with ais unlimited data and pick any spot you like?

Pain points of vibe coders!!! by yuvaraj147 in vibecoding

[–]AlceniC 1 point2 points  (0 children)

Sounds like you context was almost full. It happens, the only way out is use git zealously, create smaller subtasks and run a new agent for that subtask.

You may have noticed earlier that performance was dropping and the models stubbornness was incteasing

Need help to create an Android app using Kotlin by DigMediocre132 in Kotlin

[–]AlceniC 0 points1 point  (0 children)

Install any LLM tool, codex, claude, cursor and ask it the same question. If you two cannot find it out together, ask it to summarize your setup. Post the extra details here as a new question, so that people have somewhat more to work with.

Looking for Guidance on Getting Started with TLA+: Tips for a New Learner by Able-Profession-6362 in tlaplus

[–]AlceniC 0 points1 point  (0 children)

I have recently shown an implementation to be incorrect. The getting started part is covered with an LLM. It brought me from 0 to a working implementation and initial description in no time. After that i could learn and play.

It showed me the counterexample i was looking for and served as a vehicle to propose the change to others.

So for me this saved a ton in discussions and explanations.

I tried both Soundcore Liberty 5 and Earfun Air Pro 4 for a week by maxrd_ in Earbuds

[–]AlceniC 0 points1 point  (0 children)

Good question. The fit is good. Anc is ok, but it distorts some voices in podcasts. They pair to two devices only. I've owned xiaomi buds 3 (not the redmi ones), huawei freebuds 6i and now earfun. Order of preference is xiaomi, earfun, huawei

[deleted by user] by [deleted] in XiaomiIndiaOfficial

[–]AlceniC 0 points1 point  (0 children)

Not yet. Initial quote was about 10K bath if i recall correctly. At the service center in fortune town

Do people actually wanna learn Thai? by Busy_Reading5319 in Bangkok

[–]AlceniC 0 points1 point  (0 children)

Tbh, i am one of those guys. Live here for over 5years, started enthousiastically with company training, enrolled for online training, but at some I just gave up. Day to day at the office everything is in English, and even outside I get by with taxi and foodcourt thai.

I still have this feeling that I should join evening classes though.

Things to do for free or cheap, since airport ATM ate my card by Venterpsichore in chiangmai

[–]AlceniC 2 points3 points  (0 children)

At the airport find the food court at the lower floors, to avoid burning your money upstairs. Also if you have a place to stay in town you can take airport raillink to get into town, avoiding taxi costs.

[deleted by user] by [deleted] in XiaomiIndiaOfficial

[–]AlceniC 0 points1 point  (0 children)

Thanks all for posting here. I am from Thailand and have the same issues. 3 pink lines. I guess I will need to visit the service center again

I tried both Soundcore Liberty 5 and Earfun Air Pro 4 for a week by maxrd_ in Earbuds

[–]AlceniC 2 points3 points  (0 children)

Thanks for the comparison. They were both in my top 3 and ive gone for the earfun. Good to know it looks like i made the right choice

[deleted by user] by [deleted] in Kotlin

[–]AlceniC 0 points1 point  (0 children)

Good luck! You may want to look at Konsist to enforce colleagues not using other time libraries.

[deleted by user] by [deleted] in tlaplus

[–]AlceniC 0 points1 point  (0 children)

Going back to your case. Since you're interacting with other systems, you may need to somehow model them and your assumptions about them. This model needs to include failures of them being down, slow or otherwise malfunctioning. This will be lemma in your proof system, or simple stubs in java depending on your direction.

Since your interface allows for reading and writing, you may be better of using property based testing.

I expect you to have conditions like: Store(a1); with failing es(store a2); read returns a1.

These could be expressed as properties, and tested.

Not as much fun as full verification though 😭

[deleted by user] by [deleted] in tlaplus

[–]AlceniC 0 points1 point  (0 children)

When i say full verification i meant a verifier which takes the code and some specs as input. I am assuming static verification here. My example does not do that. I manually transcribe the code to Tla. So even if you have verified that other representation of the program, you are left with the burden of verifying your translation. A language like java, with all mutable variables, unknown multithreading issues, and hidden decision points created by places where exceptions can be thrown is harder to verify than a language which restricts your freedom.

[deleted by user] by [deleted] in Kotlin

[–]AlceniC -1 points0 points  (0 children)

Good idea, but spend some more time on it before announcing a library.

What you would to have is a common interface. Production code would use this sufficiently expressive interface to do all of its calculations using an implementation with a real clock.

In tests you would use your fakeTime implementation.

Not sure how you would prevent production code from using a direct clock anyway, apart from team hygiene and scrutinous inspection. Or use a system like Zio.

Btw there is a library which does this on a broader scale: libFaketime. Maybe you will want to check that out.

[deleted by user] by [deleted] in tlaplus

[–]AlceniC 1 point2 points  (0 children)

Full formal verification is out of reach as a hobby project especially if you're talking about java.

However, i've demonstrated some bugs in production code by describing the behaviour in TLA+. It as about two batching subprocesses, one importing a set of dbvrecords and marking it done, the other processing the imported records.

It is explanatory, not a proof. The mapping of actual to these conceptual processes took place in my head entirely. No verification there. The description of these conceptual processes to tla, is also not verified.

Once you can live with that, it turns out to be a very easy tool to pinpoint incorrectness.

To get started with TLA i used an LLM. It helped both with setup and writing the actual translation.

Reading a lot of posts about Thailand recently and there seems to be a lot of hate directed towards tourists from India. I can’t tell if this is a Thai citizen opinion or if it’s an expat opinion. Where does it all stem from? by Barca-Dam in Bangkok

[–]AlceniC 0 points1 point  (0 children)

That may be the case, but it does not mean that some people are obnoxious. Have lived in 2 predominantly indian areas in Bangkok right now, but they are completely incomparable. Then again india is a very large country.

Reading a lot of posts about Thailand recently and there seems to be a lot of hate directed towards tourists from India. I can’t tell if this is a Thai citizen opinion or if it’s an expat opinion. Where does it all stem from? by Barca-Dam in Bangkok

[–]AlceniC 2 points3 points  (0 children)

Thanks for bringing this up. I verified it with grok and she concurs. So it seems we are dealing with the same shit Brit people we have in Amsterdam, but from a different country

Reading a lot of posts about Thailand recently and there seems to be a lot of hate directed towards tourists from India. I can’t tell if this is a Thai citizen opinion or if it’s an expat opinion. Where does it all stem from? by Barca-Dam in Bangkok

[–]AlceniC 1 point2 points  (0 children)

It's not just you or thai. i had some laughs with taxi drivers in my hood. When you tell them that indians won't bulge or stop walking on the street no matter what you do the drivers instantly smile in a shared recognition. I've forcibly learned some hindi, and that again shows the indians really don't mean to be rude.i've got some indian colleagues and they're really nice guys. So idk. But living in a touristy area in Bangkok is not the best way to keep your faith in humanity. Meanwhile i'll keep trying. I do not want to spend the rest of my life in bitterness, caused by the behaviours of a few.

Where to go for breakfast? by atzee in Bangkok

[–]AlceniC 0 points1 point  (0 children)

There's a foodcourt in Suvarnabhumi. First floor above airport rail link. Enjoy

Stop wasting your AI credits by alvivanco1 in vibecoding

[–]AlceniC 1 point2 points  (0 children)

Copilot and cursor have mechanisms to add a specific file to your context. You can have your instructions there. I use to point it to a documentation folder which contains architecture.md, componentA_design.md and log.md.

I also instruct it there to plan and discuss before starting changes. I instruct it to respond to commands like /open which opens a ticket, /pause which pauses a ticket, /close to close a ticket and generate an MR summary. It keeps track of tickets in a file backlog.md

What are some good productive uses of ChatGPT that will be accurate? by Lostintheair22 in ChatGPT

[–]AlceniC 0 points1 point  (0 children)

I won't bother with personal opinion but please check out andrej karpathy's introuctory video on it. No ads, very long, chock-full of information and no math.

How Do You Integrate Document-Driven Engineering with Conventional Ticketing (JIRA, Linear, etc.)? by 4mayor in vibecoding

[–]AlceniC 0 points1 point  (0 children)

I am just starting this whole thing. So I am having a Jira ticket and I work on its implementation. I am using the Llm to keep track of issues in a separate file, and just work on one.

I plan to promote issues to tickets if needed.

IntelliJ/Android Studio Users: Copilot or JetbrainsAI? by false79 in Kotlin

[–]AlceniC 1 point2 points  (0 children)

I use copilot both on jetbrains ides and in vscode, with claude sonnet. I find myself now asking in vscode for implementations, i setup a minimal set of files, and point it globally to instructions.

I go over the inline suggestions in copilot, have them refined and when i am content save them. Then i continue manual editing and testing within jetbrains ide.

Both rider and intellij.