!7 html { ret ([[ BotCompany.de

Recent News

]] + imagePost("2018/06/18", "First operating system that learns", #1101331, "30%", p(b([[What is the world?]])), left := false) + imagePost("2018/06/18", "Advantages of a Java-based OS: Free Profiling", #1101328, "30%", p([[You get so many inspection capabilities for free in my OS.]]) + p([[For example, you can always find out what the CPU is doing, down to every single line of code. And this incurs no performance overhead when not used.]]), left := true) + textPost("2018/06/17", "Memory leak eliminated", p("Gotcha.") + p("I told you Java is stable!")) + imagePost("2018/06/16", "Further chasing the memory", #1101327, "30%", p([[It has to be going somewhere. ]] + ahref("http://mail.openjdk.java.net/pipermail/discuss/2018-June/thread.html", "jdk-discuss") + [[ informed (list is moderated, read: another time waster).]]), left := true) + imagePost("2018/06/16", "New Look&Feel", #1016391, "30%", p([[Pretty, isn't it. Look&Feel is called ]] + ahref("http://jtattoo.net", "JTattoo") + [[.]]) + p([[Image was made with the automatic screenshot module on a very old Windows 7 machine where my OS runs flawlessly.]]), left := true) + textPost("2018/06/15", "Fixing the last memory leaks in Java 10", [[

I submitted this bug report to Oracle, and I'm making super-fancy functions like cleanDefunctACCsInAllThreads that automatically fix memory leaks other Java programmers have never heard of.

We will sail memory leak-free! :)

]]) + [[

New Module: YouTube Downloader

Today we launched bla bla bla.

 

(No, seriously–we actually did. There is an awesome YouTube downloader in my operating system. I'm just too lazy to write.)

Now I need an awesome screenshot module and an awesome auto-upload-to-blog module.

]]).replace("\"css/layouts/blog.css\"", htmlQuote(rawSnippetURL(#1016322, "text/css"))); } sS textPost(S date, S title, S text) { ret invtag('section, class := "post", style := "clear: both", invtag('header, class := "post-header", invtag('img, width := 48, height := 48, title := "Stefan Reich's avatar", class := "post-avatar", src := snippetImgLink(#1101324)) + [[

]] + title + [[

By Stefan Reich @ ]] + date + [[

]]) + [[
]] + text + [[
]]); } sS imagePost(S date, S title, S imageID, S width, S text, O... opt) { bool left = optParam(opt, 'left, false); ret textPost(date, title, invtag('div, style := "float: " + (left ? "left" : "right") + "; width: " + width + "; margin-bottom: 30px; margin-" + (left ? "right" : "left") + ": 30px;", ahref(snippetImageLink(imageID), invTag('img, title := "", class := "pure-img-responsive", src := snippetImageLink(imageID), style := "width: 100%"))) + text); }