| -- show running queries (pre 9.2) | |
| SELECT procpid, age(clock_timestamp(), query_start), usename, current_query | |
| FROM pg_stat_activity | |
| WHERE current_query != '<IDLE>' AND current_query NOT ILIKE '%pg_stat_activity%' | |
| ORDER BY query_start desc; | |
| -- show running queries (9.2) | |
| SELECT pid, age(clock_timestamp(), query_start), usename, query | |
| FROM pg_stat_activity | |
| WHERE query != '<IDLE>' AND query NOT ILIKE '%pg_stat_activity%' |
[ Update 2020-05-31: I won't be maintaining this page or responding to comments anymore (except for perhaps a few exceptional occasions). ]
Most of the terminal emulators auto-detect when a URL appears onscreen and allow to conveniently open them (e.g. via Ctrl+click or Cmd+click, or the right click menu).
It was, however, not possible until now for arbitrary text to point to URLs, just as on webpages.
This is inspired by https://fasterthanli.me/blog/2020/a-half-hour-to-learn-rust/
the command zig run my_code.zig will compile and immediately run your Zig
program. Each of these cells contains a zig program that you can try to run
(some of them contain compile-time errors that you can comment out to play
with)
| ''' | |
| ########################################################################### | |
| Extract SW SMI handlers information from SMRAM dump of Skylake based | |
| AMI Aptio V firmware. | |
| To use full capabilities of this tool you need to install UEFIDump | |
| (https://github.com/LongSoft/UEFITool/releases/tag/A32), ida-efiutils | |
| (https://github.com/snare/ida-efiutils) and edit corresponding variables | |
| below. |
This simple script will take a picture of a whiteboard and use parts of the ImageMagick library with sane defaults to clean it up tremendously.
The script is here:
#!/bin/bash
convert "$1" -morphology Convolve DoG:15,100,0 -negate -normalize -blur 0x1 -channel RBG -level 60%,91%,0.1 "$2"
| # | |
| # STL GDB evaluators/views/utilities - 1.03 | |
| # | |
| # The new GDB commands: | |
| # are entirely non instrumental | |
| # do not depend on any "inline"(s) - e.g. size(), [], etc | |
| # are extremely tolerant to debugger settings | |
| # | |
| # This file should be "included" in .gdbinit as following: | |
| # source stl-views.gdb or just paste it into your .gdbinit file |
This is a collection of snippets, not a comprehensive guide. I suggest you start with Operational PGP.
Here is an incomplete list of things that are different from other approaches:
| #!/bin/bash -e | |
| if [ "$(uname -s)" != "Darwin" ] | |
| then | |
| echo "This script is for building a Debian x86_64 image to use on MacOS" | |
| exit 1 | |
| fi | |
| TEMP="$(mktemp -d build.XXXXX)" | |
| cp preseed.cfg $TEMP |
I've been fiddling about with an idea lately, looking at how higher-kinded types can be represented in such a way that we can reason with them in Rust here and now, without having to wait a couple years for what would be a significant change to the language and compiler.
There have been multiple discussions on introducing higher-ranked polymorphism into Rust, using Haskell-style Higher-Kinded Types (HKTs) or Scala-looking Generalised Associated Types (GATs). The benefit of higher-ranked polymorphism is to allow higher-level, richer abstractions and pattern expression than just the rank-1 polymorphism we have today.
As an example, currently we can express this type:
Most of this comes from https://wiki.qemu.org/Documentation/Platforms/m68k
Download the ISO image:
wget https://cdimage.debian.org/cdimage/ports/current/m68k/iso-cd/debian-10.0-m68k-NETINST-1.iso