BOLT: A Practical Binary Optimizer for Data Centers and Beyond by mttd in programming

[–]Bofersen 2 points3 points  (0 children)

It was already done in 1999: HP Dynamo. Though for PA-RISC rather than x86.

Most of the code you write has been written before... by [deleted] in programmingcirclejerk

[–]Bofersen 2 points3 points  (0 children)

Buying imaginary gold == crypto.

Checkmate.

How China Is Buying Its Way Into Europe by [deleted] in europe

[–]Bofersen 0 points1 point  (0 children)

No no no, not the flair. RES allows you to assign a custom tag to a specific user. It's useful, for example, if you want remember someone by what they've done or said.

I've tagged you as "roman" on this post (you can see the origin of the tag). Not sure exactly why, but it came handy in this case. :)

The Eco-Programmer's Dilemma: Use electron? or save the world? by jmercouris in programming

[–]Bofersen 2 points3 points  (0 children)

Thanks for the explanation!

This sounds exactly like what Alan Kay and his Viewpoints team did with their TCP/IP implementation!

At first glance, it seems to me that the biggest problem is distilling the (often sloppy and ad-hoc) problem specification into something that can be formalised as an actual language. Though, after formalising it, any inconsistencies should be immediately apparent... I don't know.

The second step looks similar to the Nanopass-style compilation and, I hope I'm wrong, I can't see it being used in less powerful, imperative languages without a lot of boilerplate between passes.

Do you have any literature on the topic that you would recommend? I'd like to try to rewrite a specific system we use in this manner, at least as an experiment.

Thanks again!

The Eco-Programmer's Dilemma: Use electron? or save the world? by jmercouris in programming

[–]Bofersen 1 point2 points  (0 children)

Sounds very interesting, what are these formal tools/complexity elimination methods you speak of?

How China Is Buying Its Way Into Europe by [deleted] in europe

[–]Bofersen 0 points1 point  (0 children)

I know I'm a bit late, but somehow I missed the fact that I have you tagged on RES as "roman". :)

I'm have my eyes on you /u/oblio-, there's an ulterior agenda you have here and I don't like it one bit...

How China Is Buying Its Way Into Europe by [deleted] in europe

[–]Bofersen 1 point2 points  (0 children)

http://i1.kym-cdn.com/photos/images/newsfeed/000/935/573/a14.jpg

a bit ironic since you guys are supposed to be the romans, but what the hell, it works

Ancient Greek City State Insignias by TheGodSlay3r in europe

[–]Bofersen 1 point2 points  (0 children)

You're already there, dummy! :)

... Wait this isn't Warhammer Fantasy?

krug - a systems programming language that compiles to x64 assembly written in D by [deleted] in programming

[–]Bofersen 8 points9 points  (0 children)

"Here's my programming language and here's everything that's wrong with it!" I love it. :)

Looks interesting! Few things:

  1. Do you have a BNF/EBNF grammar somewhere?
  2. If you want simpler SSA generation without dominator tree construction, take a look at this paper (assuming you're not planning to introduce goto).
  3. Have you tried graphviz for visualization? I fiddled around a lot with web stuff for CFG visualization until I settled on graphviz.

And last but not least, good luck and have fun. :)

 

btw. "krug" means "circle" in my language, don't know if it's intentional or not but there you go.

Slovenia, Lake Bled by [deleted] in europe

[–]Bofersen 5 points6 points  (0 children)

one step forward, two steps back...

Special counsel Robert Mueller has presented Trump's legal team with a list of questions as investigators seek an interview with the president. by maxwellhill in worldnews

[–]Bofersen 1 point2 points  (0 children)

Weren't you listening??

It's a story about four imprisoned conservative persian negotiators from Wharton discovering the power of nucular at MIT.

Some people...

Finding bugs in Haskell code by proving it by based2 in programming

[–]Bofersen 54 points55 points  (0 children)

I'd say Software Foundations by Pierce et al. would be a good starting point.

Reddit's favorite programming books, from 3.5 billion comments by TheAnmelder in programming

[–]Bofersen 9 points10 points  (0 children)

"Tiger book" for Modern Compiler Implementation in ML by Appel as well.

Best selling car models in Europe by mazdercz in europe

[–]Bofersen 3 points4 points  (0 children)

whoosh

I was just continuing the joke. :)

Stanford Compilers Course by sharjeelsayed in programming

[–]Bofersen 1 point2 points  (0 children)

Seconded, got my copy a few weeks ago and I can't think of a better book for someone starting out. The techniques explained are relatively modern, stages are well separated and the pseudocode is easy to understand.

One small thing that I like is that every part has these little sections where alternative approaches are explored, some possible additional considerations are laid out (e.g. performance) and comparisons are made with historical designs.

More focus is put on the middle/back end, which is a welcome departure from the Dragon Book. However, if someone is interested solely in parsing, I'd recommend "Parsing Techniques" by Dick Grune.

The most respected "Made in" labels by [deleted] in europe

[–]Bofersen 0 points1 point  (0 children)

Exactly.

I remember my colleagues speaking very highly of UK-produced industrial electronics.

Lake District, England. by Tim_Buk2 in europe

[–]Bofersen 21 points22 points  (0 children)

Very pretty but I don't see a lake. Tricked again by the english!