4111
The Reasoned Lisper
Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning. Functional Programming is often ad…
New
The latest blog posts to take off on Hacker News. 5,637 posts.
4112
Craig Federighi talks to John Gruber about Swift
Craig Federighi: I always end up seeking back to figure out what part I missed where the podcast started, and then I realize it just starts.
4113
How to Make Python Run as Fast as Julia
IBM Developer is the source for hands-on training and in-demand learning on relevant technologies such as generative AI, data science, Java, and more.
4114
How I wrote a self-hosting C compiler in 40 days
I wrote a self-hosting C compiler which I named 8cc in 40 days. This is a log when I was writing it from scratch by myself in 2012. The code and its history are available at GitHub .
4115
4116
4117
Cursive, an IDE for Clojure and ClojureScript, has reached 1.0
Cursive, the Clojure IDE that understands your code. Advanced structural editing, refactorings, VCS integration and much more, all out of the box.
4118
The Cost and Complexity of Cgo
Cgo is an important part of Go: It's your window to calling anything that anything that has C bindings. But while cgo works for us, it hasn’t come for free.
4119
Swift open source – let the revolution begin
It has only been a few days since the announcement of Swift going open source and the activity around the project has been incredible. When Apple revealed th...
4120
A magic getopt
Enter magic getopt . Via a little bit of macro magic, the above options-handling code turns into this:
4121
4122
Avoiding Reflection (And Such) in Go
So, as previous posts show , I like Go well enough. But as a computer-language polyglot, "Go programmer" is not part of my identity, and I try for a balanced view. It is very human to go overboard in both praise and criticism, both easy to find online.
4123
Introducing the IBM Swift Sandbox
Create, build, and maintain websites and web apps that run in a browser.
4124
What Holds Me Back from ClojureScript
Thoughts about programming, mostly
4125
GC and Rust Part 1: Specifying the Problem
This is the first in a series of posts will discuss why garbage collection is hard, especially for Rust, and brainstorm about solutions to the …
4126
A bad citizen in Javaland (2006)
You are born with no body parts. One by one, your organs are pushed into you. Should anyone attempt to interact with you before your organs have finished arriving you will die. Luckily this doesn&#…
4127
Self hosted C – breakdown
I did it. It wasn't easy, but I did it. My C Compiler can compile itself. Even though it still has holes in functionality and obvious bug...
4128
Python List Comprehensions Explained Visually
Sometimes a programming design pattern becomes common enough to warrant its own special syntax. Python’s list comprehensions are a prime example...
4129
4130
4131
New ELF Linker from the LLVM Project
We have been working hard for a few months now to rewrite the ELF support in lld, the LLVM linker. We are happy to announce that it has reached a significant milestone: it is now able to bootstrap LLVM, Clang, and itself and pass all tests on x86-64 Linux and FreeBSD with the speed expected of an LLVM project.
4132
Perl 6 is fun
This post got a lot of discussion on Hacker News that you might find interesting. I’ve been writing a fair bit of Perl 6 lately, and my main takeaway so far is that Perl 6 is fun. Pretty much everything I love in Perl 5 is still part of Perl 6, but almost everything I hate is gone too. $Love - $Hate = $Fun; Here are…
4133
A whirlwind tour of Go’s runtime environment variables
The Go runtime, in addition to providing the usual services of garbage collection, goroutine scheduling, timers, network polling and so forth, contains facilities to enable extra debugging output and even alter the behaviour of the runtime itself.
4134
4135
Python 3.5 type hinting in PyCharm 5
Python 3.5 introduces type hinting to help code-writing during development. Let’s take a look at this feature and show it in action.MotivationSome folks, but not all, like help from their tools
4136
The Implementation of Functional Programming Languages (1987)
“The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, incuding detailed…
4137
Python's Hidden Regular Expression Gems
Some hidden features of the Python re module and the support machinery that drives it.
4138
Oh, Go Ahead, Overthink FizzBuzz (2008)
I gave the best programming interview answer I may have ever given last Friday. The interviewer hauled out FizzBuzz and asked me to solve it. It took me a minute to stop laughing. FizzBuzz is a brain-dead simple programming problem, used pretty much to tell if a developer has a pulse at all. It is…
4139
4140