Categories in Control | The n-Category Café
To understand ecosystems, ultimately will be to understand networks. - B. C. Patten and M. Witkamp A while back I decided one way to apply my math skills to help save the planet was to start pushing toward green mathematics: a kind of mathematics that can interact with biology and ecology just as fruitfully as traditional mathematics interacts with physics. As usual with math, the payoffs will com
The Comonad.Reader » Domains, Sets, Traversals and Applicatives
Last time I looked at free monoids, and noticed that in Haskell lists don't really cut it. This is a consequence of laziness and general recursion. To model a language with those properties, one needs to use domains and monotone, continuous maps, rather than sets and total functions (a call-by-value language with general recursion would use domains and strict maps instead). This time I'd like to t
Part 2: Open-Ended Fibonacci Search - School of Haskell | School of Haskell
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post Last time, I built a form of random access list with O(1) cons using the Leonardo numbers and emphasized that the slight skew in the tree could be a good thing. Now I want to do some searching, but after all, I'm a functional programmer and everybody knows all we do all day is play with wa
Part 1: Leonardo Random Access Lists - School of Haskell | School of Haskell
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post Chris Okasaki wrote about many data structures in his excellent book "Purely Functional Data Structures". Today I have the rare opportunity to talk about (invent?) one that he didn't. It doesn't achieve anything new in this space, but it is an interesting rearrangement of parts folks alrea
[PDF]Reenix: Implementing a Unix-Like Operating System in Rust
Reenix: Implementing a Unix-Like Operating System in Rust Alex Light (alexander light@brown.edu) Advisor: Tom Doeppner Reader: Shriram Krishnamurthi Brown University, Department of Computer Science April 2015 Abstract This paper describes the experience, problems and successes found in implementing a unix-like operating system kernel in rust. Using the basic design and much of the lowest-level sup
Python without an operating system [LWN.net]
Josh Triplett started out with "the punchline" for his PyCon 2015 talk on porting Python to run without an operating system: he and his Intel colleagues got the interpreter to run in the GRUB boot loader for either BIOS or EFI systems. But that didn't spoil the rest of the talk by any means. He had plenty of interesting things to say and a number of eye-opening demos to show as well. The original
NES Graphics – Part 1 | dustmop.io blog
Released in 1983, the Nintendo Entertainment System (NES) home console was a cheap, yet capable machine that went on to achieve tremendous success. Using a custom designed Picture Processing Unit (PPU) for graphics, the system could produce visuals that were quite impressive at the time, and still hold up fairly well if viewed in the proper context. Of utmost importance was memory efficiency, crea
Announcing: stackage-upload - FP Complete
I’m happy to announce the first version of stackage-upload. Copied below is the content of the README file; if you see errors please send a pull request to update the content. This tool is pretty simple right now, but can be easily extended. If others are interested in collaborating on this project, please be in touch. stackage-upload provides a more secure version of the cabal upload command by u
Flame graphs for GHC time profiles with ghc-prof-flamegraph - FP Complete
Flame graphs for GHC time profiles GHC comes with a number of nice profiling facilities. Among other things, GHC can generate time profiles, a useful facility for answering the following question: “where in the source code is my program spending all its CPU time?”. With the right flags turned on, GHC’s RTS dumps a time profile in a .prof file when your program exits, providing textual summary and
Announcing the refinement types library
Have you ever looked for a numeric type with a zero to hundred range to describe percentage? Maybe a zero to one to describe a proper fraction of something? A positive integer (without the zero) to enumerate something? A vector of a specific length? Here that comes and not only with the Haskell refinement types library (on GitHub, on Hackage)! The problem The “refined” library Why do we need all t
Pre-Pooping Your Pants With Rust
Pre-Pooping Your Pants With Rust Alexis Beingessner - April 27, 2015 Leakpocalypse Much existential anguish and ennui was recently triggered by Rust Issue #24292: std::thread::JoinGuard (and scoped) are unsound because of reference cycles. If you feel like you're sufficiently familiar with Leakpocalypse 2k15, feel free to skip to the next section. If you've been thoroughly stalking all my online i
Pointer-less Scapegoat Trees - Paul Khuong: some Lisp
I’m trying something new this week: gathering a small group after work for 90 minutes of short talks and discussions. We’ll also have one longer slot because not everything fits in a postcard, but my main goal is really to create opportunities for everyone to infect us with their excitement for and interest in an idea or a question. I successfully encouraged a couple people to present, although ma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
index-27315
Gleb Kanasevich (Misc.)
polyglotweekly.com
GitHub - imeckler/mote
Releasing itertools 0.3.0
ReactとFluxのこと // Speaker Deck