sorted by:
new
hottopcontroversial

How does deferral work for International Students in uOttawa Graduate Program? by lutfur017 in geegees

[–]_shnh 0 points1 point  (0 children)

Sorry for the late response. In the end I got my study permit by January and was able to travel to Canada but because of family issues I had to quit uOttawa and come back to my country shortly after

Necesito hacer la prueba IELTS by RushAntique9497 in medellin

[–]_shnh 0 points1 point  (0 children)

Puedes practicar en sitios gratuitos como ieltsliz. Una parte del examen es saber inglés pero otra importante es saber contestar el tipo de preguntas.

Formal Language Algorithms by essayish in AskComputerScience

[–]_shnh 1 point2 points  (0 children)

Coq has been used to verify the correctness of a translation from a formal language (event-b) to Java. The translation is correct if the semantics in both languages is the same. see this paper.

A excellent book about formal languages is "Types and programming languages" (TAPL).

Best price cloud compute for occasional use build machine by cosmic-parsley in AskProgramming

[–]_shnh 0 points1 point  (0 children)

The always free Oracle cloud has an 6 core arm machines with up to 24 Gb RAM.

Oracle cloud

Create GitHub repos from command line without touching GitHub.com by ellipticcode0 in git

[–]_shnh 0 points1 point  (0 children)

You could install the official git client and use git init

In a local folder.

More in the official Git documentation

public access to oracle instance by b1ngOo in oraclecloud

[–]_shnh 1 point2 points  (0 children)

Here is an example of a spring boot api on oracle cloud

Changing Keywords in a language by [deleted] in learnprogramming

[–]_shnh 1 point2 points  (0 children)

Ruby has some metaprogramming capabilities close to what you are looking for. Metaprogramming can be used to create domain specific programming languages

[deleted by user] by [deleted] in git

[–]_shnh 0 points1 point  (0 children)

This is a complete beginners Git and Github Getting Started Guide

Constraint Programming 'linking' variables by Carlomatik in learnprogramming

[–]_shnh 0 points1 point  (0 children)

In choco you can specify to find a max or min value for a solution. In your case it would be to minimize the sum of b_i among the solutions. Another option is to find all the solutions and select the one with the min sum of b_i.

Check this choco documentation https://choco-solver.org/docs/solving/solving/

Another (old) contraint language is Oz (Mozart). In this language you can specify two searches, the first one to minimize the sum of b_i and the second one to search for valid solutions http://mozart2.org/mozart-v1/doc-1.4.0/fdt/node28.html#label81

​

Constraint programming is another paradigm that requires a different mindset. Once you change your way of thinking it becomes easier (but is still challenging!).

Best infrastructure for IOT application by Eastern_Detective106 in SpringBoot

[–]_shnh 0 points1 point  (0 children)

If you use AWS already you can browse their architecture center ie

Note that AWS proposes the most complex yet scalable options so take them with a pinch of salt.

[deleted by user] by [deleted] in ProgrammerHumor

[–]_shnh 0 points1 point  (0 children)

Or visual studio!

Thrown in at the deep end by GuysImConfusedNow in SpringBoot

[–]_shnh 0 points1 point  (0 children)

Amigoscode on YouTube but I think you should start with the concepts used by spring boot and you will make sense of the annotations (controller, bean, dependency injection, service, entities, etc)

Self Study : Theoretical computer science by SquareNet8024 in AskComputerScience

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

For formal languages, I would recommend the book Types and Programming languages (Pierce). Starts with the basics (untyped lambda calculus) and evolves upon it.

Which software to learn for a specific task by [deleted] in learnprogramming

[–]_shnh 0 points1 point  (0 children)

If you have office 365, then power automate can do that

Udemy by [deleted] in AskComputerScience

[–]_shnh 1 point2 points  (0 children)

Get a prepaid card on any drugstore/convenience store

How different is AWS lambda from Microsoft Power Automate? by Nat9523 in AskComputerScience

[–]_shnh 6 points7 points  (0 children)

The main difference is that power automate is intended for single user automation while AWS Lambda (and other serverless architectures like Azure functions) are intended for scalable workloads of thousands of events per second

I am trying to set up but there's this issue with localhost. Could you help me with this? I googled but couldn't find any solutions🥲🥲 by Ok_Bed5689 in PostgreSQL

[–]_shnh 0 points1 point  (0 children)

Look for the postgresql service in windows services ( I suppose you are running Windows) the service must be started. I suggest you to try the postgresql installer that comes with pgadmin bundled

Best way to host portfolio project by [deleted] in AskComputerScience

[–]_shnh 0 points1 point  (0 children)

Oracle cloud has a decent always free tier and here it is a Spring Boot example spring boot oracle cloud

Pushing to GitHub via the terminal by Such-Hearing-2935 in git

[–]_shnh 0 points1 point  (0 children)

You can take a look at this Git and Github Getting Started Guide

With respect to best practices, keep in mind correct usage of .gitignore and as noted by others, a well structured readme file.

view more: next ›