/dpt/ - Daily Programming Thread

How strict is America with copyright on government stuff? I'm trying to build a dataset of people with weight and height, and I can get n=100k easily from the American prisons. If I did this in my home country, I would get sued under the GDPR and copyright and shit.
Can I just scrape the prison websites and share the dataset without violating any laws?

reddit.com/r/cpp_questions/comments/4dglb1/why_does_my_c_program_silently_exit_when_a_use_a/

Any reverse engineering bros here?

>watching karoly zsolnai's lectures on raytracing
>get to Fresnel equation and schlick's approximation
>recognize identity like 3 years after taking calculus and forgetting about it
I knew I didn't waste my calculus professor's time

nobody is going to use your useless lang with more compilers than users

Does anything make sense?

start learning

choose one of these links and do it idiot

automatetheboringstuff.com

edx.org/course/cs50s-introduction-computer-science-harvardx-cs50x

freecodecamp.org

theodinproject.com

if he learns to code then who is going to be our resident non-coder?

>code as a verb

To answer your question, you.

Lisp is the most powerful programming language.

Γ; Δ; .; . ⊢ A
--------------- !-I
Γ; Δ; .; . ⊢ !A

Γ; .; Θ; . ⊢ A
--------------- □-I
Γ; Δ; Θ; . ⊢ □A

Γ; Δ; Θ; Ξ ⊢ !A Γ, A; Δ; Θ'; Ξ' ⊢ C
------------------------------------- !-E
Γ; Δ; Θ, Θ'; Ξ, Ξ' ⊢ C

Γ; Δ; Θ; Ξ ⊢ !A Γ; Δ, A; Θ'; Ξ' ⊢ C
------------------------------------- !-E'
Γ; Δ; Θ, Θ'; Ξ, Ξ' ⊢ C

Γ; Δ; Θ; Ξ ⊢ □A Γ, A; Δ; Θ'; Ξ' ⊢ C
------------------------------------- □-E
Γ; Δ; Θ, Θ'; Ξ, Ξ' ⊢ C

Γ; Δ; Θ; Ξ ⊢ □A Γ; Δ; Θ', A; Ξ' ⊢ C
------------------------------------- □-E'
Γ; Δ; Θ, Θ'; Ξ, Ξ' ⊢ C

FUCK

We should just call authors "bookers".

which esoteric cave writing system is this?

en.wikipedia.org/wiki/Natural_deduction

maybe you have all day to conjugate fancy verbs but some of us live in the fast lane, buddy

have you read their new write?

useless

Man, i can't wait to drown in type theory bullshit when i finally have the time and money to work on my own language.

I was actually considering doing that.

Not really.

>project runs fine on IDE
>create a .jar and gives me IndexOutofBoundsException
>doesn't even print first message on main()
how the fuck do I debug this?

>that boomer who whines about verbing

Attached: calvin-and-hobbes-verbing.jpg (402x511, 85K)

Good thing you never will.

even though the verb-form has been accepted in English parlance for decades

>Java
Found your problem

just started working through learn python the hard way

Zed Shaw is a hack.

That book is garbage. Don't read any of Zed Shaw's trash.

someone in here is a real mr. grumpy pants and needs to take a nap

what should I read instead

Practical Common Lisp

who goes on the internet and types comments to people anonymously to try to kill their dreams seems like a real NPC thing to do

docs.python.org/3/

true for any lang

No RAII.

Calling yourself a "coder" is dumb, and completely puts the wrong emphasis on what you do.
You're not writing code for the sake of it, you're writing programs for the computer to run. Code is just a representation of the computer programs we write, and a good programmer tries to do it with as little code as possible.
"Programmer" is a much finer term, and doesn't make you sound like a retard.

whats the best beginner resource for my uncle?

The Bible

I don't know about uncles sorry. If it was for your wife's son, I might have an answer.

sure i'll give it him too

Yes, but I only reverse engineer JavaScript

only programmers will recognize a difference, and you aren't teaching them anything

that's the problem.
"Coder" taking off as "app" did, is what let every normalfag half-learn JS and python and fuck up the field

do you hack at hackathons?

After some digging it seems that for some reason the Server.jar is running Client.jar code
What the fuck?

some hackathons involve hardware if that's what you're implying.
But yes modern "hackathons" are also a part of normalfag "coder" culture.

okay, so what the fuck does that mean?

>I don't even program but I still visit these threads for some reason.
hi me
>Most "coding" I do is DAX/SQL to do audits and data analysis
>Slowly getting more and more statistic work
>Boss wondering if we can predict/forecast results and that learning a statistics package (R) would probably be useful for the future
>mfw I have no idea about any of this because originally I was just doing data entry.

Attached: 1352100963869.png (800x1049, 125K)

For me, part of the issue is that it's superfluous. "I wrote an app" is perfectly coherent, I don't need to specify that "I coded an app". It just seems obnoxious to add it in.

Yes, assuming you mean 'hack' in the original sense of the word.

Does anyone know how I can get a no-std rust program to use a foreign function as the panic handler? I'd like to use a little rust in my embedded OS for the network stack, but I can't figure out how to get it to link with the fault handler I've already written in C.

What the hell are you doing? Write it all in C, it's system software

This is from a programming competition in China, these are some of the team names

Attached: IMG_0389.jpg (1808x1080, 175K)

Attached: IMG_0388.jpg (1440x1920, 327K)

Attached: IMG_0387.jpg (1600x2133, 422K)

is automate the boring stuff a good first resource then?

initials are LAOS and WANG
>hmmmmmm

The low-level stuff, like the scheduler and hardware abstraction layer are in C. It uses its own libc, so obviously that's also C.
Rust has more built in compile-time sanity checks, which I like. Also, its enum syntax and pattern matching are fucking awesome. If it was easier to get it to link transparently to C, it'd be a killer language for firmware.

>Normal University
thank god they arent from Unusual University

it just means "not a tech university"

leaning graphix. just implemented a simple bump shader

making shaders seems quite fun actually, I wonder if i could make some pizza change selling these in the unity shop or something

In retrospect, I'm not really sure why I was messing around with linear type theory when quantitative type theory is a thing.

>wtf is this weird error I'm getting
>null not valid
hmm maybe you're using something that's null, making it invalid for that context
so look at your code, see why that thing is null, and how you can fix that (or check against it)

GOOD LAD.

What IDE / text editor is good for C programming? I know of vim and emacs and a few others but I don't have any experience onto which I can base a decision before I spend days learning shortcuts and discover there's a better option somewhere.

Attached: ass.png (731x777, 45K)

"I just want to program" -> VSC
"I want to program eventually" -> Vim
"I want to shitpost about Lisp but never actually program" -> Emacs

Elegant Haskell program!

why do mathfags hate legibility?

I respect mathfags for keeping a natural barrier of entry to their field.
If typetheory took over and required everyone to know it in order to program, the field would be so much better. We'd be able to weed out most of the brainlets.

VSCode and a terminal for man pages

If VSC could have a terminal at the bottom and the right it'd be perfect. But you could move it to the right and then split the view.

vscode has too much keystroke lag (i.e. any)

I've used Emacs for the past decade or so for C programming and I have zero regrets.

Attached: emacs-5.png (320x274, 39K)

Attached: emacs-fizzbuzz.webm (512x368, 64K)

CodeBlocks. It looks ancient and gets the job done.

I doubt you could write a robust compiler.

I made a small script to backup important files to my server and phone. I'll probably add more files to it, but for now it will get all my mail and password db
pastebin.com/HWKxVstg

Attached: apl-1.jpg (1624x626, 236K)

imagine how much of a fart-huffer you need to be to seriously consider something like that

It's used in HFTs other huge financial businesses.

Wasn't there a super kawaii uguu language like this?

Using C, python and unity3d to create Sword Art Online

good luck with that

Thank you

Attached: A4nn2du.jpg (512x512, 47K)

I'm kind of surprised at how sloppy the papers are and how Edwin could be finding it rigorous enough to make Idris 2 with it at this point. Then again, Idris is very sloppy.

From the short blog on bloodwen's page, it seems he's doing a lot of things much better this time. Which papers have you looked at though?

A PE file to dungeon generator, so I can create tile-based dungeons.

She's cute.

McBride - I Got Plenty O' Nuttin
Atkey - The Syntax and Semantics of Quantitative Type Theory

I'm messing around with an algorithm I designed a few years ago and am trying to decide whether I want to use C or C++. The choice comes down to Structs vs. Objects and how you operate on them. All I would be doing is using the data type to hold X/Y coordinate data and be held in an array of the "object" type.
And now thinking about this I think going with C++ and the abstraction of Objects is probably the best route

Not answering this stupid question you could've just goo-
>head pats of gratitude in advance
It's an exception thrown when you pass nullptr to std::string constructor. Constructing an std::string from a nullptr is invalid.
Perhaps check for nullptr and construct an empty string instead, or change your program so that a nullptr doesn't get passed to std::string in the first place.

also how much more expensive is it working with Objects as opposed to Structs?

objects are closures (aka structs). when you call a function of an instance of an object, you actually go to a vtable which has a list of function pointers which point to the correct function to be executed, if any.

tl;dr there is none.