/dpt/ - Daily Programming Thread

rewriting the linux kernel in haskell

Doing Clojure.

Mastering algorithms with C

>>60914839
>30 min bootup
>30 min to get to desktop
>5 minutes to open /dpt/

File: u9a7cltqxi3z.jpg (32KB, 426x606px) Image search: [Google]

32KB, 426x606px

writing a intro to JS class for high schoolers

>>60914839
>press power button
>fans rev up
>nothing happens

>>60914806
Testing the effectiveness of fnv hashing.

Out of 7454980 strings I tested, there were 3544 collisions

>>60914806
segfaulting everywhere like a true champion

CS homework

File: 1445705986467.jpg (31KB, 853x480px) Image search: [Google]

31KB, 853x480px

what happens if unhosted code issues an illegal instruction? since there's nothing more privileged running to issue a sigill, would the cpu just try to activate the appropriate subcircuits anyway and then short out because they're not made to work together like that?

Working on interpreters for assignments.

>>60915117
The CPU will still issue an exception

Upgrading (rewriting) my company's entire suite of webapps from Vue 1 to Vue 2 by myself. There's 3 different sites (luckily all with similar functionality), but I wasn't around when they developed it initially. There's hardly any documentation, and almost everything was done using "clever" javascript tricks that are hard to follow. There's no one else on the development team. It's just me.

I'm being paid $22/hour for this.

Kill me.

Did I mention I'm doing this alone?

>>60915177
>Did I mention I'm doing this alone?
After its done ask for a raise or leave.
Its only gonna get worse.

>>60915117
an exception will be throw, the kernel catch that exception and handle it (usually by closing the process from where the instruction has been fetch)

File: 1489968827491.gif (2MB, 460x260px) Image search: [Google]

2MB, 460x260px

>>60915177
https://github.com/Droogans/unmaintainable-code
you know what to do anon

>>60915166
>>60915221
Depends on platform.
Some do some don't.

>>60915212
Oh I forgot to mention that my boss wants me to continually roll out new features for the old system while I play catch-up with the new one.

I just submitted a bunch of applications for positions elsewhere. I've only been here a year, and I guess it was a great way to get my foot in the door, but I would rather work at a slightly larger company that actually has a development team.

>>60915254
>wants me to continually roll out new features for the old system while I play catch-up with the new one.
highball to 30,request a jr or get out.

>>60915117
Depends on the CPU. A naive implementation will function as you describe, but more modern and sophisticated CPUs will issue a hardware level exception and crash safely.

File: wewlad.MOV.webm (866KB, 1280x720px) Image search: [Google]

866KB, 1280x720px

Boys, we got it werkin!

>>60915321
EBIC xDDDD

>>60915321
>wow I got data into an interface and it's displaying it please validate me

Kill yourself. This isn't impressive, and we see this every other week when some anon thinks that their pet project showing such simplistic data is anything but boring.

File: 54e0a11ac9176.jpg (62KB, 510x482px) Image search: [Google]

62KB, 510x482px

I wanted to play around with webassembly, there's no linux builds of the toolchain, you have to compile all of LLVM/clang and their llvm ast to wasm tools.
It's been compiling for 3 hours now.

>>60915321
Nice!

>>60915321
MEME! XD

>>60915270
I'm hoping for at least $75k/year from somewhere else. My coworkers are away for the summer while they do their internships at the big 4 (5?). When (if) they come back, my work load should decrease dramatically.

I don't think I have enough experience to just get out without having something else set up first. I was pretty lucky to get my current job.

>>60915347
I sure hope you have a real machine Anon.

File: installgentoo.jpg (74KB, 1000x326px) Image search: [Google]

74KB, 1000x326px

>>60915344

Can main() be a virtual function?

File: IMG_1869.jpg (2MB, 3000x2000px) Image search: [Google]

2MB, 3000x2000px

>>60915344
well, I made it all myself

>>60915344
Tbh. Better content than morons masturbating over their noisy FP code or how the design patterns they just learned are great.

>>60915376
is a core2 ok?

>>60915451
Looks like a messy waste of time that was intended to look "cool" because "dude lmao hacker wires and exposed connections everywhere".

>>60915448

Static methods cannot be virtual.
Free functions cannot be virtual.
Whatever language you're talking about, the answer is no.

>>60915456
No

File: 1494723230057.png (508KB, 611x611px) Image search: [Google]

508KB, 611x611px

>>60914806
C influenced languages get an automatic F in my book.

>>60915513
No one is going to buy your book.

>>60915466
>Whatever language you're talking about, the answer is no.
I'm talking about a language where main() is a virtual function.

>>60915513
>you cant improve on C
>you have to completely re-write logical syntax just so its different
Hello rustlet

>>60915513
Why? Is it because you don't like C? Or you can't understand the simplest lang?

>>60915528

Name it.

File: 1493176856107.jpg (63KB, 650x390px) Image search: [Google]

63KB, 650x390px

Doing my final for java script and c#

Java script final I can get a F and still get a B foe the class. C# final I'm basically copying a classmates code.

File: 1496425347258.jpg (1MB, 1920x1080px) Image search: [Google]

1MB, 1920x1080px

>>60915545
It doesn't have a name.

File: fizzbuzz.mp4.webm (943KB, 1920x1080px) Image search: [Google]

943KB, 1920x1080px

>>60915465
it's just my first prototype dude.
Now gotta etch a pcb, wire everything up nicely and then make it pretty

PS:
green (upper led) == fizz
blue == buzz

>>60915448
Eh sort of.
The entry point can't be but in say C or C++ you more often than not it have the standard library preamble which could call your main through a virtual function table.
It wouldn't be standard anymore. But a language could be defined that way.

>>60915554
Post an identifying description of it.

>>60915471
What are you using?
Some ULV garbage, probably.

>>60915561
Do something useful with it that can win you currency from the free market, then come back.

>>60915543
>you cant improve on C
This just means starting from scratch.
>rustlet
R*st is influenced by C and therefore gets an F in my book.

>>60915544
>Why
All of them are horrible languages intended for retards.
>Is it because you don't like C?
Nope, I like it actually.

>>60915567
It has virtual functions and main() is a virtual function.

>>60915579
ivy i7-3920XM

I'm using the PEAR PHP library to send 20+ emails in a while loop (the while loop opens up a csv file first before sending the emails). I can get the email to send if I remove it from the while loop, so I know the smtp is set up correctly, it's just not liking the while loop. Any ideas? Fuck hopefully I'm explaining this clearly.

>>60915637
Not programming related.
Use >>>/g/wdg/

>>60915647
How is that not programming related? Is PHP not a programming language?

What IDEs do you use?
Is Sublime 3 okay?

>>60915593
>All of them are horrible
Ah, ok. we actually agree then. C is very good imo. If you just track what you're telling the machine to do for each function, then your code is perfect. C++ is ok, but I feel like it is just complicating something that worked well enough in the first place.

Personally, a good example of this in my dev experience is when I wrote a library in MATLAB to solve a class of equation I was working on. Once the algorithm worked, porting it to C was easy and I got something like a 10^10 times speed up.

>>60915593
then whats a good lang in your opinion
>inb4 "doesnt exist"
>>60915683
VS Code desu

>>60915683
Sublime is hot garbage that is barely a step above Notepad++
emacs all the way bby

Landed my first job ever as programmer, thing is I'm still a student. I did go vs people that already finsihed study, what should I do?
Focus on studying still, or just go for it, as its summer break?

>>60915683
Co-edit

>>60915704
I hope youre atleast on the linux version

>>60915670

he's probably a java fanboy, ignore him

>>60915686
>C is very good imo
I wouldn't say that, it's just not shit.
>If you just track what you're telling the machine to do for each function, then your code is perfect
As long as you're not claiming that's the only kind of perfect "code".
>C++ is ok
Sepples is complete fucking garbage though. And it was influenced by C.

>>60915697
>then whats a good lang in your opinion
I don't think such a language exists right now.

>>60915721
>Using w*dows
What do you take me for?

so we can all agree rust is shit right

>>60915758
I disagree

>>60915670
>Is PHP not a programming language?
It's not. Use >>>/g/wdg/ to discuss it and other similar trash.

>>60915758
Nope. Rust is pretty nice. It's fast, no GC and don't have to allocate and free every 2 minutes

>>60915721
>>60915756
>you can use only either lincux or w*ndows
What did she mean by this?

>>60915762
>>60915774
oh, so /dpt/ is still filled with retards

>>60915758
If memory safety and speed of execution are your singular goals, Rust is all right.

>>60915781
the windows version has no debugger yet

>>60915753
>C is just not shit
>don't think [a good language] exists
What would you do to make a good language?

>>60915792
Why would I care about the w*ndows version?

>>60915781
Who are you quoting?

>>60915795
Not being shit doesn't imply being good.
>What would you do to make a good language?
Depends. Do you know how to make one?

>>60915781
Fuck off, mactoddler

>>60915683
I like Sublime 3. Emacs is good if you know/enjoy Lisp, and vim is good for quick and dirty edits.

The only other editor I really use is VS code, and that's exclusively for Powershell

>>60915815
Hey. Ask this person too.
>>60915756
>>60915795

>>60915801
just checking lad.

>>60915703
We both know you won't do anything else productive over the summer. If you graduate and have no internships or experience, you're going to be fucked. That being said, make it clear to them that you intend to go back to school at the end of summer.

>>60915821
>m*c
We were talking about operating systems.

Emacs sucks. I wish there was an acme-style lisp editor. I would suck dicks for it.

>>60915765
How is PHP not a programming language?

>>60915848
What about Emacs sucks?

>>60915830
>Ask this person too.
I won't.

>>60915863
Why not? Has lincux damaged your brain this bad?

>>60915848
no it doesn't, you suck

>>60915845
>>60915781
Take your censorship and fuck off strainght back to your safe place, faggot
Get out

>>60915756
>>60915795
Who are you quoting?

this general is fucking retarded

>>60915869
>Why not?
Because I choose not to, is that too hard to understand for people of your IQ level?

>>60915819
Yeah. I'm in grad school for math (specifically numerical anaysis), symbolic logic is actually one of things I do.

Instruction systems is also pretty interesting. I've written some algorithmic notations for writing I've worked on. Language design is a bit similar, although more technical.

I also have done a lot of stuff on electronic hardware design. did some undergrad study in that stuff.

>>60915892
It's summer

>>60915892
>>60915901
It's honestly always this bad

>>60915892
t. retard

>>60915896
>Because I choose not to
Why do you choose not to? Is "Why not"?" and "Why do you choose not to?" somehow not the same in this context for people of your IQ level?

>>60915758
Meh, I was checking it out a few weeks ago, it's not all that bad. I wish D had real pattern matching

>>60915845
Why do people always do this shit?
>i don't like a thing
>i may even have many legitimate complaints about this thing
>therefore i will omit it from a category it formally belongs to
fuck you, mac os is just as much an os as a box office flop is a movie

>>60915926
>Why do you choose not to?
Because I choose not to. Is that too hard to understand for people of your IQ level?

>>60915957
>>Why do you choose not to?
>Because I choose not to.
That's causally impossible. Are you implying you're a time traveler?

>>60915957
>Because I choose not to.
What is your reasoning for choosing not to (if there is any, animals like you aren't exactly known for this)? Are "Why not"?" and "Why do you choose not to?" and "What is your reasoning for choosing not to?" somehow not the same in this context for people of your IQ level?

>>60915975
>What is your reasoning for choosing not to
Because I choose not to. Is that too hard to understand for people of your IQ level?

>>60915943
>>60915957
>>60915973
>>60915975

actual autism showcase right here fellas

>>60915988
>>What is your reasoning for choosing not to
>Because I choose not to.
see: >>60915973

>>60915996
>>60915988

>>60915988
This doesn't make sense on any level. Anything starting with "because" isn't an answer to "What is your reasoning for choosing not to". Is that too hard to understand for people of your IQ level?

>>60916004
>This doesn't make sense on any level
Probably for brainlets like you. I am not even surprised.

>>60915997
>>60915996

>>60916015
>>60915997

>>60916009
You just said you implied it. You are genuinely fucking retarded.

>>60915997
That doesn't address what I said tho. What you're suggesting is causally impossible. Something can't be the case simply because it is, that's a degenerate case of a negative causal loop. Please enlighten me as to how you are supposedly able to violate causality.

>>60916030
>You just said you implied it.
Where did I say "I implied" anything?

>>60916034
>>60916009

>>60915683
Visual Studio.

>>60916045
Exactly the same can be said about you.

>>60915892
Of course

it's either who can write the the most unreadable fizz and buzz solution aka sticking everything in one line and thinking it's a good, fast executing and readable code.

Or comparing their ancient languages, despite them barely knowing how to print "Hello World".

Only here you can read shit like server languages should not be called programming languages.

Only here people will mention languages like delphi and haskel which the IT industry gives 0 fucks about just because they study them in their ancient universities and think their diploma will be anything more than a bad toiler paper.

The list goes on, but my personal favorite is how .NET is pajeet framework and it's irrelevant.

Tbh this thread should cease to exist and stop giving people misleading information.

>>60916045
>>60916083
holy shit you whiny children

File: 1486403872071.png (174KB, 962x543px) Image search: [Google]

174KB, 962x543px

>>60916087
Back to plebbit, pajeet

>>60916087
>The list goes on, but my personal favorite is how .NET is pajeet framework and it's irrelevant.

>Tbh this thread should cease to exist and stop giving people misleading information.

I agree, but it's not so bad. Just think about how there's less retarded competition and coworkers to deal with if you work in the .NET stack, due to all of the disinfo here.

>>60916104
post salary then I will post mine, okay?

>>60916056
Why do people always do this shit?
"Oh it just doesn't make sense because you're not smart enough."
Wrong, and I can prove it.
Let G be a directed graph mapping causality.
G should therefore be acyclical, or else causality is violated.
You're suggesting a vertex V exists, with data "I choose to," such that V->V is an edge in G.
Any edge of the form X->X, in any graph, where X is a single vertex, is a cycle consisting of a single edge.
As previously established, G must be acyclical or else causality is violated.
Therefore, either causality has been violated, or you're lying.

>>60916087
>Only here you can read shit like server languages should not be called programming languages.
>Only here people will mention languages like delphi and haskel which the IT industry gives 0 fucks about just
First day on the internet?

>>60916138
50 Million a year

>>60916139
>"Oh it just doesn't make sense because you're not smart enough."
Those people were right all along

>interested in webassembly
>spent 3 hours compiling the whole toolchain
>get out of memory error 3 times
>try to make hello world
what a load of shit

$ emcc -s WASM=1 -o hello.wasm hello.c
WARNING:root:output file "hello.wasm" has a wasm suffix, but we cannot emit 
wasm by itself, except as a dynamic library (see SIDE_MODULE option). specify 
an output file with suffix .js or .html, and a wasm file will be created on the side

>>60916155
With a proof of course. Also if you made that much you would not have bothered replying to me. Nice try tho.

>>60916087
>IT industry
>"""framework"""
Not programming related.
Use >>>/g/wdg/

>>60916168
No they weren't, I literally just proved the contrary.

>>60916087
Thing is, some people don't do programming because they gotta get some money, they do it because they love it

>>60916177
what kind of abstract shitposting is this
Do they actually hire people this stupid?

File: 1496523251246.jpg (98KB, 640x368px) Image search: [Google]

98KB, 640x368px

>>60916179
Prove the consistency of the system you used for that proof.

>>60916175
lol poorfag

>>60916188
Truth is if "programming" is the main focus of your job and you do not do it to help you solve other more complicated problems you are literally a Pajeet.
t. computational scientist

>>60916188
So you choose to write on the most ass cancer languages in existence just because they are cool?

Highly doubt you ever did any actual programming in your life.

>>60916200
No, fuck you.

>>60916189
Who is ""they""?

>>60916171
>spent 3 hours compiling the whole toolchain
Fucking what? It took me like 3 minutes to install emscripten with wasm capabilities

Also read the damn warning message

>>60916200
>getting Gödel up in this bitch

>>60916206
>computational scientist
Ccomputational scientist are not scientists. Sandwitch artists are not artists.

>>60916209
>So you choose to write on the most ass cancer languages in existence
No, they are definitely not "ass cancer languages", they are just better languages that never got "resell value"

>>60916229
>>60916200
Resorting to Gödel's incompleteness theorem to shoot down an argument because you can't find issue with it in any other way is childish, bitter, and basically an admission of defeat.

File: 1489355129770.gif (146KB, 500x400px) Image search: [Google]

146KB, 500x400px

>group project in an intro C class as a final
>2 weeks to do it
>already know this shit, just need the class as a prereq
>2/7 in group are niggers
>today comes, last day we have to get everything together
>5/7 done and asked me questions throughout the week
>1 nig shows up with some bullshit obfuscated crap he copied off google
>the other nig opens up a blank notepad, taps me on the shoulder and asks what he was supposed to do again
fuck niggers

>>60916254
>>60916254
I wasn't the idiot you were arguing with. I just thought it was funny that you asked someone to prove consistency of assumptions.

>>60916240
Explain to me what your ancient languages do better than modern C# or rust?

Should I read more or practice more?

>>60916276
I wouldn't call my language ancient, and Rust is okay. C#, however, is just a mediocre language in general

File: C.jpg (47KB, 645x968px) Image search: [Google]

47KB, 645x968px

>>60916240
>I'm retarded: the post
>>60916276
>rust
You're pic related if you believe it solves any problem.
Kill yourselves.

>>60916282
practice
The most important quality of a programmer is algorithmic thinking. After that he can easily adapt new technologies and languages as long as he is open minded unlike this thread.

>>60916270
That wasn't me, that was the other guy. I'm the guy you're calling an idiot. I'm saying it was absurd for the other guy to stoop to such an asinine level of meta-skepticism.

File: 1497484828388.png (316KB, 500x556px) Image search: [Google]

316KB, 500x556px

>>60916301

>>60916313
Epic meme bro. I suggest you bring it with you on your way back to rabbit.

>>60916324
Meant for >>60916301

>>60916298
>C# is a mediocre
What makes you think so, what languages do you use?

c hash is comfy

>>60916307
Ah, ok. This is basically how I feel about Gödel. He showed that humans don' kno' nuffin, but that's not actually news nor is it productive really.

>>60916313
that pic is good. I have a prof like this.

>>60916324
people unironically write on ansi C?
great mei mei

learning Koklin

>>60916298
>C#, however, is just a mediocre language in general

Once I stopped listening to /dpt/, I tried C#. I really like it, definitely my daily driver now.

I suppose it depends on what you're actually doing, but what is your profession? What do you use programming to accomplish for your job/research?

>>60916335
Because C# is
-slow
-full of boiler plates
-adamantly enforces a bad implementation of OOP
-no concept of ++n while n++ exists
-Can't run on bare metal
-can't assign a new value in foreach
-it promotes slop (variant types and LINQ, while powerful adds a lot of clutter)
-has no UFCS

A language so shit you have to depend on IDE specific features to make it usable

>>60916420
C# is just too slow for what I am developing. Not even Microsoft used C# for what I am doing :)

>>60916362
C is a very good language for efficient resource use. Not recognizing this is the same as putting your head in the sand

>>60916448
it's almost like different languages have different use cases or something

File: 1491265837070.jpg (43KB, 382x382px) Image search: [Google]

43KB, 382x382px

>>60916448
>:)

>>60916424
what language takes ufcs to its logical extreme?

>>60916457
See? I just can't use C# for my daily driver. And C++ is worse than C#

>>60916424
Also
> short is signed and ushort is unsigned. int is signed and uint is unsigned; long is signed and ulong is unsigned — but byte is unsigned and sbyte is signed.
Nope, C# never ever

>>60916455
>can't make proper use of compile-time resources
you can't fool me

>>60916479
D, Nim and Rust

>>60916307
To be fair, that was just the icing on the cake of an already retarded debate.
>allowing a conversation to devolve into a mexican standoff
retarded
>turning a mexican standoff into a dick measuring contest
retarded
>bringing a conversation about causality and time travel into a dick measuring contest
retarded
>bringing graph theory into a conversation about causality and time travel
retarded

>>60916501
t. retard

>>60916424
>-slow
Relative to what? For what workload? 95% of projects do not require systems-language-speed.
>-full of boiler plates
Such as? There's tons of sugar that reduces a lot of code. Are you comparing it to something like Python in this respect?
>-adamantly enforces a bad implementation of OOP
You can basically program purely imperatively with some functional aspects.
>-no concept of ++n while n++ exists
Not entirely sure what you mean by this.
>-Can't run on bare metal
Valid.
>-can't assign a new value in foreach
What do you mean by this? If you mean what I think you mean, that's just silly.
>-it promotes slop (variant types and LINQ, while powerful adds a lot of clutter)
LINQ makes your code infinitely easier to reason about, and the collection operations in general are really convenient for performance due to only doing work when required.

>>60916448
Well then, yeah, C# isn't the tool you pull out of the toolbox for your particular use-case.

>>60916519
Just ignore him he's one of these /g/ expert programmers who only uses true dpt-certified languages no one else cares about.

>>60916493
Having high level of control on how memory is handled is very useful. C does this well. I believe that is all that needs to be said.

>>60916254
>Resorting to Gödel's incompleteness theorem to shoot down an argument
Who did this though? Any non-retard can clearly see the meaning of that post simply by looking at the image.

>>60916536
Well, out of them, at least she tried to state actual reasons, and some of them are even valid to some degree, but ultimately you're right.

>>60916539
>unrelated response

File: z.gif (765KB, 222x148px) Image search: [Google]

765KB, 222x148px

>>60916519
>95% of projects do not require systems-language-speed.
[flotation needed]

>>60916349
>He showed that humans don' kno' nuffin
No, he showed that humans will never know everything.

>>60916519
>95% of projects do not require systems-language-speed.
So why does Microsoft leave out C# for most of their flagship programs?
>Such as?

interface IB
{
    int Foo {get;}
}

public class B : IB
{
    public int Foo {get {return 5;}}
}

interface IC
{
    void Bar();
}

public class C : IC
{
    public void Bar()
    {
    }
}

interface ID
{
    string Bash{get; set;}
}

public class D: ID
{
    public string Bash {get;set;}
}

class A : IB, IC, ID
{
    private B b = new B();
    private C c = new C();
    private D d = new D();

    public int Foo {get {return b.Foo}}

    public A(string bash)
    {
        Bash = bash;
    }

    public void Bar()
    {
        c.Bar();
    }

    public string Bash
    {
         get {return d.Bash;}
         set {d.Bash = value;}
    }
}

>You can basically program purely imperatively
Public static class something something then public private encapsulated something something
Too much writing and OOP
>Not entirely sure what you mean by this.
i++.ToString works, but ++i.ToString does not.
>What do you mean by this?
foreach(int i in vec) { i = i+1; }).
>LINQ makes your code infinitely easier to reason about
LINQ is for people that don't know how to do some functional programming

File: nevar.png (13KB, 632x116px) Image search: [Google]

13KB, 632x116px

>>60916539

File: lab.png (34KB, 530x296px) Image search: [Google]

34KB, 530x296px

DevOps things, designing a HA web app training lab

If anyone knows a WSGI/Django app to deploy as an example, suggestions are welcome
I might make a PHP version too

File: 1495919694952.jpg (20KB, 201x216px) Image search: [Google]

20KB, 201x216px

>>60916594
>functional programming
What is a "functional programming"?

>>60916171
Why does web asumbly?
Why not just have browsers support compiled languages by compiling them to native machine code and dynamically linking the binaries into the browser instance?
Would be much faster

>>60916546
This is the post which indirectly mentions Gödel incompleteness.
>>60916200
If you do not see this, you don't know what Gödel was talking about. That's not an insult, Gödel is not a simple read.

>>60916562
Memory usage relates to compile-time resources. C has a job which it does well. Not all languages need to do this job. It is ok if you want to miss the point of my post.

>>60916586
yeah, which is more depressing. that's ok though.

>>60916603
kek

>>60916610
Programming with
-Pure functions
-No loops
-No if/else/switch
-Minimum explicit value assignment

>>60916610
An implementation of a lambda calculus.

>>60916424
>slow
What is the difference between 0.001 and 0.01 to a human? And if anything C# is far from being slow when large scale projects are involved.
>adamantly enforces a bad implementation of OOP
Yet it's considered to have the best implementation of OOP and it's something even java faggots will admit? What planet do you live on? This type of OOP is the best for large scale projects.
>no concept of ++n while n++ exists
it takes 3 lines of code to implement it
>can't run on bare metal
nothing can, but it works good for my arduino projects
>can't assign a new value in foreach
What do you mean by this?
>it promotes slop
Yet I find it the most readable language currently.
>has no UFCS
it has them but under different name. Also why do you even need this crap.

>>60916610
Programming with the intention of treating most computations as evaluations of functions. Easy to mathematically formalize, but pretty impractical to use, since machine language is not written like this.

>>60916639
>Yet it's considered to have the best implementation of OOP
Did OCaml get renamed to C# while I was asleep?

>>60916622
>This is the post which indirectly mentions Gödel incompleteness.
I was merely saying that post doesn't try to "shoot down an argument" using Gödel's incompleteness theorem. It's pretty blatantly obvious if you look at the image.

>>60916496
Does D let me use ufcs to invoke static methods?

>>60916665
>arguing about an argument
addicted to 4chan. nice. i'm glad you got the last word and are now arguing with someone else unrelated to the old posts

File: 1493744462125.jpg (91KB, 1280x720px) Image search: [Google]

91KB, 1280x720px

>>60916630
>-Pure functions
As in every single function is pure?
>-No loops
>-No if/else/switch
So programming in languages which aren't Turing-complete?
>-Minimum explicit value assignment
This doesn't make sense unless you specify what your first point means.

>>60916638
Is that the only condition it should satisfy?

>>60916650
>Programming with the intention
How can you possibly measure this?
>Easy to mathematically formalize
There are languages which you would probably call "functional" which are hard to formalize.
>pretty impractical to use
Impractical for whom?

>>60916700
I'm not arguing, I'm simply pointing out that he wasn't saying that.

File: 1488577937023.png (81KB, 512x288px) Image search: [Google]

81KB, 512x288px

>>60916639
>>slow
>What is the difference between 0.001 and 0.01 to a human?
https://github.com/kostya/benchmarks
http://benchmarksgame.alioth.debian.org/u64q/which-programs-are-fastest.html
Oh come on. The analogy you are using is applicable to C/C++/Rust and even D. But C#? Don't delude yourself please.
>Yet it's considered to have the best implementation of OOP and it's something even java faggots will admit?
Why did you bring up Java here? Are you too insecure about that language?
>it takes 3 lines of code to implement it
So it does not understand ++n fully then.
Do you not see the level of inconsistency then?
Do you not see the inconsistency in type system then?
>nothing can
Even D can run on x86, with _no_ runtime
>Yet I find it the most readable language currently.
I got one better: I actually know how to use HOFs
>Also why do you even need this crap.
See above
>>60916668
Yes

>>60916743
LOL WHO CARES DUDE

>>60916723
>As in every single function is pure?
yes

>>60916750
>Even D can run on x86, with _no_ runtime
This is absolutely wrong. Every language needs at least a stack to be setup for them to work properly.

File: 1485010338480.png (98KB, 400x410px) Image search: [Google]

98KB, 400x410px

>>60916753
Why are you so angry?

>>60916789
*pulls anons cute loli cheeks*

>>60916723
To learn what functional programming is, just read a text on Lambda Calculus. It is the mathematical grounding of considering all computations to be a set of functions made from composed functions.

Basically applied abstract algebra. Group Theory would probably help too. Theoretical language design is essentially just a branch of abstract algebra. (Graduate math topic.) Pretty interesting stuff if you have the stomach for math.

>>60916788
https://stackoverflow.com/questions/13573289/how-to-compile-d-application-without-the-d-runtime
https://www.auburnsounds.com/blog/2016-11-10_Running-D-without-its-runtime.html

>>60916700
Lyrics:

(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)
(Bitch.)
(Bitch bitch.)

This argument's a bunch of poopy ass dicks,
Covered in chocolate feces.
(Bitch bitch.)
It reminds me of a butt with diarrhea dick farts,
With a side of gorilla poop.
(Bitch bitch.)
What a bunch of brown and red feces.
Yeah, that's bloody feces.
(Bitch bitch.)
I ate chili today,
Just so I could take a shit that's better than this argument.
(Bitch bitch.)
I farted on my mother's face,
And she liked it better than this argument.
(Bitch bitch.)

I'm gonna barf, just like this argument makes me barf
Out diarrhea dicks.
(Bitch bitch.)
When you have better abs, it makes you poop better,
Which means you'll poop out a better argument than this.
(Bitch bitch.)
This argument's a bunch of poopy ass drippings covered in semen.
(Bitch bitch.)
This argument's a bunch of poopy dicks,
That's been dipped in
Vomit,
From a cow's butthole.
(I pissed a cactus out my dick.)

[Verse consisting entirely of hysterical laughter.]

This argument reminds me of a piece of dookie-butt
That smells like I put my hand in my mother's butthole.
I dug up a grave because I hear that you take a shit when you die,
And it's probably better than this argument.
This argument sucks better than a dick
Farting on a
Vagina.
What a bunch of ass drippings. What a bunch of kooky docky poo poo.
What a bunch of poopy anus farts,
Covered in dick waffles,
Being poured all over a fat girl's titties.

(I can't deal with this.)

BYE!

>>60916832
excellent kek. thanks.

>>60916779
So no language which is usually discussed in this thread? Why do people bring up "functional programming" then?
>>60916810
I'm familiar with the things you mentioned though.

>>60916851
>No language
>Language
You asked what functional programming is. Not language.

I don't know C and I barely know Go and I need to port a C library into Go

>>60916851
maybe to sound smart when in reality they're just fizzbuzz masters

>>60916871
sounds like a personal problem, brainlet

>>60916870
Why do people mention "functional programming" if no language which is usually discussed here can be called "functional programming"?

>>60916881
I dare you to call me a brainlet to my face

>>60916811
>I don't understand what I'm talking about
This is not bare metal, you have your kernel set up. You may even still have user space layers under your program. You have a runtime no matter how much your codemonkey friends tells you "it doesn't need a runtime!!!".
Spoiler: even C requires a stack setup for a program to be used.

>>60916887
Because a language is not limited to a single paradigm. Are you
1. grasping on the straw or
2. intentionally being retarded?

>>60916898
Wow anon you must be smarter than the guy who wrote the first C++ compiler! How can I subscribe to your blogs?

>>60916890
just did, brainlet

>>60916916
Yeah right bitch.

You in Bay Area? Wanna meet?

>>60916898
https://theartofmachinery.com/2016/12/18/d_without_runtime.html

>>60916915
Why do people mention "functional programming" if nobody does it?

>>60916942
They want to feel special.

>>60916925
>Bay Area
Sorry, I'm not subhuman.

>>60916898
>Spoiler: even C requires a stack setup for a program to be used.
Spoiler 1: in freestanding C this is accomplished by inline assembly, but you probably already knew that
Spoiler 2: the inline assembly that sets up the stack doesn't need a runtime
chekmate athetits

>>60916952
Knew you'd bitch out lmao
https://www.youtube.com/watch?v=hF_-5pZ_kxY

>>60916927
This still requires a stack. Are you going to keep mindlessly throwing Google search results around? Function calls don't work "out of the box".

>>60916952
kek thanks for pretending to be me. really give this brainlet a run for his money

>>60916960
how's life in bay area

>>60916952
not him but
>>Bay Area
>Sorry, I'm not subhuman.
That's really rude.
>inb4 it's true tho
It isn't. My primary care provider has scientific proof.

>>60916750
>Oh come on. The analogy you are using is applicable to C/C++/Rust and even D. But C#? Don't delude yourself please.

Show benchmarks not done under Linux or on large scale projects. Also consider human factor and the optimization algorithms which run behind a lot of the libraries. This is something no human can implement alone at all times. Just for example when .LINQ is used on arrays it will use immense amount of different optimization algorithms depending on the arrays size. Good luck implementing that on your own at reasonable speeds.

>Why did you bring up Java here? Are you too insecure about that language?
Because it's the only competitor C# currently has for large scale projects. And it's losing it's market place to C# in my country.
>So it does not understand ++n fully then.
ITT anon discovers what is a static language
>Even D can run on x86, with _no_ runtime
so can C#
>I got one better: I actually know how to use HOFs
check first answer (no you don't)
Also something like .Where is gorilion times more readable than shitty 50 lines of code.
>>See above
that's just bad practice

>>60916871
I've had good luck using Swig
http://www.swig.org/Doc2.0/Go.html

>>60915513
Shitty languages in general get an automatic F in my book.
These languages include:
C, Rust, Java, C#, VB, Python, Ruby, JS, C++, D and many more.

>>60915593
I D R I S

>>60915683
Emacs

>>60916995
I use flowcharts and paper the post

>>60916954
>the inline assembly that sets up the stack doesn't need a runtime
It can be done if there's no previous function call done, or if you're praying that your booting code gave you a stack pointer at a non-cancerous location but I doubt anyone sane would not write object files for specific architectures and then use an assembler. You're right that C can inline assembly.

>>60915898
What should I read if I want to be an expert like you?

File: 1494176813865.png (497KB, 553x670px) Image search: [Google]

497KB, 553x670px

>>60917007
>I D R I S
Turing complete and therefore garbage.

>>60917029
How To Format Like I'm On Reddit volume 2 is a must read

>>60916972
>Show benchmarks not done under Linux or on large scale projects. Also consider human factor and the optimization algorithms which run behind a lot of the libraries. This is something no human can implement alone at all times. Just for example when .LINQ is used on arrays it will use immense amount of different optimization algorithms depending on the arrays size. Good luck implementing that on your own at reasonable speeds.
So you are basically saying "show benchmarks where C# is not terribly slow. Goodluck". Sorry I can't
>Because it's the only competitor C# currently has for large scale projects.
What is this """large scale""" project you keep referring to?
>ITT anon discovers what is a static language
That has nothing to do with static language, your C# is trash
>check first answer (no you don't)
Check my first response
>.Where
You mean filter, right? I'm sorry your fisher price Microsoft super cool featurez aren't revolutionary. Ironically Functional Programming can solve everything LINQ does and more, it's just not for brainlets
>so can C#
It requires the .NET runtime and C# is a .NET language
>that's just bad practice
>FP
>Bad practice
>The neutered down FP isn't because it's got a Microsoft logo on it
Pathetic

>>60917034
>Turing complete
Nothing wrong with that.
Prove me wrong.

File: abc.png (45KB, 739x331px) Image search: [Google]

45KB, 739x331px

Has it gone too far?

>>60917073
>Only 4 meme arrows
Not even close

File: 1497183820751.png (602KB, 1253x1770px) Image search: [Google]

602KB, 1253x1770px

>>60917034
how to get into awesome dependant typed languages senpai? what should i read?

>>60917073
you know, if every single word is highlighted in a textbook, nothing is highlighted because nothing will stand out

this is the same principle

>>60917073
>""meme arrows""
Your kind is not welcome here.

>>60917099
I like programming subchan thread

>>60917098
>not wanting to taste the rainbow in your text editor
The Rust community won't interact with you anymore, bigot.

>>60917073
><'a, 'b: 'a, 'c: 'a + 'b>
Absolutely disgusting

>>60917029
Get 2 degrees in math and then go to grad school. Takes 4 to 6 years. recommended reading:
Book of Proof by Hammack
Rudin's Real Analysis
Algebra by Artin
Complex variables and applications by Brown and Churchill
The C Programming Language
Scientific Computing with MATLAB and Octave

And then you can probably just read some texts on whatever you want to develop your interests

>>60917036
>caring about post formatting.
Lol i've been on 4chan for like 10 years now.
>i'm here forever

>>60917098
As long as the same words are highlighted with the same color it actually increases readability of such a highly structured text like a source code.
>>60917130
It's actually called rainbow-identifiers-mode, but it's emacs's thing, so blame rms.

File: lel.jpg (1KB, 240x240px) Image search: [Google]

1KB, 240x240px

>>60917034
All computer programs that run at all run on computers. Computers are finite realizations of Turing machines. Therefore, languages need to be modeled after the operations trivially possible on Turing machines if they want to be efficient on computers. Sure, you CAN have a something-else-complete language modeled after the operations trivially possible on your something-else-machines or whatever-calculi, but that language will almost invariably be slow. Unless you invent a new kind of machine that can do what computers can do but does it completely differently. You know, like one of those Lisp machines.

File: 1494535836807.jpg (74KB, 811x456px) Image search: [Google]

74KB, 811x456px

>>60917153
What do you think about languages like Idris and Coq?

Thanks for the suggestions anon!

File: Screenshot_2017-06-15_13-43-35.png (44KB, 685x548px) Image search: [Google]

44KB, 685x548px

>>60917160
Doesn't this look much better?
No faggy colors to get in the way just because you're incapable of accepting the cognitive load of a single function scope.

File: 1495676104161.gif (790KB, 500x276px) Image search: [Google]

790KB, 500x276px

>>60917061
>Nothing wrong with that.
Oh, we're doing this now?
>Prove me wrong.
It's an axiom of this thread.

>>60917091
Depends on what you mean by "get into".

>>60917168
dumb frogposter

>>60915025
Which hash? There's two versions and different bit sizes (32 and 64)? I'm curious because I use it in my own projects

File: 1494613555340.jpg (16KB, 400x317px) Image search: [Google]

16KB, 400x317px

>>60917213
by "get into" i mean get into anon. i want to learn more about them in depth and know as much as you, what should i read?

>>60917183
>Idris
Garbage.
>Coq
Better.

>>60917232
dumb "dumb frogposter"poster

File: emacs_pride.png (269KB, 1920x1080px) Image search: [Google]

269KB, 1920x1080px

>>60917211
>Doesn't this look much better?
No.

File: 1488321839821.png (136KB, 320x371px) Image search: [Google]

136KB, 320x371px

>>60917246
>Cock

>>60917168
>ribbit the reddit frog
Didn't even bother reading your post.

>>60917246
Why?

>>60917183
you're gonna think I'm silly for this, but i actually mostly use C. my research usually demands high optimization. i know C is kind of polarizing, but it works well for supercomputing and massive data crunching.

code is a bit convoluted though

>>60917262
>you will never be forced to suck your sister's coq while getting penetrated by her girlfriend.

File: frog.png (240KB, 483x564px) Image search: [Google]

240KB, 483x564px

>>60917253

def dumb_poster
   Module.new do
      def reply
         'dumb ' + ((defined? super) ? super : '') + 'poster'
      end
   end
end
class Frog
   def reply
      'frog'
   end
end
pepe = Frog.new
10.times {pepe.extend dumb_poster}
puts pepe.reply

>>60917278
Has unsafe garbage without even importing anything. Not total by default.

>>60917326
Such as?
Do you have any resources I could read concerning that?

File: 1431694656430.jpg (52KB, 680x544px) Image search: [Google]

52KB, 680x544px

>>60914839
i hope your kernel doesnt expire like mac kernel does
https://apple.stackexchange.com/questions/286876/applecare-engineer-says-macs-need-weekly-reboots-b-c-kernel-expires-whats-th

File: 1492586925352.jpg (82KB, 408x600px) Image search: [Google]

82KB, 408x600px

>>60917243
Just download some languages like Agda, Idris and Coq and play around, Agda and Idris should be easy to get into if you know Haskell. Also you could check out Bob Harper's lectures here https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html

File: Vignere_script.png (157KB, 1020x695px) Image search: [Google]

157KB, 1020x695px

>>60917493
I just started making (extremely basic) youtube videos on Idris

https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw

>>60914806
I just wrote a small Python script that uses Vignere cypher to encode your passwords with a masterkey

https://pastebin.com/6YR3cycm

File: 1481144220145.jpg (50KB, 720x720px) Image search: [Google]

50KB, 720x720px

>>60917627
How in depth do you plan on going with these videos?

File: 4th dimensional gf.jpg (44KB, 604x338px) Image search: [Google]

44KB, 604x338px

Why would I ever want to write code in a purely functional language?

Is this some math elitist wank?

File: Untitlesdfgdd.png (8KB, 688x86px) Image search: [Google]

8KB, 688x86px

I'm not sure if I've gone insane, but does anyone have a clue what's wrong?

>>60917699
what are you using, Javascript?

>>60917689
>Why would I ever want to write code
Why would anyone ever want to write "code"?

>>60917725
C++
>inb4, that's your issue right there.

>>60917733
>C++
That's your problem right there

>>60917733
so what precisely is the problem?

>>60917747
it shouldn't have been able to pass the if statement.

File: 1493954339732.png (790KB, 1500x615px) Image search: [Google]

790KB, 1500x615px

>>60917493
>>60917627
Thanks anons!

File: Screen Shot 2017-05-16 Haskell.png (250KB, 1009x597px) Image search: [Google]

250KB, 1009x597px

>>60917686
well ... I'm a theoretical physicist with a general interest in dependent type systems, not so much of a programmer. I'd like to go down very deep and then develop math on top of the language. I'm writing a sort of book and the type system is more or less just a vehicle for me. I'd like to see more people work with those notions
https://axiomsofchoice.org/
So if everything works well, very.

>>60917699
What language is that JavaScript? If it is change it to ===.

>>60917689
>Why would I ever want to write code in a purely functional language?
This question is unanswerable by anyone except yourself.

>>60917699
Found it, I'm an idiot.
Was debugging in release.

>>60917794
Please don't say such things anon. You are beautiful.

File: 1492908786108.png (484KB, 698x1000px) Image search: [Google]

484KB, 698x1000px

>>60917788
You look cute, can I be your girlfriend?

>>60915587
stfu basement dwelling faggot

>>60915455
>morons masturbating over how the design patterns they just learned are great
Literally no one does that here.

File: of_sorts.gif (219KB, 899x455px) Image search: [Google]

219KB, 899x455px

>>60917920
Start writing Idris libraries for statistics, then maybe.
I'm writing Bayesian inference algorithms for a living (for computer vision) and lately I think I should get into crypto currencies

http://blockchain-technology.appspot.com/

>>60917788
>I'd like to go down very deep and then develop math on top of the language
Nice. So you're not closely following the Idris book?

>>60917788
Bazingor!

>>60918009
xd

I was working on formalizing my novel spin-lock algorithm (which is similar to the MCS and CLH queue lock algorithms) in TLA+ (see https://sstewartgallus.com/git?p=qlock.git;a=blob;f=tla/StackLock.tla;h=6884d808b5ffd605e912f4b12ae38928fd9b8313;hb=HEAD ) but currently I'm now trying to figure out how to use Knossos (see https://github.com/jepsen-io/knossos ) to check my generated trace of history to see if it is linearizable.

File: november-2016-vogue-cover-07.jpg (981KB, 2420x3270px) Image search: [Google]

981KB, 2420x3270px

>>60917970
I use it as guide to explain on the code examples and programs, and try to do my best to calm my inner autist and keep the category theory for other times.

>>60917239
The 32bit -1a one

I also retested on random 10 ascii letter strings. 132 collisions out of 1000000 strings.

So it looks like there's a higher chance of collision if the values are close to each other. Which is expected, really

File: QVWgzYd.gif (2MB, 319x170px) Image search: [Google]

2MB, 319x170px

>>60917965
in turkey idris is common name retards near the black sea gave to their children i hate those people so now i hate that fucking meme language

>>60914957
Don't forget to include emojis

>>60917261
holy fuck that is completely unreadable

>>60916268
Put something in the code saying they didn't help at all.

>>60919183
>turkey
go away cockroack.

>>60919183
>meme
>>>/v/

>>60917955
Is has been done a lot. You're probably just blind to it.

Is it better to not know the answer to an interview question or attempt to answer even though you'll fail badly?

Also, for coding problems - is it okay to know how to solve a problem (write out psedocode) without knowing how to implement it?

File: 1493319231829.jpg (24KB, 335x371px) Image search: [Google]

24KB, 335x371px

>>60915703
Do it. I got a programming co-op at a big company after only taking 2 programming classes in college. Learned way fucking more there than in school. Also $20 an hour/40 hours a week is nice as shit. And gonna graduate with shit on my resume

File: 1487226189874.png (377KB, 845x759px) Image search: [Google]

377KB, 845x759px

>>60919546
Absolutely attempt to answer. If you answer nothing, they'll assume you know nothing. Also, even if your answer is wrong, if you justify it in a way that somewhat makes sense, they won't completely think you're retarded.

I got asked during a co-op interview, "what happens when you hit enter on a google search" and had no fucking clue, since I was applying for a co-op position and was just a sophomore, and just spewed some bullshit like "I'm not entirely sure but I know it involves...." and just threw around shit like "DNS" and "IP" when I really had no fucking clue what I was on about. Then I just asked how it actually works, and they probably like how I was interested and asking questions cause I got the job

>>60919712
>what happens when you hit enter on a google search
This is a retarded question.

>Have physics friend
>he comes up with genius algorithms that perform amazing
>all of his programs are hacked together spaghetti shit that don't follow any sort of standards

Why is the programming part of programming so impossible for scientists? They come up with the best algorithms, and then fuck them all up by programming like a pajeet

File: 1487819755953.gif (889KB, 221x201px) Image search: [Google]

889KB, 221x201px

>>60919730
I can't remember the exact phrasing of it, but essentially it's just what happens server side on Google when you make a search request

>>60919806
I've noticed that CS / SE people write decent - good code, but aren't so great with math and algorithms, and math / physics / EE people are good with math and algorithms but shit coders

>>60919806
>>60919848
Both wrong irl. Check DJB's code for example.
SE people write shit code and shit algorithms because they are shit, a small amount of CS/math/whatever people write good algorithms but also shit code because they are not used to coding.

Why do people do shit like

object.get_x();

Instead of just

object.x;

What's the fucking point of a function that just returns a variable?

>>60915513
What's it like using Algol 68?

File: 1493482325922.jpg (82KB, 625x918px) Image search: [Google]

82KB, 625x918px

>>60919915
Your fields should be private you fucking retard.

>>60919915
the idea is supposed to be that you may in the future not want to implement that feature in the terms of an x variable, and using a getter will allow you to control the public interface while changing the underlying mechanism.

That's the theory, any way.

NEW THREAD!!!

>>60919988
>>60919988

>>60919944
Why?

>>60919997
He can't tell you why.
Encapsulation is a symptom of a much larger problem, known as principles of object oriented programming, or POOP.
Once you have poop on the brain, there's no cure.

>>60919944
Dumb cargo cultists.

>>60919997
There is usually no good reason to make fields private.

>>60919889
aaaand this is why I tell people I'm self-taught.

>>60920043
What do you even mean? How does being self-taught mean you aren't a CS / CE or whatever person?

>>60920081
It means he learned for free instead of wasting time and money on a coding degree

>>60920095
But how does that mean that he isn't a CS person?

>>60920100
CS people are math majors.
CS is really just a dumbed down math major.

>>60920118
I agree, but "CS" there means "CS / CE or whatever person".

>>60920081
It means I get more respect. I've noticed more and more the last few years that CS / SE command less and less of it. It's understandable given the amount of fucktards in the field nowadays, but still!

>>60920132
If you taught yourself CS (which any non-retard should do anyway) you're still a "CS person".

>>60919915
they are dumb imperative monkeys

I'm sick of this "girl (male)" meme.
Homosexuality is ALWAYS wrong.
Ooh, you think you're so fucking edgy with your "it's not gay if it's a feminine penis."
How is "it's not gay if it's a passable tranny" any different from "it's not gay if it's a child," WHICH, IF YOU'LL RECALL, is exactly the sort of attitude that was why Lord Jesus Christ our Savior and God damned the ancient Greeks?
I hate everyone in this thread. Fuck you.

>>60915117
on something like a 6502 you'll get an undefined result

on anything more modern, it'll execute an undefined instruction vector probably