“A man who tells lies … merely hides the truth
but a man who tells half-lies has forgotten where he put it.”
Claude Rains as Mr. Dryden in Lawrence of Arabia
Chapter 4. Imperative Programming Until now, most of the programs we’ve written have been pure, meaning that they never changed state. Whenever a function does something other than just … - Selection from Programming F# 3.0, 2nd Edition [Book]
This one-dish wonder super-charges the cheesy flavor, taking ordinary mac and cheese from comfort food to "wow!" food. Follow three easy steps to get this dinner on the table in 30 minutes.
For me, this month marks the end of an era in my life: as of February 2018, I am no longer employed writing Haskell. It’s been a fascinating two years, and while I am excitedly looking forward to what I’ll be doing next, it’s likely I will continue to wri...
I’m using flakes for my system configuration. Most things are going smoothly, but I’m stuck on one thing. I create a custom pkgs attribute set in flake.nix and then attempt to pass it to nixosSystem for use in all module…
A month or so back, I wrote a tweet saying that F# computation expressions are amazing and no other language has anything like that. I can finally provide all the evidence by linking to a PADL 2014 paper about them.
Hello, I’m quite new to Haxe, and I think I’ve covered most of the Haxe programming language itself. (I think, haven’t touched macros though, scary stuff) I’m planning on making a game for android. My plan is to make…
For some reason, in 2018 i bookmarked it as a Mercurial thing. -- A Vim plugin which shows git diff markers in the sign column and stages/previews/undoes hunks and partial hunks. - GitHub - airblade/vim-gitgutter: A Vim plugin which shows git diff markers in the sign column and stages/previews/undoes hunks and partial hunks.
This is a demo NixOS config, with optional flakes support. Along with notes on why flakes is useful and worth adopting. - GitHub - colemickens/nixos-flake-example: This is a demo NixOS config, with optional flakes support. Along with notes on why flakes is useful and worth adopting.
Learn about the Application Settings feature of Windows Forms, for example how to create and store settings data on behalf of your application and your users.
In this post you will learn how to create a workspace adapted to the mobile app development using the Flutter framework organized in a Docker container.
# A survey of software related to the Gemini protocol
This is a collection of Nix packages, either picked from the main Nixpkgs repository or locally hosted. Please submit a patch if you wish to add packages in either form.
Requires Nix with flakes supported and enabled.
=> https://www.tweag.io/posts/2020-05-25-flakes.html
linked to me from https://twitter.com/cattheory/status/1220803662802489344 (by Joomy Korkut, PhD student in programming languages at Princeton https://cs.princeton.edu/~ckorkut/) — « not a language but a way to reason about C programs in Coq: VST lets you define separation logic predicates that describe how a Coq type would be represented in C: https://cs.princeton.edu/~appel/vc/Verif_reverse.html#lab32 \n\n might be interesting to you, or not, I don't know. » at 9:20 PM CET on Jan 24, 2020
HISTORIA ANTYKULTURY, czyli jak działa mechanizm kulturowej lobotomii. Pierwsza przekrojowa historia antykultury, jej politycznych i ideologicznych źródeł, celów i artystycznych narzędzi.
(Phys.org)—A team of undergraduates from the Indian Institute of Science Education and Research (IISER) at the College of Engineering in Trivandrum, India, has designed and constructed a portable college-level radio telescope for amateur radio astronomers. The students have developed a radio telescope and also data analysis tools that are affordable for schools and colleges, combining low cost and ubiquitous accessibility of resources needed to build these instruments. The team described the project in details in a paper published online on Jan. 12 on the arXiv pre-print server.
In the third part of the F# overview, we will look at the F# features that are essential for a smooth interoperability with other .NET languages and form a second part of the F# core language - that is object oriented and imperative programming.
There is a common view that extracting text from a PDF document should not be too difficult. After all, the text is right there in front of our eyes and humans consume PDF content all the time with great success. Why would it be difficult to automatically extract the text data? Turn
Libraries and test apps are often written in C/C++ for testing hardware and software features on Windows*. When these same features are added to an Android* platform, rewriting these libraries and tests in Java* is a large task. If the code to be ported is written in ANSI C/C++ and doesn’t have any OS-specific dependencies, it can be rebuilt using the Android NDK build tools and run from the command line in a shell in much the same way you can run command-line apps from the command prompt in Windows. This article shows how to write a simple “Hello World” application and run it on an Android device using a remote shell.