alaaalawi
Joined 7 years ago
Karma
23
Submissions
36
Member since
Aug 10
Recent submissions
Comment · 2 days ago
I'm curiuos on what is going on with Oracle database how many bugs the clanker are surfacing
Comment · 4 months ago
YMMV but an LLM can hullicinate bug in programmed medical devices which may kill people in unexpected ways
Comment · 5 months ago
you may try https://github.com/nothings/stb/blob/master/stb_ds.h. a single header implementation for both dynamic array and string based hash table
Comment · 6 months ago
it is that not that they will take, as they do not have will of their own. greed does put them to work
Comment · 6 months ago
is it like society does not owe any body money for puting sand gravel cement and water. we are talking about products not their assembly
Comment · 6 months ago
you can check also XDS modula2/oberon-2 programming system.
is an optimizing complier
https://github.com/excelsior-oss/xds
Comment · 1 year ago
chill bro. spending some time on Elm is not the end of the world and not a serious issue! the question was about learning and not concerned about production and this was one of the available examples to maybe have a look at.
Comment · 1 year ago
Also another option for fun in the browser Elm. check out similar older project https://github.com/Malax/elmboy
Comment · 1 year ago
one of the options for fast iterations would be Forth. in its circles, it famous for generation targets and cross compiling between archs.
seaech the net you shold find plenty.
Comment · 1 year ago
I concur. not intermediate code directly machine code, even no tests.
It will take human specs internally understand them (maybe formal methods of reasoning) and keep chatting with the user asking about any gaps (you. mentioned a and c, what about b) or ask for clarification on inconsistencies (i.e. in point 16 you mentioned that and in point 50 you mentioned this, to my limited understanding doesn't this contradicts? for example if we have that based on point 16 and have that based point 50,how do you resolve it. in short will act as business analysis with no (imagined) ego or annoyance in the middle by the user. from talk to walk
Comment · 1 year ago
this looks similar
http://web.archive.org/web/20080211102811/http://www.pcthike...
Comment · 1 year ago
Achieving Correctness is really satisfying. however it is hard and difficult. IMOH this does in general polarize the scene (proving fanatics on one extreme and the other side who are not even testing the code)
IMHO flushing out what you are designing does help and goes along the way of having fewer bugs. one old relatively yet easy and accessible formal toolkit which helpful in flushing out process is Z notation . one of the accessible books, old yet an easy read and rewarding is
"Software Development with Z. A practical approach to formal methods in software engineering"
https://archive.org/details/softwaredevelopm0000word/page/n1... .
there are other notations developed later. but its simplicity and easiness even while scribling on paper or word processor gets me back to using it every now and then
Comment · 2 years ago
MMV But for me at least i tend to use it for brain storming, aka intial sailing through a subject/topic/task, getting intial idea. the idea is to use as an admin who is guided by you throgh chatting. for example im given a task to translate a user description/requirement to pull something from the database. like (simplistic example) what are the top grossing films by category within each rating. so igive the AI the database tables schema and give it literally the user requirement. and see what it gave back and compare it with how I'll do it. ask it more for optimizations what else can be done more.... etc.. keep chating with the AI until I'm bored ;)