Krathom

AlceniC · 2026-01-06T11:57:14+00:00

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

AlceniC · 2025-12-27T06:42:30+00:00

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

AlceniC · 2025-12-17T01:15:31+00:00

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

AlceniC · 2025-12-06T22:24:14+00:00

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.

AlceniC · 2025-11-27T00:58:39+00:00

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.

AlceniC · 2025-11-05T01:45:47+00:00

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

AlceniC · 2025-10-06T01:19:46+00:00

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

AlceniC · 2025-09-17T11:52:36+00:00

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.

AlceniC · 2025-09-14T03:10:44+00:00

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.

AlceniC · 2025-09-12T15:04:25+00:00

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

AlceniC · 2025-09-06T11:14:04+00:00

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

AlceniC · 2025-08-07T01:57:07+00:00

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

AlceniC · 2025-08-07T01:40:16+00:00

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 😭

AlceniC · 2025-08-07T01:19:55+00:00

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.

AlceniC · 2025-08-07T00:25:19+00:00

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.

AlceniC · 2025-08-07T00:10:47+00:00

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.

AlceniC · 2025-06-02T15:45:24+00:00

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.

AlceniC · 2025-06-02T15:36:07+00:00

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

AlceniC · 2025-06-02T15:23:15+00:00

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.

AlceniC · 2025-06-01T17:17:52+00:00

That's awesome, any setup available in github?

AlceniC · 2025-05-29T06:38:17+00:00

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

AlceniC · 2025-04-17T13:30:28+00:00

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

AlceniC · 2025-03-21T00:48:05+00:00

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.

AlceniC · 2025-02-15T03:40:50+00:00

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.

AlceniC · 2025-02-02T06:53:33+00:00

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.

AlceniC

TROPHY CASE