/dpt/ - Daily Programming Thread

nth for what are you working on /g/

>>59718611
nth - 1 for Lisp is the most powerful programming language.

>>>/r9k/35991037
Programming colony.

I'm doing C# stuff but I think g will laugh at me for it

>>59718634
were right here lad

>>59718642
show me what you're working on anon!

When is it ever required to have three levels of pointer in any software writte. in C?

>>59718687
Whenever you need a pointer to a pointer to a pointer.

>>59718687

Three star programming is the bedrock of C.

>>59718687
Three dimensions data structure
But that's a stretch

File: Selection_090.png (40KB, 193x162px) Image search: [Google]

40KB, 193x162px

>>59718594
taking a clients existing infrastructure and refactoring it for docker in AWS. We're using saltstack for config management and I'm still researching the best way to implement a discovery layer in ECS. Eventually I think the application itself is a suite of financial analyst tools.

What are essential datatypes?

>>59718687
you can easily have 5 or 6 levels deep in C++ OOP
pointer to an object which has an array of pointers that point to other objects that have their own pointers to things, etc

How much of an issue is email spam via SMTP these days? Surely not anywhere near as bad as the 90s, right?

>>59718766
what does OOP have to do with this

>>59718797
because it's easy with OOP to have the situation I just described

I'm making a ping pong game out of 3 programs that send signals to each other.
2 programs, ping.c and pong.c, send each other signals SIGUSR1 and SIGUSR2, and a different program pingpong.c will receive a second SIGUSR1&2 to create the "ping!" and "pong!" sound, think of this program as a pingpong table. My problem is finding the pid of the three programs so the signals can be properly be sent to each other.

>>59718813
OOP doesn't seem to have anything to do with this

>>59718772
every IP range that has sent out spam email now appears on a blacklist
the big email companies filter out emails coming from those IPs

every provider that has IPs not on the blacklist make damn sure that you don't spam with their IPs
so yeah, it's not as big an issue as it once was

>>59718772
I used to work for an email filter company. it's still the same bullshit it's always been in great quantities. It just gets ignored more heavily.

>>59718715
>>59718718
You ppl never attended college did you?
Instead of giving straight example you are all bragging about it.

>>59718840
it does, because you have to go through 5 objects to get to the data you want

>>59718864
you could be doing that with just structs

>>59718828
Read /proc, parse the information and look for the name of your second process.

>>59718893
sure, but C programmers don't use the design patterns that appear in the OOP paradigm that results in such scenarios so often

>>59718687
Linked lists :)

>>59718846
>>59718857
Makes sense why the IT company for the place I work at said no to my boss for this project, then. I work for a small finance company and had to send out a bunch of emails to business associates with attachments, so I figured it would be fine since it was controlled. Guess not, though, didn't know how deep the email filtering game went.

why is C so f*cking comfy lads? Q_Q

>>59718904
I was considering some sort of pipe that sends the pid of the processes to the other two programs, but I worry it will get too complex.

>>59719008
seems like the whole point of doing something like that would be interprocess communication so pipes seem like a natural thing to use..

>>59718863

3D array of char (which would be a 2D array of strings).

> He uses for loops instead of tail recursion

>>59718965
if you want some shady options, what you can do is take a chapter from a book, and put it in the html of the email in a way that doesn't make it readily visible to the reader. this will help defeat/poison bayesian text filters they might have. If you go through the time to create proper DNS records for all your stuff (SPF, TXT, DKIM, etc) then your emails will be 'weighted' less likely to just be spam--even if they are marketing. If you wanna do it successfully and legit just look up the laws and standards for 'politely' sending email.

>>59719164
>his hardware doesn't support tail recursion

>>59718828
To preface, this is one of those awful posts where someone (you) says "I'm doing something like this, how do I solve X problem" and someone else (me), instead of solving problem X, says "have you tried doing this other thing instead?". So:

Why are you using signals for inter-process communication in this case? It seems like sockets would be a better fit.

Here is an incredibly useful document for the (more general) problem you are trying to solve:
http://beej.us/guide/bgipc/output/html/singlepage/bgipc.html

>>59719197
Not that guy, but I was doing some research and wanted to collect process data using taskstats structs, and my god getting that netlink socket to work correctly was a pain in the ass. Maybe it was due to how little I use IPC in general, but correctly filling out headers, subheaders, data, ect was a headache.

Writing a thread spammer in elixir that creates copies of an image with a pixel changed to bypass duplicate filter

Will test it on /dpt/ soon

>>59719285
pls no

>>59719285
what about captcha?

i've been getting interested in AI but I never coded anything and never saw examples, how would a small miner AI would work for example? a miner knows he has to pick rocks, gives priorities to each kind of rock and then transport them to a location?

>>59719164
>he is a special snowflake

https://stackoverflow.com/insights/survey/2017/#developer-profile

>>59719285
and captcha?

>>59719493
4chan pass

File: 1478747714357.jpg (119KB, 1440x810px) Image search: [Google]

119KB, 1440x810px

>2017
>using an unsound language

>>59719511
I'll report you so you get you pass taken and lose however much they cost :^)

niqqas i just got a budget of 2000$ from work to spend on a laptop i'll be using.
any recs?

>>59719584
why do you think I didn't put it on yet?
catch up :^)

@59719584
@59719645
>:^)
>>>/r/ibbit

>>59719045
That's true. I'll look up piping
>>59719197
It's an assignment, and I think it would be a nice test to see how I can programmatically set up two processes to handle interactions between each other.

File: 1405453675071.jpg (17KB, 411x292px) Image search: [Google]

17KB, 411x292px

How do I convert

unsigned long long

to char array in C?

>>59719618
Lisp Machine

>>59719452
Read up on fsm and pathfinding, this should be enough for this.

>>59719721
>Turing complete garbage
No.

>>59719716
Unions.

>>59719716
use union with a char pointer

i maed a script to download imgur albums

$ curl -s 'https://imgur.com/a/AO1e0' | egrep -o '"hash":"[^\"]*","title":"","[a-z]*":null,"width":[0-9]*,"height":[0-9]*,"size":[0-9]*,"ext":"[^\"]*' | sed 's/^.*sh...\([^\"]*\)\".*ext...\(.*\)$/https:\/\/i.imgur.com\/\1\2/g' | xargs -n 1 -P 16 wget -q -nc

File: tinylispcomputer2.jpg (239KB, 800x450px) Image search: [Google]

239KB, 800x450px

>>59719721
lisp machine you say?

http://hackaday.com/2016/09/13/microlisp-lisp-for-the-avr/

>>59719729
>>59719733
never really used unions, but I guess that's the point where I should try it.

File: 1473373799640.jpg (38KB, 663x579px) Image search: [Google]

38KB, 663x579px

>>59719741

>>59719772
?
:3

File: 1475853362167.png (514KB, 532x582px) Image search: [Google]

514KB, 532x582px

>>59719747
>http://hackaday.com/2016/09/13/microlisp-lisp-for-the-avr/
fuck i'm trying this. TY M8

>>59719733
Union with char ARRAY, not pointer.

>>59719741
a cute!

>>59719790
it's a good script it just makes me sad.

https://api.imgur.com/endpoints

use API's they are there for you, they let you do things like be polite with your requests.

>>59719801
actually pointer will work just as good, even give him the ability to use array indices (*p[0] and so forward), you should read more on how C handles memory

>>59719824

If you deference a pointer in a union with an integer type, you are not grabbing the nth byte of the integer. You are adding n to the integer and dereferencing it, no matter what garbage it points to.

>>59719824
actually famalam the square brackets dereference the pointer so *p[0] would not give you the first element in the array, but whatever is in the memory address of p[0]

>>59719881
>>59719923
yeah looks like I was wrong, carry on

Did they really expect you to calculate your own hex bitmasks by hand before GCC added binary literals?

>>59719977
Do you have any problems with hex<->bin conversion?

File: 1484469749641.gif (342KB, 500x280px) Image search: [Google]

342KB, 500x280px

What (good) language should I learn?

>>59718522
>Why do people not like Pascal?
Because they learned it in school and they hate being reminded of school

>>59720039
what is your use case? I wouldn't recommend R to somebody building infrastructure.

>>59720039
not rust

>>59720014
am i supposed to convert to dec and then to hex?

>>59720039
C

>>59720055
I just want to learn something interesting.

>>59719977

Considering that binary -> hex is a trivial operation, and is more readable... yes.

>>59720061

No. Convert straight from bin to hex and vice versa. Every 4 bits maps perfectly to one hex character.

>>59719977
>not being able to reasonably calculate a value in hex in your head

KYS. Here's each bit in a hex mask:

1, 2, 4, 8, 10, 20, 40, 80

Is there a free realtime-ish stock trading API available?

>>59720077
a lot of people here are saying C which is fine (I started with C in highschool) but if it's your first time getting into programming languages in general I'd recommend Python. It's probably the lowest barrier to entry that you can actually do useful things with in a production setting. rapid dev, lots of stable libs, lots of good docs and examples and such.

>>59718594
Got a question, any interested in helping?

>>59720039
Javascript if you want a job

>>59720095
Why would they hand out that information for free?
All the free ones are delayed 20 minutes on purpose.

Still working on my imageboard:
4kev.org
Send banners!

>>59720095
Yahoo has a finance API which changes from minute to minute I think

File: 1490980659028.jpg (96KB, 550x456px) Image search: [Google]

96KB, 550x456px

>>59720114
maybe in India

File: 62088905_p0.png (2MB, 992x1653px) Image search: [Google]

2MB, 992x1653px

>>59720039
Lua

>>59720108 (You)
C# .Net

>>59720117
A 20 minute delay is acceptable.
>>59720133
I'll look into that, thanks.

>>59720105
He said a good language.

>>59720123
http://4kev.org/threads/7.php

>>59720114
plebs please leave

>>59720039
>>59720077
C# lets you make things that Just Werk™, and it's comfy to use.

Just saying you want a new language without any sort of motivation on what kind of projects you're after is a bit silly.

>>59720105
Python is a horrible language. It's made more horrible by the fact that a lot of substandard programmers use it, to the point where it's much much easier to generate total and utter crap with it.

>>59720269
I specifically said "good" to avoid this kind of retardation.

File: life_is_strange.png (8KB, 501x354px) Image search: [Google]

8KB, 501x354px

>>59718594
>What are you working on, /g/?

Currently I am trying to understand python.

I have a txt-file containing date,time,number (all space seperated).
A few lines are:
### Comment: Changed things

So after I import the txt file I want to change the strings to numbers.
Obviously "###" and "Comment" will cause problems. Therefore I indroduce a simple if which checks for three #.
Yet python is not registering ### and runs into an error.

with open('Slow_test.txt',"r") as txt:
    a=txt.read().splitlines()

del a[0:4] # cutting the legend

N=len(a)-1
marker=[]

for i in range(0,N):
    print(a[i][0])
    if a[i][0] == "###":
        marker.append(i)
        print("A     " + str(i) + "   "  + a[i][0])
    else:
        print("B     " + str(i) + "   "  + a[i][0])
        a[i]=a[i].split() #splits entries to date in [0], time in [1] and so on
        a[i][1]=a[i][1][0:5]#a[i][j] a[i][1] is the time (12:34:56) and we only need hour:minute.
        a[i][1]=a[i][1].split(":") # a[i][1] now we split hours and minutes into different units.
        for j in range(0,2): # converte to int
            a[i][1][j]=int(a[i][1][j])

The printing I do to check manually if my index is wrong but here is where the fun starts:

print(a[i][0])

within the script only gives me 1(one) #.
So python seems to see

 if "#"=="###" 

(which is wrong).
However when I call

print(a[i][0])

in the cmd.exe it gives me "###".
Similarly:

if a[i][0]=="###":
         print("a")

works just fine in cmd.exe
I have inclused a screenshot where the .py-script is running into else all the time, but the mantual if is working as intended.

Did anyone of you experience something like this before?

File: dont ask to ask.png (67KB, 869x725px) Image search: [Google]

67KB, 869x725px

>>59720108
>>59720183
Don't ask to ask, dipshit.

>>59720342
>IRC

this is so 1990s

>>59720364
So?
You are on the Web 1.0 site, by the way.

>>59720342
New here,
It's fucking lot of lines, 70% organized, gets privileges on load, but, since I've never been on any IT school, I can't get passed windows 10 smartscreen Legally, how does one gets passed that Legally? How and what are signatures used and are?

I'm implementing some disk scheduler algorithms for class and also working on my first big and properly programmed game using C++ and libtcod. By properly I mean it's actually event driven with an event handler and uses an entity-component system. I hope this is something I'll actually work on for a while, I'm planning on making it really easy to add in items and I'm trying to learn how to incorporate scripting into this.

I set myself a personal project to test my knowledge and hopefully solve some problems from a design-first perspective.

I now realise that what I set myself is super repetitive and mundane, and what should have taken a week is stretching on towards a month because I keep putting it off because I'm unable to convince myself of the value of doing it, but don't want to abandon it and move on with learning because I think I'm just trying to find excuses to do less work.

Should I just kill myself /g/?

>>59720398
That sounds shady as hell.

Why would someone help you do something that is probably illegal?

Clearly, English isn't your first language, and it sounds like you're trying to create something that bypasses the built-in security checks of the OS. What you're after is basically disabling UAP, which would need to be done with a Group Policy or an RMM tool with root level security on those machines.

>>59720393
A Web 1.0 site that has lots of 2.0 functionality allowing scripts to make it virtually a 2.0 site.

>>59720421
>what I set myself is super repetitive and mundane
In what way?

Are you writing a large amount of boilerplate that could be done with a tool instead?

>>59718594
Is there an ARM instruction that allows me to do something like:

cursor = ((cursor + 1) & 0x1f)

It's for a CPU busy measurement and I'm obsessed with efficiency.

>>59720332
what type of file is this? you should seriously consider just using the csv module it'll make your life a hell of a lot easier.

File: internet.jpg (273KB, 972x1076px) Image search: [Google]

273KB, 972x1076px

>>59720393
>Web 1.0

>>59720424
Not bypass, as I said Legally, only.
I wanna make money with this, make a name for myself, so.. you know, can't do black hat shit

>>59720452 (You)
Also, disabling the security is easy, but still not legal.

Will dis 4chan /prog/ ever come back? I miss FrozenVoid.

>>59720445
Just a basic txt file with content like this:
19.03.17 10:18:54 270 e
19.03.17 11:32:33 101 e
19.03.17 13:47:49 382 l
19.03.17 13:48:19 433 e
and \r\n at the end of each line.
You are right. Right now the module sounds tempting.

Yet I'd still like to understand this different behaviour of

 print(a[i][0]) 

depenting on where I call it.

Why is gprbuild so nice to use?

>>59720621
What did she mean by this?

>>59720511
are you sure there isn't something strange going on with your interpreter? You might want to make the '###' a variable with utf-8 encoding or something to make sure it's not doing some windows malarky on your string.

otherwise a[i][0] is always going to be the first element of the ith element of the array you're in called a

>>59720559
Cause it was designed by engineers and not hippie NEETs

>agdg is shilling me OOP and calling me an autist when I say OOP is shit

How do I make a calculator that sums 1 digit numbers with 1 digit results, in Assembler?

>>59719164
I'm not a dweeb.

File: c.png (5KB, 375x375px) Image search: [Google]

5KB, 375x375px

C# is the best programming language.

>>59720648
I already had some encoding problems since I being german is suffering (ä.ö.ü are tranformed into \x81... I used iso-8859-15 to encode. uft-8 was not working for me.

>>59720842
kys

File: 1484864470780.png (222KB, 564x334px) Image search: [Google]

222KB, 564x334px

>>59719164
>using loops or recursion at all

Do you guys ever mix languages when writing a project to essentially make a preprocessor for your code in order to generate more code before finally compiling?

For example maybe you're using Java which has no preprocessor/macros and you write a script in Perl/CL/Python/etc that goes through and looks for special syntax to parse and generate more Java code to reduce killing yourself with cruise control code (ie: getters/setters/etc)

>>59720936

Then what low level iteration primitives do you use?

File: vtables.png (42KB, 1180x677px) Image search: [Google]

42KB, 1180x677px

>>59718687
Late to the party, but here's an example from an old project (it's in C++, but close enough). Let's say you have a pointer to an object, and you know it has a vtable, and you need to call functions from the vtable you could do something like pic related (and need to use a triple void pointer in the process). I didn't write this function, but it's fairly simple.

>>59720781
Shameless self bump.
The OS teacher didnt tell us how to do it and we are clueless.

>>59720942
Did some basic latex code using matlab once.

>>59720845
while it's unfortunate you will probably continue to hit encoding errors with iso-8859-1* you might have to make your code more 'universal' Another thing you could try is make a b'' string and hardcode the byte values you are looking for?

>>59720853
no

people always tell me python is shit but why's it shit for a hobbyist learning only one language?

>>59720942
Yes, but I typically avoid it since other people will look at it and wonder why my code is mixing two languages in one file and be confused. Also if you're generating functions it fucks with your IDEs auto-complete/error checking.

>>59721021
> In Assembler
ouch.

Jeff Duntemann writes amazing Assembly language books I learned off of those. I think he has some example x86 assembler written for that. google it up

>>59720967
A fixpoint operator, but the type system prevents me from using it as a general recursion/looping mechanism

>>59721051
python have
Syntax-oriented indentation,
This is really bad.

>>59720967
Church encoding.

File: dt170403.gif (119KB, 900x280px) Image search: [Google]

119KB, 900x280px

LOL

>>59718687
simulationist vidya

>>59721097
If you can't use it for looping, how are you supposed to do general purpose iteration? Do you even have a Turing Complete language?

>>59721118
So... recursion?

>>59721097
Which language?

>>59721164

Nat : Type
Nat = {A : Type} -> A -> (A -> A) -> A

zero : Nat
zero z s = z

succ : Nat -> Nat
succ m z s = s (m z s)

add : Nat -> Nat -> Nat
add m n = n m succ

Where do you see recursion?

>>59721164
I can use it for recursion on smaller subterms, just not for general recursion.
>Do you even have a Turing Complete language?
Of course not, I'm not some sort of retard.

>>59721168
It doesn't have a name yet.

>>59721021
What you trying to do? What do you mean by 1 digit, like base 10 0-9? Are your operands in memory or do you need to do IO?

>>59721104
enforcing readable code is bad?
don't get me wrong coming from C it took a lot of getting used to but I've literally never had a single issue ever related to indentation. If you're using a real text editor too and have your indentation pre-defined I don't see how it'd ever come up.

>>59721205
I need to use an IO. I enter numbers 0-9, and output a number 0-9.
Eg: 8+1, or 4+4, but not 1+9.

>>59721033
As a hobby programmer (and beginner in python at that) I have a lot of reading to do if I want to fully understand your advise.

But thanks for the warning regarding iso-8859-15. I will keep that in mind and try again to get uft-8 up and running.
On a similar note:
when I run:
ping www.google.de >test.txt
the file deals with äöü in a strange way.
>ausgefhrt fr www.google...

>>59721268
sorry for doubleposting.
>ausgefhrt fr www.google...
In this part there should be 2 ü. However neither texteditor nor notepad++ show them. Yet there are characters in between the letters.

>>59721220
>enforcing readable code is bad?
It's not bad, it's simply impossible.

>>59721181
It looks like coq. Is it coq?

>>59721323
It's nothing in particular.

>>59721323
Looks more like Idris.

>>59721264
That is a big hassle. How much do you know of anything to do with OSes? Basically, you will need to generate an interrupt, calling into the syscall IH. Before that, you will need to allocate/set some flags in call registers. It's been awhile, but you will prob. need to demarcate some buffer, set some flags, ect, then call sys_read twice, to get both operands. After you do your computation, you then need to do a sys_write, again passing in some args. Quick google: http://blog.rchapman.org/posts/Linux_System_Call_Table_for_x86_64/

>>59721314
uh so if it's impossible wtf is PEP8? and the slew of other programming standards that exist? what of those?

>>59720842
I love C#, but there is no "best programming language" without specifying criteria.

>>59720444

You can't do it in one instruction. You can do it in two.

>>59721181

Did you seriously just call something that's not a number a Nat? That's gross, dude. Don't be gross.

>>59721197

>Of course not, I'm not some sort of retard.
Well if you're not using turing complete languages, your language does less than what a turing complete language is capable of, and your opinion about this language can be discarded.

>>59719747
Oh fuck, I just came everywhere. Post of the week.

>>59721483
>something that's not a number
Where?

>>59721516

Nat = {A : Type} -> A -> (A -> A) -> A

Numbers are not functions and functions are not numbers. You should define Nat as a subtype of the primitive integer type.

>>59721593
They are equivalent.

What is docker and why should I use it to leverage my dynamic scaling to modern application development standards?

>>59721673
cross team hypermedia synergy

>>59721593
You're an idiot ruby

That's a Nat encoding

>>59720039
Swift/Java if you want a job
And by job I mean a mobile code monkey pajeet.
I hate my life. Almost as much as I hate XCode.
Money and demand is good though.

>>59721673
From what I read last year, basically a 'container' that tries to do away with "Well it works on MY machine". I think it basically loads all the dependencies needed to run and your program into a neat little package you can pass around.

>>59721593
That dumb fuck nigger doesn't know what a number is.

>>59721628

Right, you can simulate a number system with a fake number system (emphasis fake) out of functions or sets or whatever... but you shouldn't. The compiler can't tell that you want to use functions as a number, and optimize it to its own integral type. Also, you need to write functions to convert your garbage system into a real number system so you can print your results.

>>59721722

It is an inefficient encoding to represent a number, but it is not a number.

Should i drop out of school and just program 24 hours a day for like 6 months? I feel like that would be a better application of my time.

>>59721805
nobody is going to even look at your resume without a degree

>>59721767
The utility in all that depends on what you are doing. If you are theorem proving then there's no need for any of that. Of course, in a general purpose programming language, you would want to do what you said.

None of this changes the fact that, when you're talking in mathematical terms, there's more to being a number than being a hardware integer or floating point number.

>>59721767
>It is an inefficient encoding to represent a number, but it is not a number.
It is a number, a natural number specifically.
That a list for example is an inefficient container doesn't mean it's not a container

type Nat = forall a. (a -> a) -> a -> a

zeroC :: Nat
succC :: Nat -> Nat
addC  :: Nat -> Nat -> Nat

zeroC    = \f x -> x
succC n  = \f x -> f (n f x)
addC a b = \f x -> a f (b f x)

ten :: Nat
ten = six `addC` (two `addC` two)
  where one = succC zeroC
        two = succC one
        six = (two `addC` two) `addC` two

toPrim :: Nat -> Int
toPrim n = n succ 0

>>59721751
But isn't statically linking for that?

>>59721821

Real turing complete languages with real hardware integers are perfectly suitable for theorem proving.

>>59721673
Rocker containers are VMs. Everything with a container is self contained.

>>59721858
>turing completeness
name one existing turing machine
i'll wait

>>59721858
Simple languages that are easy to implement and prove sound are also perfectly suitable for theorem proving.

>>59721673
docker containers are like VM's that share the host's resources instead of provisioning them on top of the host. I work with it at scale in AWS. I don't care what other people say docker is NOT ideal for containerizing applications. If you have a microservice you wrote yourself put it in a docker container. If I have to show up to another shop and see their horrific Drupal/Wordpress docker images I'll shoot myself.

>>59721841
It's more extreme then that, I think they can also hold lots of information about the running environment, i.e. network settings, path variables, ect.

Post yfw you realize everything is just a tagged union in disguise.

File: 232828374.jpg (56KB, 579x567px) Image search: [Google]

56KB, 579x567px

>>59721927

>>59721927
My language requires me to define a type as tagged, if I want to be tagged.

>>59721767
It's actually the usual definition of integers according to set theory. It's more "real" than binary encoding.

>>59721927
that's wrong though

>>59721906
>I don't care what other people say docker is NOT ideal for containerizing applications.
>If you have a microservice you wrote yourself put it in a docker container.
isnt this a contradiction?

>>59718594

Regarding Java, I have a console interface that takes user input to make a selection from a series of options.

In your opinion, should I use a series of case inputs for each of the menus or should I move the selection into a method and return the selection to the main method? I'm thinking that the case selection is simplest but I want to implement it in a way that isn't retarded and I'm still in special education pre-school when it comes to programming.

>>59720942
For Java?
Java have compiler macros in the form of annotations. Project Lombok is exactly what you want. Seriously. Take the time you need to set it up for you and your IDE.

If you just want to use some basic C-style macros, just use the C preprocessor. Java works with it just fine. But for about 100% of what you want to do, Lombok is the correct answer.

Why do professors not tell their students about shit like Lombok etc.? Do they want to make programming boring?

>>59721970
Prove it (you can't).
>>59721959
Your language is lying to you.

File: 1490807599573.jpg (43KB, 600x450px) Image search: [Google]

43KB, 600x450px

Why you people hate C#?

>>59721987
Do what's easiest first. If you're new to things, then more advanced, enterprise solutions is just going to make things go slowly, and make it less fun.

For a real project, you'd write something reasonably complex but you're just learning right?

>>59722027
M$

>>59721881

Well, if we make the assumption that the universe is actually infinite, if we can construct a computer with infinite RAM, we can make a C implementation that allows pointers and integers to be of infinite size.

But there isn't really much of a use case for a turing machine that actually has infinite tape. So long as it retains the abilities of iteration and conditional execution, and has a sufficiently large amount of tape, it's good enough for everything.

>>59721884

>Simple languages that are easy to implement and prove sound
Prolog.

Incidentally, I've met a professor candidate at my university who has used Prolog in proving that Rust's type system had some... issues.

But I digress, just use Prolog. It's simple as hell; it's built on predicate logic (so literally trivial to prove); it has real numbers, real strings, real lists... and it's turing complete. It's fucking built for proofs pretty much.

>>59722048
>Prolog is a programming language based on a fragment of first-order predicate logic
That's incredibly limited when it comes to theorem proving.

>>59721968

Numbers are primitives. They do not need to be defined in terms of anything other than themselves.

>>59722023
>Prove it (you can't).
A tagged union with no members has no values
A tagged union with one member is isomorphic to that member, and there is no point in calling it a union

A tagged union with more than one member requires a discriminator
If every value is just a tagged union, meaningfully so, then it would need an extra discriminator, in which case you need (every value + 1) to be a tagged union, etc

File: girls' programming accessories.png (341KB, 832x480px) Image search: [Google]

341KB, 832x480px

>>59722067
>girls in charge of knowing anything about maths or logic or programming

>>59722027
Just normal /g/ autism towards anything related to MS.

>>59722033

Yeah, I'm currently doing some first year courses at university. I have the case structure working perfectly currently, it just seems so terrible inefficient to have ten cases that all have cases within them loop through input.

Plus we can scoop up some bonus marks as we're assessed on how we use the language so I figured perhaps I'd just ask about it because my thought was that a series of cases would not be marked as highly as taking that extra time.

Either way it doesn't matter as I'm already finished with the original case way, this is just me trying to figure out some stuff on the side in my spare time. Thanks for your input man, I definitely agree with the simplest first, that's why I went with the case hah.

>>59722080
That is, unless the members are unital, in which case the tagged union only exists as a tag and therefore is just a regular union

Anyone could just say
"let e be all values"
"let t be the tagged union permitting values isomorphic to all e"
"all things may be t"

I think of a language with handy type conversions. Every variable would be converted according with one character, when needed.

variable$ - strings
variable% - floats
variable# - integers

>>59721976
No. a microservice is an application, not all applications are microservices. You don't try to put an elephant in a 8x8 cubicle is my point.

>>59722048
It does have an enterprise grade semantic web server too.
Swipl is doing its best to make Prolog relevant again. :3

>>59722027
I don't hate C#, but I really hate how everyone who praises how "fun" C# and other Microsoft technologies are have no fucking clue about what they're missing out on.

"MS SQL Server is great!"
Okay, now why is T-SQL's author not in the Hague facing charges of crimes against humanity again?

> C# is better than Java because of muh generics.
And then C#-shill (C-Shillp?) forgot that his language doesn't have enums. Which he forgot about because he doesn't use them, because the C# implementation sucks.

And so on. C# is okay, but it's not better than Java.

File: 1491045732663.jpg (90KB, 889x720px) Image search: [Google]

90KB, 889x720px

>>59721927

>>59722149
>And then C#-shill (C-Shillp?) forgot that his language doesn't have enums. Which he forgot about because he doesn't use them, because the C# implementation sucks.
Explain.

Anyone here a Rust Expert? Is Rust's macro system as powerful as Lisps or is it a midway between C preprocessor and Lisp macros?

>>59722149
C# has enum, but à la C, not à la OCaml.

>>59722173
It's not as powerful as Lisp macros but it's significantly closer to Lisp than it is to C.

>>59722027
It takes the best programing environment (loonix) and turns it into a second class citizen by:

>forcing programmers to use mono, a buggy and slow runtime to C#
>being closed source
>forced to work in the microsoft quagmire of shitty other addons with similar problems

all for the incredibly useless benefit of "Its easy to develop desktop applications for windows!" C# has the model of "use microsoft to develop programs for microsoft, or else suffer."

I'm trying to optimize some c++ code. When I run it under release mode with the visual studio compiler, it runs way faster. Is there a simple way to work out what it's doing so I can put it back into my code, without reading assembly?

>>59722107
The way I'd do it is to have a map from String to some sort of terminal-menu-type deal.

So say we have this:

class MainMenu implements CliMenu {

  // The basic program can ask any Cli-thing for its screen, which is basically how it wants the screen to look.
  @Override
  public String screen() {
    return "" +
    "Main menu: \n" +
    "  [R]un the program\n" +
    "  [E]xit\n";
  }

  // And it doesn't do anything after it writes it screen
  @Override
  public void action() {
    return;
  }

  @Override 
  public CliMenu handleInput(final String input) {
    // and here we'd put logic handling input
  }
}

The logic could either be a switch on the string, or looking for a function in a map, or what have you.

So you'd just have a basic program that grabs a console and a MainMenu.

Then, it would create a stack of menus, so you could go back, and put MainMenu at the root.

Then it would just peek at the top of the stack, write the screen, run its method, and ask for your input. When the input is given, it asks the menu on top of the stack to evaluate it, and takes the menu that it returns.

If the menu returns itself, then you don't push it onto the stack, but if it does, you do.

And then you just keep telling the top menu to draw itself, and react to your input.
It's a pretty nice way. You do need some way to tell it to pop the stack, but that's for later.
(Sentinel values would be my approach.)


That's a simple to implement way of creating a relatively robust CLi in Java with menus and stuff.

You can of course handle input with switches, but you can also specify a Map<String, CliMenu> and then just check:
> Is the input in the map?
> If so, return the menu.
> If not, return this, or CliMenus.invalidInput, or what have you.

>>59722370
You're funny, anon. If the compiler is already doing the optimization for you then you don't have to reverse engineer it. You have to worry about the optimizations only you can do, such as reducing cache misses and mispredicted branches.

>>59722172
See:
>>59722178

In C#, enums are just integers. They don't have methods, they aren't objects, and they thusly aren't very useful.
In Java an enum is an object. Thus they can have methods, they can react to things, and they're more useful.

> But this doesn't mean that C# is shit
Of course it doesn't, but C-shillps never realize that their language also have warts and weird things.

>>59722408
I know, I'm just kinda interested, and my friend recently made his assignment run a bit faster than mine, and I'm a bit competitive and want to beat him.

>>59722421
I like you.

>>59722097

1. I am not, nor have I ever claimed to be, a girl. I am a man.
2. Representing numbers as sets or functions makes sense only when you do not have access to any other primitive. But outside of set theory, numbers themselves are primitives. On a computer, we have to represent numbers as bits under the hood, but adding further abstractions on top of that is silly and inefficient. Write some Prolog or Haskell or R, and use the built-in primitive types. Chances are, whatever you are trying to prove involves numbers, not sets. If you want to reason about numbers, use numbers. Your compiler should reasonably have a correct implementation.

>>59722421
I am sure VS has a code profiler, usually you can check and see where your code spends the most amount of 'time' (by line) if that is what you're looking for (like the other dude said, change things like <list> -> <vector> for better cache utilization). There is very little chance you would be able to make sense of compiler optimized code.

>>59722421
If you're new to programming you should probably focus on things like algorithmic complexity for now.

>>59722480
>On a computer, we have to represent numbers as bits under the hood, but adding further abstractions on top of that is silly and inefficient.
Adding more primitives to a type theory makes it harder to implement it and prove it sound.

>>59722480
>outside of mathematics, numbers are ...!

numbers are just numbers
it's the properties not their application

>>59722491
Not that new, actually just worked it out, I was making a new vector, passing it in by reference, and then working with it, rather than just getting the values I wanted straight from the class, with some getters.

>>59722489
Yeah, I'm trying it out, bit confusing.

>>59722413
>In C#, enums are just integers.
That's... pretty useless.

>>59722374

Possibly the most informative thing I've ever had said to me on this board, incredibly appreciative of that. I haven't encountered stacks or peeking before but I'm going to go read up on it right now so I'm getting the gist of it properly then I'll throw some notes into my toolbox on it. Thank you for all the input, absolutely legendary, stay gold man.

not programming related but csci related and i know there's a bunch of csci majors in here, what's some good books for learning about computers? really i wanted to double major in csci and electrical engineering but they only had 3 credit hours in common. if it's talking about OS particulars then i'm not reading anything about windows but other than that i'm pretty much interested in everything

>>59722982
I really liked Parallel Computer Organization and Design, goes into depth on semi-modern CMP architectures/how important caches and cache coherency is. If you are interested in physical HW, I read Solid State Electronic Devices. Very math heavy and fairly dry, but you will get a good understanding of how/why FETs work (and the physical reasons why it's difficult to 'shrink' devices today). I think it also goes into fabrication techniques, but I didn't read that section (Had another class for it).

>>59723113
>shared memory SMP
Disgusting.

>>59722982
>>59723113
Oh ya, another good book I read (not the Disk section though) is Memory Systems: Cache, DRAM, Disk. Really in-depth look at the HW/Logic/Layout of storage.

>>59723113
>>59723397
i'll look into them, thanks m80

I unironically like java and see no reason not to.

I'm trying to work with node. I work against a SOAP webservice, and I get an object named result as a response. However, the members of this object that I'm actually interested in are wrapped in another object. Ex.:

>result
{
soapFunctionNameResult:
{
account: "savings",
accountBalance: 100
}
}

What I want is simply:

>result
{
account: "savings",
accountBalance: 100
}

for any arbitrary function; meaning that the "wrapper" object needs to be... unwrapped? or something. This would be trivial with something like reflection, since there will always only be one property of result, but I have no clue how to do this in node.js

>>59722535
Too few and the language is garbage.

>>59722536
Outside of set theory, not outside of mathematics as a whole. There is more to mathematics than just set theory.

>>59723601

var unwrapped = result.soapFunctionNameResult

>>59723601
just do obj.soapFunctionNameResult

>>59723777
For any /arbitrary/ function, though. It's a pain in the ass to write it out in full every single time I want to call a new function. It'd be so much better to just do var unwrapped = unwrapper(result), or rather, result = unwrapper(result)

Hello, /g/.
I'm currently trying to wrap my head around linked lists in Java. Right now I'm making a program that signs up people and gives them a car, maybe even multiple cars. I have to be able to delete or exchange the car between people later. Question is, should I make a "car" object or just smash it all up the "people" object? Thanks in advance.

>>59723844
ok, so you have an object that's guaranteed to have exactly one key and you don't know the name of that key? here you go:

var unwrapped; 
for (var key in result) { 
   unwrapped = result.key; 
}

>>59723586
Never heard anyone saying that other than people who know Java exclusively and refuse to learn anything else, you aren't one of those right?

retard here, how do I change the font color of some hyperlinks, I put in my html, without having to go in and change each individual hyperlink color?

>>59719653
>@
why do you do this
please explain

>>59723873
So this iterates over all objects in result (in our case, always one) and then sets unwrapped to be that key, correct? That's a perfect solution for this. Thank you.

C++ question. I have a vector that stores unique ptrs of objects of a class that has some coordinates as its member. I have a function that iterates over that vector and is supposed to return objects that are inside of a region. My question is: how do I return the objects inside of a region if I don't want them to be std::moved? Should I return a vector of raw pointers? Or should I use shared ptrs for storing them and return a vector of shared pointers?

@59723915
Lurk more.

>>59720744
agdg is a /v/ joint
you shouldn't be surprised it's full of braindead, jew-brainwashed, cuckbrained, brainlet millennial cucks who grew up on babby's first sepples/java
this idea that everyone should always do OOP all the time for everything ever is a big meme - perhaps one of the biggest memes to ever be invented in recent times
evaluate your own programming needs and then decide whether or not OOP is right for you; also understand that everything that can be done in an OOP language can also be done in a non-OOP language

>>59718687
If you need to set a ** from a function.

int tokenize(const char *str, size_t *argc, char ***argv);

>>59723586
Same lad.

>>59723878
I have coded production code in Java, C, Python, Javascript and PHP and have written in many many more as languages a hobby. Java shines above the rest because it is high level, statically typed, and extremely well tooled.

>>59723945
EXPLAIN

>>59723904
CSS

>>59721483
>>59721593
>>59721767
Standard rep of naturals in maths/ST.

Compiler is aware of hardware optimisations for naturals, please relax.

>>59718981
It doesn't use indentation to signify scope for one.

I have a problem with my C program. I have the following code:

FILE *log;
log = fopen("./log.txt", "+a");

And a txt file placed in the same dir as the program yet, when i call fputc later in the program, gbd gives me:

fputc.c: No such file or directory

I'm tearing my hair out over this, I can figure it out.

>inb4 lol C, use Rust

>>59724329
>same dir as the program
Are you running your program from the directory it's in?
File paths are done relative to your working directory, not where the program is.
>"./log.txt"
Just do "log.txt".
Also, you should really check if fopen returns NULL.

>>59724196

>standard
lolno. It's not used outside of set theory.

>>59724367
That's why I said 'standard in ST'...

>>59718687
Whenever you are writing bad software.

File: Technological Society.jpg (18KB, 200x337px) Image search: [Google]

18KB, 200x337px

>>59724374
Not that guy, but if you seek questions for your answers go to [spoiler]mpcdot.com[/spoiler] and you will learn the depths of our technological enslavement.

>>59724374
prevent another holocaust

>>59724391

You said standard in maths/ST. But it's not standard in all maths, just ST.

>>59724465
Maths specified to ST. See above about 'relaxing'.

>>59724362
I can't check fopen's value because fucking gdb can't find .gdbinit and says "No symbol "log" in the current context."

I also tryed compiling with "log.txt" as an argument for fopen and I still get a segfault.

>>59724513
Post the entire program's code.

>>59724519
https://hastebin.com/upicununaw.cpp

If I know C, Python, [spoiler]and HTML/CSS/Javascript[/spoiler], do I really need anything else? I spent some time learning C++, but it just seems ugly and unwieldy.

>>59724329
>+a
It's a+ and you likely don't need it.

>>59724561
Try to learn Prolog.

>>59724568
Holy shit! Thanks!

>>59724594
Now do my autism a favor and remove the +.

>>59724554
You definitely do not need it.

>>59724604
ok, thanks alot

In class. Wireless Communication Systems.

Learning about OFDMA and why it werks.

>>59724662
Wireless is not secure.

>>59724554
>ftell
>ftruncate
>no fseek anywhere in program
>truncating to the its current size
What are you even doing?

File: 62254a0877af8d098db3fe2f5b0b8d756a25db635df02943dc547345dae3a3f8.png (272KB, 537x695px) Image search: [Google]

272KB, 537x695px

>fgets
>fputs

How do I change the font and underline of a Hyperlink? I've can change the hyperlink font, but the underline stays black.

>>59724554
I'm just going to point out some shit unrelated to your original problem:

>.cpp
You said you were writing C. If you're going to write C, write it in a .c file.
>int ftruncate(int fd, off_t length);
>int fileno(FILE *stream);
>off_t ftello(FILE *stream);
>int fputc(int c, FILE *stream);
I don't know why you're specifying these yourself. They would have been pulled in by the headers you included.
>long tp = time (NULL);
time_t is the correct type.
>system("/bin/stty raw");
There are ways of doing this without having to use system, although it might require ncurses or doing something a lot longer than this.
Also, you're not reseting the terminal after your program is done.
>signal(SIGINT, SIG_IGN);
This is kind of an asshole thing to do.
>signal(SIGKILL, SIG_IGN);
You can't modify the handler for SIGKILL. It's always going to kill your program.

>>59724748
>file get string
>file put string
What? Is there supposed to be something wrong with that?

>>59724799
>.cpp
thats hastebin that automatically picks the file extension
>int ftruncate(int fd, off_t length);
>int fileno(FILE *stream);
>off_t ftello(FILE *stream);
>int fputc(int c, FILE *stream);
because without them gcc gives me implicit declaration errors
>long tp = time (NULL);
it works
>system("/bin/stty raw");
made it so it would run system("/bin/stty cooked"); on exit now
>signal(SIGINT, SIG_IGN);
>signal(SIGKILL, SIG_IGN);
Changed it so only SIGQUIT will kill the program (Ctrl + /) because that shortcut wont be used in this program.
And removed the signal(SIGKILL, SIG_IGN);

Sorry, this is a WIP. I've been only working on this for a day.

>>59724899
>because without them gcc gives me implicit declaration errors
Are you compiling in standard C mode? (e.g. -std=c11)
It won't show the POSIX functions if you do that.
Either
1) Add #define _POSIX_C_SOURCE 200809L to the top of your file
2) Add -D_POSIX_C_SOURCE=200809L to your command line options
3) Just use the "GNU C" mode (e.g. -std=gnu11)

>>59724994
Thanks for the tip, i'll add that to my compile script.

File: 1469843979355.png (231KB, 304x366px) Image search: [Google]

231KB, 304x366px

>>59724994
>advising someone to lock themselves into gcc standards only
>advising someone to even touch gnu software

>>59725044
I gave him the more sensible portable way of doing it, by controlling the _POSIX_C_SOURCE macro.

>>59725077
Yeah, thats what I did.

>>59725044
GCC is still the best C compiler out there. Clang still isn't mature enough and lacks features, the only good plus it has is the compile error reporting system. MSC is abandonware and I would never recommend it for someone using C, and just about all the other small/toy compilers can't compete in speed and quality of code generated.

Hey guys, which value should I set the VARCHAR column on MySQL if the maximum message length my users are allowed to type is 15k characters?

>>59725207
15000

>>59725207
text or varchar(max). There is no reason to limit the size of text in your database.

People are becoming more interested in retro stuff in other areas, is the same true with programming like APL, COBOL or FORTRAN, Lisp, or other ancient languages?

>>59725245
lisp is becoming increasingly popular, the others the opposite

>>59725245
Fortran deserves better, tbqh

>>59725245
APL and Lisp are interesting because of their syntax.
Fortran is only needed for resource intensive calculations.
Cobol... Who would ever want to learn Cobol if not because of money?

>>59725228
Is TEXT better if I want to allow users to search for strings? I'm using TEXT right now but without the FULLTEXT index since it was making my disk usage go high as fuck when inserting new records. Also do you know where I can learn more about how to make proper "search" in the DB for strings/tags?

>>59720123
enable https you nigger

>>59725170
Clang is very well-designed, but slow (in both senses).

>>59725279
LISP's syntax is dull as shit, it's interesting because of everything else.

>>59720123
What's the point in making a new imageboard? Nobody would start using it because nobody would start using it.

How do you expect to be a good programmer if you can only speak one language?

>>59725412
Because English is the only relevant language in technology.

File: dpt-poll.png (13KB, 660x249px) Image search: [Google]

13KB, 660x249px

>>59725426

File: Screen Shot 2017-04-03 at 4.28.26 PM.png (10KB, 112x23px) Image search: [Google]

10KB, 112x23px

>>59720241
>>59720123
How do you make a little symbol like that on the top of your browser in html?

>>59725436
favicon

>>59725436
Read about favicons.

File: 1486076543291.jpg (339KB, 1200x900px) Image search: [Google]

339KB, 1200x900px

>>59725432
Goddamn Scandy-fags with four different IP addresses.

>>59725323
yikes. optimizing for search is very tricky. it depends heavily on how you are planning to search and how often (ie are you doing exact string matching, fuzzy matching, tag matching). I'd start with something that works, find bottlenecks and optimize from there. it can be especially frustrating because users will search in ways that you dont expect.

>>59725436
https://en.wikipedia.org/wiki/Favicon

>>59723943
if your vector is the sole owner of those objects and the objects will never outlive the vector, then a shared ptr would not be right here.
Returning a vector of raw pointers is a perfectly fine solution here. You don't need to return any smart pointers because the lifetime of the objects is managed by the master vector so it's completely safe to let your vector of raw pointers go out of scope, because the object is still safely kept in your master vector.

>>59725450
norsk > engelsk

>>59725391
The -e needs to go before the file being checked.
Also wrapping the filename in a string is probably a good idea, in case any variable expansions have spaces in them (I'm not even sure if usernames can have spaces, but it's still good practice in general).

if [ -e "/home/$user/.bash_history" ]; then

File: Screen Shot 2017-04-03 at 4.40.54 PM.png (178KB, 1321x672px) Image search: [Google]

178KB, 1321x672px

>>59720241
>>59720123
Is this just gonna be another racist website?

>>59725506
frysk > noarsk > ingelsk

>>59725391
consider the following

$ cat test2.sh
if [ /etc/passwd -e ]; then
    echo exists
fi
$ bash test2.sh
test2.sh: line 1: [: /etc/passwd: unary operator expected
$ cat test1.sh
if [ -e /etc/passwd ]; then
    echo exists
fi
$ bash test1.sh
exists
$ diff test2.sh test1.sh
1c1
< if [ /etc/passwd -e ]; then
---
> if [ -e /etc/passwd ]; then
$

>>59725587
All websites are racist.

>>59725587
>Waaaaaaahh

New thread:

>>59725693
>>59725693
>>59725693

New thread:

>>59725700
>>59725700
>>59725700

>>59725707

delete this;

>>59720039
haskell