Readit News logoReadit News
WASDx commented on Kotlin creator's new language: talk to LLMs in specs, not English   codespeak.dev/... · Posted by u/souvlakee
lifis · 16 hours ago
As far as I can tell it's not a new language, but rather an alternative workflow for LLM-based development along with a tool that implements it.

The idea, IIUC, seems to be that instead of directly telling an LLM agent how to change the code, you keep markdown "spec" files describing what the code does and then the "codespeak" tool runs a diff on the spec files and tells the agent to make those changes; then you check the code and commit both updated specs and code.

It has the advantage that the prompts are all saved along with the source rather than lost, and in a format that lets you also look at the whole current specification.

The limitation seems to be that you can't modify the code yourself if you want the spec to reflect it (and also can't do LLM-driven changes that refer to the actual code), and also that in general it's not guaranteed that the spec actually reflects all important things about the program, so the code does also potentially contain "source" information (for example, maybe your want the background of a GUI to be white and it is so because the LLM happened to choose that, but it's not written in the spec).

The latter can maybe be mitigated by doing multiple generations and checking them all, but that multiplies LLM and verification costs.

Also it seems that the tool severely limits the configurability of the agentic generation process, although that's just a limitation of the specific tool.

WASDx · 11 hours ago
I think these limitations could be addressed by allowing trivial manual adjustments to the generated code before committing. And/or allowing for trivial code changes without a spec change. The judgement of "trivial" being that it still follows the spec and does not add functionality mandating a spec change. I haven't checked if they support any of this but I would be frustrated not being allowed to make such a small code change, say to fix an off-by-one error that I recently got from LLM output. The code change would be smaller than the spec change.

Cool idea overall, an incremental psuedocode compiler. Interesting to see how well it scales.

I can also see a hybrid solution with non-specced code files for things where the size of code and spec would be the same, like for enums or mapping tables.

WASDx commented on Elasticsearch was never a database   paradedb.com/blog/elastic... · Posted by u/jamesgresql
PedroBatista · 2 months ago
I really never understood how people could store very important information in ES like it was a database.

Even if they don't understand what ES is and what a "normal" database is, I'm sure some of those people run into issues where their "db" got either corrupted of lost data even when testing and building their system around it. This is and was general knowledge at the time, it was no secret that from time to time things got corrupted and indexes needed to be rebuilt.

Doesn't happen all the time, but way greater than zero times and it's understandable because Lucene is not a DB engine or "DB grade" storage engine, they had other more important things to solve in their domain.

So when I read stories of data loss and things going South, I don't have sympathy for anyone involved other than the unsuspecting final clients. These people knew or more or less knew and choose to ignore and be lazy.

WASDx · 2 months ago
I've managed a 100+ node cluster for years without seeing any corruption. Where are you getting this from?
WASDx commented on Antislop: A framework for eliminating repetitive patterns in language models   arxiv.org/abs/2510.15061... · Posted by u/Der_Einzige
atourgates · 5 months ago
I've been using ChatGPT fairly regularly for about a year. Mostly as an editor/brainstorming-partner/copy-reviewer.

Lots of things have changed in that year, but the things that haven't are:

* So, so many em-dashes. All over the place. (I've tried various ways to get it to stop. None of them have worked long term).

* Random emojis.

* Affirmations at the start of messages. ("That's a great idea!") With a brief pause when 5 launched. But it's back and worse than ever now.

* Weird adjectives it gets stuck on like "deep experience".

* Randomly bolded words.

Honestly, it's kind of helpful because it makes it really easy to recognize content that people have copied and pasted out of ChatGPT. But apart from that, it's wild to me that a $500bn company hasn't managed to fix those persistent challenges over the course of a year.

WASDx · 5 months ago
You can customize it to get rid of all that. I set it to the "Robot" personality and a custom instruction to "No fluff and politeness. Be short and get straight to the point. Don't overuse bold font for emphasis."
WASDx commented on Ask HN: Does anyone else notice YouTube causing 100% CPU usage and stattering?    · Posted by u/NooneAtAll3
liquidise · 6 months ago
Disabling “Ambient Mode” in the settings helps cpu usage a lot on my intel MBA.
WASDx · 6 months ago
Same. I recall the "stable volume" setting also eating cpu.
WASDx commented on How we replaced Elasticsearch and MongoDB with Rust and RocksDB   radar.com/blog/high-perfo... · Posted by u/j_kao
unsuitable · 7 months ago
In my experience Elastic Search lacks fundamental tooling, like a CLI that copies data between nodes.
WASDx · 7 months ago
The `/_cluster/reroute` endpoint lets you do that with a curl. We have aliases for common operations so I've never felt that I lack a CLI. I'm happy with Elasticsearch overall having a few years of experience.
WASDx commented on QUIC for the kernel   lwn.net/Articles/1029851/... · Posted by u/Bogdanp
WASDx · 7 months ago
I recall this article on QUIC disadvantages: https://www.reddit.com/r/programming/comments/1g7vv66/quic_i...

Seems like this is a step in the right direction to resole some of those issues. I suppose nothing is preventing it from getting hardware support in future network cards as well.

WASDx commented on Show HN: Psychedelic animation generator; (p)art of your next trip   collidingscopes.github.io... · Posted by u/getToTheChopin
OracB7 · a year ago
Nice! Where does one learn how to do this kind of thing (aside from the fractals)?
WASDx · a year ago
https://iquilezles.org/ is a legend, see the articles and video tutorials.

Aside from shadertoy I use https://glslsandbox.com/ (for some reason it has https errors now). It's the same concept and it has a lot of submissions that are more basic than shardertoy where you can easily change lines and see what happens.

My intuition for these kind of shaders: They are just pure functions mapping an x,y coordinate to a color (optionally making use of time and cursor position). From this you can derive anything, like drawing a circle by choosing black or white depending on the distance from the center. There is a lot of intuition to gain and it's fun playing around, because as long as it compiles you will see something and you are likely to be surprised about what you accidentally made. Very rewarding.

WASDx commented on The sorry state of Java deserialization   marginalia.nu/log/a_110_j... · Posted by u/kevincox
amluto · a year ago
> Making a header with the city string mapped to an integer would dramatically shrink the file and speed up parsing.

Indeed, Parquet will do this for you if you let it.

I also wonder how good Java is at optimizing closure creation in a loop, as in:

    k -> new ResultObserver()
The vast majority of those closures are created and never called. C++ might optimize this well if calling a template but has basically no chance if the parameter is an std::function. Java probably has more ability to optimize it, but I don’t know whether it actually does so.

WASDx · a year ago
The closure itself is only being created once, it's essentially a singleton. Only if it would capture variables it would have to be recreated every iteration.
WASDx commented on Ask HN: Does having a betting/gambling company in your CV hurt your career?    · Posted by u/suddengunter
WASDx · 2 years ago
I would say no, but I wouldn't want to work there for ethical reasons either way.

u/WASDx

KarmaCake day147May 29, 2022View Original