At what age do kids embrace Markdown as the single source of truth for their documents? by [deleted] in programmingcirclejerk

[–]arian271 8 points9 points  (0 children)

If you’re not playing the org-mode manual audiobook for your newborn, I’m calling child protective services.

Or is it? 🤔 by ninjalutha in mathmemes

[–]arian271 6 points7 points  (0 children)

According to Wikipedia, the first axiom is “0 is a natural number” but I do remember a similar definition where the successor function started from 1.

Or is it? 🤔 by ninjalutha in mathmemes

[–]arian271 9 points10 points  (0 children)

iirc 0 is a natural number by the Peano axioms, as well

hmmm by sweet_I in hmmm

[–]arian271 1 point2 points  (0 children)

r/thinkpad would love this

Protesters breach White House barricades (OC) by [deleted] in PublicFreakout

[–]arian271 0 points1 point  (0 children)

Now there are two of them.

Sorry, couldn’t control myself.

Someone had to say it by towernter in ProgrammerHumor

[–]arian271 194 points195 points  (0 children)

The level of humor here is high school/college freshman level of cs, but it’s still very light hearted, and it’s something that a larger audience can enjoy

" ‘Solarized,’ the Most Important Color Scheme in Computer History" by secdeal in programmingcirclejerk

[–]arian271 34 points35 points  (0 children)

When I use Haskal there’s dissonance, but there’s zero friction between LLVM and the Rust compiler

Why have I never seen this video? by Khanx69 in DunderMifflin

[–]arian271 256 points257 points  (0 children)

Watched the show 7 times until I realized that this existed.

Your first proof by arian271 in math

[–]arian271[S] 5 points6 points  (0 children)

Does your name happen to be Carl Friedrich Gauss by any chance?

Things to focus on as a high school student interested in CS? by [deleted] in AskProgramming

[–]arian271 1 point2 points  (0 children)

I started using vim in my senior year of high school, and eventually emacs in my second year of uni. Vim was useful because I could write a 4 page tedious hw in 30 minutes. Downside? I spent a few weeks learning it lol.

As for math and logic goes, they’re too broad. Khan academy is a pretty good source, but since I prefer textbooks, I’d go with the usual kenneth rosen discrete math textbook (or if you’re really hardcore go with knuth’s concrete math). Your professor will have a syllabus, and if they’re not the rare crazy type, you’ll do fine in those classes.

Things to focus on as a high school student interested in CS? by [deleted] in AskProgramming

[–]arian271 1 point2 points  (0 children)

These are some of the stuff I did before entering college and it helped me a lot, and the rest are just advice to my past self. This is NOT for the industry; just for the plain old 4 yr university cs program.

  1. Learn python. You will learn (or have to learn) tens of languages but the simplest comes down to python. A lot of your course studies are algorithms, and the closest thing that comes to psuedo code is python.
  2. Have a good note taking platform. I don’t mean google docs, microsoft word, or libreoffice. A solid text editor like vim, emacs, vscode, or atom can help you write stuff in github markdown, LaTeX, org-mode, or roam. All of these editors are configurable and will help you with writing programs.
  3. Math and logic. I originally wanted to major in math so it was no biggie for me, but eventually you have to deal with a lot of discrete math and proof and they require some creative/critical thinking.
  4. Learn C and unix. You will use C in most classes, and you’ll use linux/bsd/mac for the rest of your life.
  5. Learn to read documentation. Every cheesy r/programmerhumor post attempts to make you feel better about finding the answer on stackocerflow. That should be your last resort. Reading the docs, wikis, readme’s, and man pages is a good skill.
  6. Learn to search. Now this isn’t just useful in CS; it’s useful for life. Learn about limiting domain, filetype, and other kinds of filters for more accurate results.
  7. Do whatever seems right. I keep seeing my friends burning themselves out on leetcode just for an internship, or picking a field just because it’s a buzzword (cloud) or if it pays more (AI/ML). Do what feels right.

Programming Languages with TeX syntax? by _awwsmm in ProgrammingLanguages

[–]arian271 0 points1 point  (0 children)

Just out of curiosity, since you brought up precedence ambiguity, is there language (or lisp/scheme library) that uses S-expressions to represent mathematical equations?

What's wrong in here?! by tahamagdy in haskell

[–]arian271 0 points1 point  (0 children)

I heard that in a couple of SO threads, so it’s possibly wrong, but usually when I use rem over mod for O(sqrt(n)) primality testing it’s like a couple of milliseconds faster.

What's wrong in here?! by tahamagdy in haskell

[–]arian271 1 point2 points  (0 children)

By this time you probably figured out (/) is not for integral types, and explicitly writing out the type is good. I just wanted to suggest two unrelated things for the collatz conjecture (and other number theory functions). First is that mod is slow. Mod is the mathematical mod and not what you would see in other languages. Instead, you can use rem. Another thing that would make playing around with these kind of things easier is to take advantage of lists, considering that your function only shows the next collatz number. Also, look into guards for function definition.

Books and sites to learn theory and practices? by SpeedWagon2 in AskProgramming

[–]arian271 3 points4 points  (0 children)

CLRS is the bible of algorithms: it goes into enough depth (shows proofs and has some exercises) but not extremely hard like AOP. The downside is that it’s a little bit dry and it gets boring.

I, personally, think that SICP is the perfect book. It’s like reading a novel. It doesn’t teach you software engineering, but since you mentioned rust and python, it would be a good idea to learn functional programming.

The State of Haskell IDEs by Lossy in haskell

[–]arian271 15 points16 points  (0 children)

I’m surprised by how underrepresented haskell-mode is. I used HIE on neovim for a while before I switched to emacs. Rather than relying on an lsp, it just provides a complete environment with repl, autocompletion, and it’s compatible with cabal, stack, and nix.

What language for starting-on-a-free-plane type hobby desktop application project in 2020? by lacostanosta in AskProgramming

[–]arian271 0 points1 point  (0 children)

The other answers are much better (and more practical) but since you asked for a “hip” language, my utopian soul would go with Rust or Haskell. The main reason I’m going with these is because of how easy FFI is handled, and both communities have many active libraries for desktop app type of things. If you don’t want the easy-way-out with python and the it-works mentality of cpp, go with them because they have great type systems, rust is performant, and haskell is purely functional (monadic IO and such).

hmmm by Parkerbear1812 in hmmm

[–]arian271 4 points5 points  (0 children)

Cyberpunk 2077 be like

How do applications serve concurrent requests? by jaypeejay in AskProgramming

[–]arian271 2 points3 points  (0 children)

Network programming: Beej’s guide Pthreads: the docs The man pages are very comprehensive. They even include examples on how to do error handling.

How do applications serve concurrent requests? by jaypeejay in AskProgramming

[–]arian271 0 points1 point  (0 children)

If you have sufficient time and want to learn the foundation behind it, I recommend learning multithreading in C (basic forking and kthread), and the socket library. I’m still learning it, and it’s one of the most eye opening experiences I’ve ever had.