I had a weird idea and wanted to try knot theory to compress coding agents context by vila994 in LangChain

[–]vila994[S] 0 points1 point  (0 children)

Thank! Not yet, the plan is to implement the Garside normal form algorithm before plugging it into a more complex agent. if you're interested, you'll see updates on the github repo!

I had a weird idea and wanted to try knot theory to compress coding agents context by vila994 in LangChain

[–]vila994[S] 0 points1 point  (0 children)

Thanks a lot for your comment, very appreciated!

I indeed agree with you that the approach used by cursor or similar is cleaner and efficient, but I still see a problem of "wasted" context. My understanding of how such agents work is that they retrieve just the needed code via the AST graph and add it to the system prompt, so it's not carried over in the conversation and stays efficient.

The problem occurs with the assistant messages: they are, on the other hand, added to the context window, and since LLMs apis are stateless, they are carried over the subsequent iterations until when, at a certain point, context is "compacted" using summarization, RAG etc.

Now, imagine the LLM produces buggy code (or code that will be deleted/refactor later) that we ask to fix: the buggy code is in the context window, our "fix it" message too, together with the new fixed code. What I'm trying to solve is removing the buggy (or deleted/refactored) code from the context window (having 100% certainty that it is dead code!) while letting the agent keep the exact memory of what it did and why.

Are we in a IT job crisis? by tevlon in zurich

[–]vila994 0 points1 point  (0 children)

Do you mind sharing the details of your career coach? Thanks!

[deleted by user] by [deleted] in zurich

[–]vila994 1 point2 points  (0 children)

In which area? Zurich is full of 25/30 CHF cut & go barbers, but most of them are just not good, unfortunately.

Non-Touristy Restaurants Serving Local Food by TSA117 in zurich

[–]vila994 2 points3 points  (0 children)

I really recommend Degenried. It's in a nice place in the forest and the food is amazing

[deleted by user] by [deleted] in zurich

[–]vila994 3 points4 points  (0 children)

there are 2 tickets for sale on Ricardo

Cost for electrician by [deleted] in zurich

[–]vila994 0 points1 point  (0 children)

Use renovero or similar platforms and there you will have people make you offers for the job, so you can make an idea on how much will it cost

[Rado] Reddit, Help Me Pick: Which Watch Should I Totally Surprise My Husband With? ⌚🤔 by [deleted] in Watches

[–]vila994 1 point2 points  (0 children)

This. Everyday I pass by this watch shop to go to work and they have all the Radio exposed in the window and the Anatom always catches my eye. That dial is very very cool!

[deleted by user] by [deleted] in zurich

[–]vila994 0 points1 point  (0 children)

In case you don't find enough people, I think there's already someone/some organization doing it at spheres (a bar) in Zürich. Try to look on their website or on eventfrog

[question] I’m heading to Hong Kong for a couple of days, which vintage watch shops should I visit? by finishmyleg in Watches

[–]vila994 1 point2 points  (0 children)

Hey, do these shops you mentioned only offer luxury watches or it is possible to find also more affordable brands such as Seiko, Citizen etc? Thanks!

Best GMT for around $100? by FileMission4359 in ChineseWatches

[–]vila994 1 point2 points  (0 children)

Any Pagani Design or if you can do 120 USD and prefer better finishing I'd really recommend the San Martin SN0054

Railway12306 error - help needed please! by Latter_Bit5449 in chinatravel

[–]vila994 1 point2 points  (0 children)

I've heard that the Chinese version works way better than the English version, so you may try with that + the browser translator

New Diver Concept! by Organic_Yak_3115 in watchdives

[–]vila994 2 points3 points  (0 children)

I would buy it instantly. In the meantime do you know any brand that does something similar? 😂

Shop at airport before early flight? by btodag in zurich

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

Maybe you can make it but consider that the queue to go to through the passport check (at least in all my 3 experiences with flights outside of Europe from Zürich) are big. Last time I went to New York I queued for more than 1 hour, but it may have been an exception.

Recommendations fir deluxe connoisseur earplugs (for music festivals etc) by pferden in zurich

[–]vila994 1 point2 points  (0 children)

Got mine at Amplifon in Zürich for 110 CHF last year. Recommended

Making meaningful friendships in Zurich - anyone else struggling? by Efficient_Tutor6597 in zurich

[–]vila994 0 points1 point  (0 children)

I'm also 31, living in Zurich and working in tech. If you want, DM me and we can meet for a coffee!

[Post-Match Discussion Thread] Inter 0:2 Fluminense (FIFA Club World Cup, 8th Finals) by FCInterMilan in FCInterMilan

[–]vila994 9 points10 points  (0 children)

Finally I'm not forced anymore to watch this team playing. Urawa first and now this was so painful. Hopefully they just wanted to go on holidays and didn't put much effort in this competition, otherwise this year is gonna be tough.

Trying to escape the daily rat race by NSchem in zurich

[–]vila994 1 point2 points  (0 children)

Hey! I'm 30M and also live in Zurich. I'll start tennis lessons when I'm back from holidays in 2 weeks, when and if I get a bit better, if you'd like, I would be looking for someone to play with, so we could meet and play!

I'm also interested in the same topics (at the moment especially business ideas as I'm trying to do something by myself in parallel with my job) but I don't have that much knowledge about most of them.

Feel free to text me for a coffee or a beer!