arisuchan    [ tech / cult / art ]   [ λ / Δ ]   [ psy ]   [ ru ]   [ random ]   [ meta ]   [ all ]    info / stickers     temporarily disabledtemporarily disabled

/λ/ - programming

structure and interpretation of computer programs.

formatting options

Password (For file deletion.)

Help me fix this shit.

Kalyx ######

File: 1492999697731.png (57.56 KB, 565x546, monokai-screenshot.png)


What syntax highlighting theme does lain use and why? I personally enjoy the aesthetic of Monokai, but also its ubiquitous presence on programming websites even when there are very few options available. The one I am presently using is called dark-monokai and, as such, it is slightly darker than is typical.
21 posts and 12 image replies omitted. Click reply to view.


File: 1501203970660.jpg (486.27 KB, 1425x1232, leet-haxxor.jpg)

Why do you think Lainchan itself uses a light-on-dark color scheme? It's because it gives off an impression of, shall we say, "dark technicality". It makes the place feel underground and secretive, and since light-on-dark is traditional for terminals, it makes things feel, well, "cyberpunky". I'm actually kind of surprised the default font on here isn't monospace.

Lainchan is a pretentious geek community with crypto-anarchist leanings. Heck, Kalyx himself calls himself "Dark_m00t". Of course its members are going to be using color schemes that make them feel like |_33+#/-\><><0|?z.


Easy on the eyes?

I dunno, I did like pastel theme on occasion on oldchan.


Good points but my name is Dark_M00t because moot is bae and I'm half black irl.



That is the one I use too in Sublime Text!

Everyone swears by but I need to keep it simple don't need all kinds of pre-compilers and stuff in my txt editor. I don't do enough css to need the sass add ons & stuff.


easier of the eyes at night without any real drawbacks

File: 1501282816709.png (12.7 KB, 256x256, BC_Logo_.png)


How do I rent servers anonymously? I have bitcoin but when I try to use Tor I get blocked for fraud.
5 posts omitted. Click reply to view.


Tor is not the "only" mix network, OP. There are also other mix networks such as I2P, GNUnet etc. You might want to look into those, they are not as popular as Tor but still they might help you in the process.

As an alternative choice, I would suggest using a public network via a throwaway device with a randomized MAC address to make the payment. Just make sure that the device is clean of any personally identifiable information and stay away from CCTVs as much as you can if your threat level is that high.


cockbox claims to support tor

The guy also hosts "anonymous" email but has been raided a few times before. So while you should be able to pay with BTC and use tor the servers might be seized by the fbi at some point while targeting someone other than you.


vc (the guy who owns is a cool guy and talks on the lainchan irc sometimes. He also responds to emails fairly often, so if you're interested in hosting he's not hard to reach.

The radio was on a cockbox at some point.


Monero, I2P you fucking skid


I don't know if you're trying to be retarded or what.
Most hosting providers don't accept bitcoin, much less Monero. I also mix my coins several times through various tumblers, so it's not a problem. I2P doesn't let you make connections to the clearnet, so there is no way for me to purchase servers through it.

I need more powerful servers than the ones he is offering.

I solved my problems by finding a Ukrainian host that doesn't use whcs, and who's fraud system doesn't pick up the sockets I have (connect from Tor to sockets with proxychains). I am about to buy some visa giftcards with bitcoin to purchase the servers.

File: 1497311520700.png (458.45 KB, 2220x1486, deepspec.png)

The goals of the DeepSpec project are to develop systems for specifying software, to stitch together existing systems, and to design a curriculum to teach software specification.

Here is a talk by Benjamin Pierce about these ideas:
He discusses the DeepSpec project about 47 minutes in.

Relevant reading:
>Software Foundations (to be split into two volumes)
>Verified Functional Algorithms

I'll be attending the first week of the summer school in July. Anyone else?
1 post omitted. Click reply to view.


File: 1497386288400.png (1.95 MB, 2508x3541, 1452714954245.png)

I wish I could go but I'm on a different continent. I really want to learn Coq though, is Software Foundations a good place to start?


SF is currently the best way to start. It's appropriate for total beginners, but experience with a functional language like ML is helpful.


What about mathematics? I was never very good with proofs.


I'd say SF is mostly accessible to someone with a high school education. The math is mostly discrete math. Any introductory textbook (or Wikipedia) should suffice. Later on SF deals with some type theory. Understanding Coq itself is the hardest part until the IndProp section.


How was the summer school, OP?

File: 1499981106764.jpg (355.79 KB, 1280x2880, bGPScCH.jpg)


I had this idea and I wonder what do you think about it.

There are these kind of exercises where you are given a program and optionally some kind of input and you have to answer what the result is or what is written out. I've mostly seen them used in exams but I had a course on logic programming with Prolog that had a website where you would get tons of random exercises like these, some just for unification, some for the whole evaluation. I did all of them and it really helped me form a mental model of how it actually works.

I think forming a model of how evaluation works is something a lot of beginner programmers struggle with, but I've never seen anything like this used to train them to think about it.

My idea was that you could copy the test-driven development approach to make an effective training program like this. Basically, you would assume that the student has the simplest mental model that could correctly answer all the previous exercises, give them an exercise that cannot be solved with it yet, and force them to correct their model. In practice every new feature would probably need multiple exercises, the actual amount possibly based on the student's speed of solving the exercise or maybe some self-reported difficulty metric. Of course this wouldn't replace the current teaching methods, but I think could be a good additional tool to somewhat quickly develop a good intuition of the target language.

What do you think? Is this really stupid or something that could work?


Turns out this is called programmed instruction/learning:

Well, whatever.

File: 1498253886467.jpg (193.71 KB, 800x1119, 1406728599366.jpg)


Any anons here know machine learning? Is it worth knowing or is it just hype? If it's worth knowing, what are some good resources to learn it?


File: 1498448724461.pdf (3.59 MB, Gavin Hackeling - Masterin….pdf)

Also interested. Will start this book soon.


Is this a good book? I'm doing the Machine Learning course on coursera but I don't like the videos and the lecture notes are not that good.


He hasn't read it and neither have I, but it passes the sniff test.


I finished the Machine Learning course on coursera but it wasn't that good. The lecture notes were cryptic and the exercises were more about translating mathematical formulas into Octave code than actually understanding what is going on.

Do you know any books that has good exercises? I tried looking at some but they all have very few or none.


Two of the best resources that I have found for machine learning are:
-this course on Udemy:
-and resource on the website

The course on Udemy costs 10$ American, but the instructor is fantastic and gives clear instruction and huge amounts of downloadable resources that make learning much more smooth. He also had some great achievements to show his worth, just check out the intro video (it's free to watch). The website Kaggle is a really good resource for getting datasets, but also can be a great resource for learning because many people post code in R and Python for machine learning.

Check out this contest to check out a great dataset and go through the comments for code and examples.

File: 1498628705888.png (647.3 KB, 2652x897, pythonbooks.png)


Got a large stash of Python ebooks from a torrent on the private ebook tracker MyAnonamouse. I'll be dumpin' 'em here.
54 posts and 106 image replies omitted. Click reply to view.


File: 1498632503019-0.pdf (12.83 MB, Springer Publishing Python….pdf)

File: 1498632503019-1.pdf (1.95 MB, Springer Publishing Unders….pdf)


File: 1498632966798-0.pdf (10.43 MB, Wiley Beginning Programmin….pdf)

File: 1498632966798-1.pdf (5.99 MB, Wiley Data Structures and ….pdf)

Couldn't upload the Syngress Python Forensics book here due to its size so here's a link:


File: 1498633524250-0.pdf (13.35 MB, Wiley Machine Learning in ….pdf)

File: 1498633524250-1.pdf (10.79 MB, Wiley Testing Python, Appl….pdf)

Couldn't upload the Introduction To Computer Science Using Python book here, so here's a link:

Same with Learning Python With Raspberry Pi:

And Python For Everyone:


File: 1498633561531-0.pdf (9.21 MB, Wrox Press Python Projects….pdf)

Last one!


And here's a link to the full thing on Laintracker, in case anybody wants to download the full collection from there:

File: 1494399195174.png (21.31 KB, 444x444, fira-code.png)


While I enjoy using
Roboto Mono
as a general purpose monospace typeface, while coding I much prefer to use
Fira Code
. I don't use it for its added ligatures though; I turn those off. I use it because it has additional weights not present in Mozilla's official
Fira Mono
font. I personally use the 'light' weight in my editor.

Mozilla really did an incredible job creating a type with such elegant form and effective function. The 'i' and 'j' and 'l' are even more distinct than some fonts explicitly designed only for use by programmers while still having character and charm. I would suggest you take a look at it if it isn't already familiar.

What font does lain use for programming?
2 posts and 1 image reply omitted. Click reply to view.


I'm a pleb and I like Inconsolata.


I've been using Operator Mono. Expensive but easy to pirate.


File: 1494432621217.png (44.74 KB, 644x440, BlueSky DonaldKnuth Andrey….png)

I will never not love CMU Typewriter.


File: 1498427775649.png (149.32 KB, 1047x1045, 225548_10471045.png)

As far as I can tell both vim and emacs dont have great support for ligatures.
I'm a fan of Iosevka lately, its a bit different than a lot of fonts and some of the default characters arent great (@ for example) but it has a nice build system (that I couldnt figure out because my nodejs setup is broken) which lets you customise what glyphs you want easily.


Whatever's the default in xterm. I haven't learnt how to change the font yet.

File: 1492983212601-0.png (388.46 KB, 800x315, programming1.png)

File: 1492983212601-1.png (252.2 KB, 800x315, programming2.png)

File: 1492983212601-2.png (337.64 KB, 800x315, programming3.png)


I made some /λ/ banners for you lains. Enjoy.


looks pretty good


>secret princess hime-GOTO
doi hoi hoi


File: 1497186320379-0.png (344.12 KB, 800x315, programming1.png)

File: 1497186320379-1.png (509.84 KB, 800x315, programming2.png)


Give me more source material and I'll make more! ^_^


Here's my old collection of anime girls with programming books and other Daily Programming Thread related images:

File: 1496585004317.jpg (54.05 KB, 1920x1080, html-css.jpg)


There seem to be almost as many HTML/CSS frameworks as there are JavaScript ones these days. If one wants to make sure that their framework will continue to be developed and supported five or ten years from how, do we really have any choices beyond Bootstrap or Framework? I am also curious what others here prefer in general. I like the idea of a semantic framework like Skeleton or Semantic UI, but I'm not ready to commit to any quite yet.
1 post omitted. Click reply to view.


I've yet to feel the need for any framework, I'm happy to do it all from scratch, especially since I tend to need different stuff for different projects anyways.
I've used bootstrap in the past, when I just started webdev, but only really for the button/menubar styling.
A useful thing I could see is just some uniform form styling framework, so it looks the same in all browsers


as a novice, web development seems to have soo much soykaff to keep track off. theres a new buzzword every week.


I'm pretty happy to use , it's a good choice.

Try it and feedback us.


Why use any?


>I've yet to feel the need for any framework
Same, writing HTML by hand doesn't feel difficult so far, and as a side effect, the HTML also becomes very easy to read. I can read my own webpages and render them in my head, and I'm sure other people could too.
Out of curiosity, does anyone here use XHTML? What's it like from your own personal usage and experience? I've only been using HTML so far.

File: 1494022556786.png (285.9 KB, 990x990, kasuga2.png)


Hi all. I'm currently developing some homebrew for everybody's favorite handheld, the 3ds. I don't want to go too into the details of the project, as I've found when I talk about things I'm working on I'm less likely to finish them; however, I'm in need of some assistance or at the very least a friendly nod in the right direction.

I was wondering if anyone had any advice / links to learning resources on generic server implementation. I have already read through beej's guide on socket programming multiple times through. My issue is less with the minutia of how to sockets work, and more of how can I efficiently organize and abstract both the data representing the connections to each client, as well as the data each client will be sending me.

tl;dr anyone have any tips on designing a server for some homebrew I'm writing?

details you may want to know:
I'm writing it in C. Rust / C++ are not really options at this point.
The server will in effect be waiting for an approx. 2-3kb sized .png, then it will bounce that image to all connected clients.


You got the right tutorial, I used that to learn sockets myself and everything worked for me in C.

You'll eventually have to implement a simple protocol for server and clients to understand what will be sent / received and when. I suggest that you should begin with a simplified problem of sending the image from a single client to the server and displaying it. You should start by sending the size of the image, so that you can allocate enough memory for the data. Once you get that working, think of the problem of clients sending wrong sizes or data and handle it for avoiding overflows in memory and increasing stability and security. After you get that working, it should be a matter of reversing it so that the server sends data to the current client, then expanding it to work with multiple clients. Implement the protocol messages as needed, so that everyone knows when to wait, allocate and send data.


I loved Aku no Hana.
Where would you be posting this when it's done? Best of luck.

Delete Post [ ]
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
[ Catalog ]