HackerTrans
トップ新着トレンドコメント過去質問紹介求人

akkad33

697 カルマ登録 4 年前

投稿

Ask HN: Good fast IDE for reading and navigating code in multiple languages

6 ポイント·投稿者 akkad33·9 日前·10 コメント

Ask HN: Is formal verification of practical use in real world projects?

5 ポイント·投稿者 akkad33·7 か月前·4 コメント

[untitled]

1 ポイント·投稿者 akkad33·11 か月前·0 コメント

Ask HN: Do you think programming as a job will end soon and if so, how soon?

5 ポイント·投稿者 akkad33·11 か月前·13 コメント

Ask HN: Transition from back end to programming language research

1 ポイント·投稿者 akkad33·11 か月前·0 コメント

Simple Programming Languages

ryanbrewer.dev
3 ポイント·投稿者 akkad33·11 か月前·0 コメント

Explicit tail call optimization in Rust on nightly merged

github.com
1 ポイント·投稿者 akkad33·11 か月前·0 コメント

Ask HN: Is there a language that is simple and empowers developer productivity?

3 ポイント·投稿者 akkad33·12 か月前·11 コメント

Piccolo: Powerful async ORM, query builder, and admin GUI

piccolo-orm.com
5 ポイント·投稿者 akkad33·12 か月前·0 コメント

The Jank programming language

jank-lang.org
423 ポイント·投稿者 akkad33·昨年·137 コメント

Litestar 2.16.0

docs.litestar.dev
2 ポイント·投稿者 akkad33·昨年·0 コメント

Ask HN: Which language best compromise between pragmatic and innovative?

1 ポイント·投稿者 akkad33·昨年·2 コメント

コメント

akkad33
·4 日前·議論
Great game.
akkad33
·8 日前·議論
I find all of them slow especially when 3 language servers are running
akkad33
·8 日前·議論
What is nil-punning?
akkad33
·9 日前·議論
Nvim is good but requires set up which now I delegate to Claude

Emacs feels too slow and not good if you have carpel tunnel syndrome
akkad33
·先月·議論
It looks very crowded and the paragraphs are off
akkad33
·2 か月前·議論
Pointing them to docs? Which is anyway what stack overflow answers did?
akkad33
·2 か月前·議論
Or Reddit. I don't know about Claude but Gemini has given me answers that are verbatim comments from Reddit.
akkad33
·2 か月前·議論
One thinking is most people writing software who are not software engineers prefer using AI because they don't think software is valuable in itself, it's only a way to solve a problem. So there are two camps, the other being people who like to solve "software problems". But this latter has been solved by AI
akkad33
·3 か月前·議論
You can use Ocaml today and achieve all the correctness
akkad33
·4 か月前·議論
But good data structure is not always evident from the get go. And if your types are too specific it would make future development hard if the specs change. This is what I struggle with
akkad33
·4 か月前·議論
This website is asking me for permissions on my phone. Why?
akkad33
·5 か月前·議論
Google translate was not very good, it didn't get context. Deepl was better
akkad33
·5 か月前·議論
And many people don't know what Google stands for. Just like they probably didn't care what AOL stands for, or MSN
akkad33
·5 か月前·議論
I have started using chatgpt for everything from financial planning to holiday planning to product purchase. Whenever I think I hit something useful I add it to memory. I'm a "go" plan user because they had a promotional offer that gave me free access to the plan for a year. Will I continue after one year? Truth is nothing I have in chatgpt cannot be recreated elsewhere. But if I care about keeping those memories I might. I think the real challenge for me now is finding back out conversations, it seems their history search is quite bad.
akkad33
·6 か月前·議論
I don't think that would stop people
akkad33
·6 か月前·議論
Are you talking about Macron?
akkad33
·6 か月前·議論
It didn't say BLM supporter. It says black lives matter. If you take offence to that, that's a you problem
akkad33
·6 か月前·議論
How is it hosted if you don't mind saying
akkad33
·6 か月前·議論
Wake up and smell the coffee: fsharp is dead. Look at the release notes of fsharp. It's laughable for a major version update. It's maintained by like 5 people working in eastern Europe and they only do maintenance updates basically. C# is getting all its features and DotNet is basically c# oriented anyway. So even in the past you had to learn C# to program in F#
akkad33
·6 か月前·議論
What's wrong with using AI to write code?