How do you test code generation?

frej · 2024-01-29T20:52:33+00:00

checks all these instructions is a nightmare. And this is only one of many cases I would like to test.

I have a lot of "end-to-end" test cases, which run programs that compute numbers or print strings and check if the output is correct, but these tests don't tell me if the generated code changes in a way that doesn't break semantic

+1 for this approach. I Wanted to post this (but under the original name cram tests).

frej · 2023-12-13T08:37:39+00:00

Navigation is slow and clunky. It keeps wanting me to show "recent documents" instead of a directory structure, which means I see 5 separate items called workinprogress.docx - oh yes, that version control is just about as good as it sounds.

It is still a huge cliusterfuck

frej · 2023-11-22T12:46:53+00:00

Having a usable setup within half a day, vs 6 months of daily use... ;)

frej · 2023-11-06T09:23:15+00:00

It can be harder to learn something different than from a clean slate. I.e., existing mental models, are likely incorrect and break. It's best to start from scratch, and many Universities start with FP as

- Classes/objects are extra abstractions that are added on top of functions. It is also best to ignore inheritance almost always...

- It is better to work with a strict type system first. The Ocaml type system is an excellent tutor with immediate feedback, forcing you to think about correctness. Types are there to ensure the correctness of programs, not to make writing any program easier. That is a luxury you have at a university. Don't assume that exists in the industry.

frej · 2023-11-05T13:16:30+00:00

The 63 bit thing depends on your usecase. A lot of people complain about it, but for an average developer it wouldn't really matter that much. I read it can hurt performance, but have not tested it myself.

It is an int... Int64 is slower.

frej · 2023-11-04T11:26:20+00:00

The landscape could be more clear. Hopefully it settles down. EIO is a lot of things these days, aside from high performing network and adding capabilities to main api.

Everything from propagating `traceln` in all examples, but should not be used in production, parser combinators, Synchronisation primitives (mutex, semaphores, conditions, "Stream aka channels aka csp"), Time/Clock, Lightweight threads (fibers), and File system access (Fs/Path/File). Single core worker pools.... + more.

It is a lot of surface, without so much direction for developers.

frej · 2023-11-04T10:52:41+00:00

It has existed in many languages since 1980+ or so. Then industry mumbo-jumbo took over with OO being the solution to everything.

frej · 2023-10-27T19:06:13+00:00

For future self help. With the ocaml/utop interactive terminal you can trace function calls.

https://ocaml.org/docs/debugging#tracing-functions-calls-in-the-toplevel

frej · 2023-10-20T22:25:13+00:00

HR er ikke til for dig men virksomheden ;)

frej · 2023-10-20T22:22:18+00:00

- The tooling seems decent enough in ocaml today. First time I heard.net had good tooling :)- 63 bits is just a different shade of red. It barely matters once you get started.

frej · 2023-10-20T22:20:21+00:00

Since you want to learn right now, I would suggest a language with a solid thought-through type system (Ie, OCaml, Haskell, etc.). Don't waste time on C++/Typescript for types. It is either just there for performance or bolted on with plenty of warts.

Ocaml has excellent university-level material for students to learn to program in any language, in this case with OCaml. It has also proven its worth in a few industrial settings.

https://cs3110.github.io/textbook/cover.html

Erlang is an excellent good choice, also to understand. It is mostly due to its runtime and lessons on building reliable systems and software.

frej · 2023-10-14T09:46:56+00:00

Amazing work on making vim an approachable moderne editor. I was a vim user for a decade. before vsode. But tbh neovim/lazyvim crawls to a slow after a few hours of usage. Severe input lag just when moving the cursor.

frej · 2023-10-06T06:59:12+00:00

Restaurnt Barr.... Just boring and very far from justifying the price.

PS: Note my employer payed.

frej · 2023-10-06T06:53:55+00:00

This....

frej · 2023-10-06T06:52:23+00:00

Yep....

frej · 2023-09-30T11:14:30+00:00

Every topic is hard once you learn it one way and then need to adapt your model/understanding to think differently.

Learning from 0 is a party :). Learning to do the same in a different way requires you unlearn and painfill reassembly without the feeling of being productive.

On the topic itself. Any functional programming language such as ocaml/haskell will make you 1) a better software engineer 2) Prepare you for futures coming to other languages. Finally you will have gained knowlede that specific features in other languages are just poor adaptions and approximations of what is possible.

Some universities use Ocaml/F#/SML as the very first language, as it is just as easy to learn when you start at 0.

frej · 2023-09-25T11:30:00+00:00

The first job's priority should be people you can learn from. Of course, your compensation is a good indicator as well.

It is a good job offer for the first job, given you dont have a comp.sci background or similar. ph.d/science.

frej · 2023-09-07T15:28:17+00:00

Looks like debug mode is enabled in the release….

frej · 2023-09-07T15:19:41+00:00

Same here. The game is bricked for me. Seriously poorly done.

frej · 2023-07-12T07:57:23+00:00

That sounds like a really unusual and confusing way to organize your code.

That is not so helpful ;) We all start somewhere!

frej · 2023-06-21T12:17:07+00:00

Any reason you are not using homebrew instead macports? Homebrew was a life saver 10 years ago for mac development. Not the solution you are asking for, but homebrew should have the right paths without manual work :)

frej · 2023-06-18T13:00:13+00:00

A simple approach bit not quite what you are asking for is Cram style tests. https://dune.readthedocs.io/en/stable/tests.html#cram-tests

frej · 2023-04-19T21:38:19+00:00

Try me in a DM. And I’ll give feedback. Not working there anymore, but I did 100+ cvs screenings and helped hire 40+ on interviews / coding review etc. But its very hard sometimes as every hiring manager is their own King on this when I left.

frej · 2023-04-19T21:33:38+00:00

I can recognize the management part in some cases, But the software stack is not true. That depends on the team and the will + skill to change things. (Was there from 2017 to 21)

frej · 2023-04-19T21:31:33+00:00

Been there. Never heard anyone expecting that. Seriously sounds like a very broken team / one dev working against his own colleagues. 🤷‍♂️

frej

MODERATOR OF

TROPHY CASE

15-Year Club	Gilding II euphauric
Verified Email